[project @ 2003-04-23 14:36:26 by malcolm]
Add Data.HashTable, Data.Monoid, and Data.Tree to the nhc98 build, and
re-instate Data.Dynamic, which now uses Data.HashTable.

[project @ 2003-04-23 14:29:51 by malcolm]
Tweak #ifdefs to make it compile with nhc98.

[project @ 2003-04-23 13:22:16 by simonmar]
Doc wibble.

[project @ 2003-04-23 10:27:53 by simonmar]
hGetArray/hPutArray with a count argument of zero now just return
doing nothing.  This brings them into line with hGetBuf/hPutBuf and
fixes a bug in Data.PackedString.hPutPS which fails on an empty string.

[project @ 2003-04-22 10:20:30 by malcolm]
Exclude Data.Dynamic from the nhc98 build now that it no longer
compiles.  (Need to investigate getting Data.HashTable to work.)

[project @ 2003-04-22 09:21:34 by ross]
Hugs only: minor re-arrangement of ifdefs.

[project @ 2003-04-22 09:19:24 by ross]
remove an ifdef'd out commented out import.

[project @ 2003-04-21 16:32:39 by ross]
adjust imports for Hugs's benefit.

[project @ 2003-04-21 16:32:05 by ross]
Hugs only: Key is defined in Hugs.Prelude (because it needs Dynamic)

[project @ 2003-04-17 16:51:43 by simonpj]
Add lots of new generics stuff

[project @ 2003-04-17 15:23:37 by simonpj]
----------------------------------
Implement Typeable properly
----------------------------------

1.  Add 'deriving' for Typeable class. So you can say

data T a b = .... deriving( Typeable )

    At the moment you only get this if you ask for it. If you say
    nothing you get nothing.

2.  Implement Typeable better, with proper O(1) comparison of
    type representations

3.  Add the 'cast' operation described in 'Scrap your boilerplate'
    and use it.

4.  Consequence: need to move the definition of IOArray from
    Data.Array.IO.Internals to GHC.IOBase, where it joins IORef.
    This is necssary so that HashTable can be low down in the compilation
    hierarchy, and hence so can Dynamic.

WARNING: I'm not certain the imports in HashTable and Dynamic
 will all be right for Hugs and NHC. I hope you can
    fix them up.

[project @ 2003-04-17 15:17:07 by simonpj]
Comments and imports

[project @ 2003-04-17 13:26:59 by simonmar]
Doc wibbles

[project @ 2003-04-17 12:58:14 by mthomas]
Fix "System/Posix/Internals.hs:273: Malformed entity string".

[project @ 2003-04-17 10:44:59 by simonmar]
Add a hash table implementation.  This is an implementation of Dynamic
Hash Tables, transliterated from the code in GHC's RTS into Haskell.
I'd like to say it looks nicer, and well, maybe it does a little.

Comments on the interface are welcome.

This hash table implementation will be used by the new Typeable
framework to do hash-consing and fast comparison of TypeRep values.

[project @ 2003-04-17 07:26:12 by simonpj]
Better Haddock documentation

[project @ 2003-04-17 07:01:27 by simonpj]
Start on better Typeable

[project @ 2003-04-16 15:12:02 by sof]
hGetArray: wrong result length returned.

Merge to STABLE (if that's still on.)

[project @ 2003-04-15 12:42:13 by malcolm]
Add unlinesPS, unwordsPS, joinPS, and splitWithPS, to the nhc98 version
of the code.

[project @ 2003-04-15 10:41:14 by simonmar]
Re-instate joinPS which appears to have been accidentally left out of
this revised version of PackedString, and add unlinesPS and unwordsPS
which are the analogs of Data.List.unlines and Data.List.unwords
respectively.

Fix bug: linesPS doesn't work the same way as Data.List.lines, because
it strips out empty lines, and it therefore isn't the inverse of
unlinesPS.  This is because linesPS is defined in terms of splitPS,
which omits empty substrings.  However, the comments next to
splitPS/splitWithPS state that the following should hold:

  joinPS (packString [x]) (splitPS x ls) = ls

which implies that splitPS should *not* omit empty substrings.  So the
definition of splitPS is inconsistent.  I therefore opted to fix
splitPS to make the above property hold, and modify wordsPS to work
with the new definition (it previously relied on the old behaviour).

[project @ 2003-04-11 23:39:43 by ross]
Hugs only: add a CBITS "pragma" to tell the Hugs conversion script which
files from <package>/cbits should be linked with the module by ffihugs,
e.g. {-# CBITS HsNet.c initWinSock.c ancilData.c #-}

[project @ 2003-04-11 14:24:07 by simonmar]
Plug a file descriptor leak: when finalizing a handle, we should
ignore errors in the flushing operation and go ahead and close the
handle anyway.

Spotted by: Keean [k.schupke@ic.ac.uk]

[project @ 2003-04-11 11:43:09 by ross]
Hugs only: use the whole thing now

[project @ 2003-04-11 11:10:57 by ross]
rename Control.Monad.Monoid as Data.Monoid

[project @ 2003-04-11 10:41:23 by ross]
move #hide to where it works

[project @ 2003-04-11 10:11:24 by ross]
rename GHC.Posix as System.Posix.Internals

[project @ 2003-04-09 10:21:09 by simonpj]
Typo

[project @ 2003-04-09 08:18:13 by simonpj]
-------------------------------------
      Fix the lexer so that it does the right thing
for floating point and hexadecimal numbers
-------------------------------------

This fix requires the new (<++) combinator that Koen has
added to the ReadP library.

NB: we lex "0x9fw" as [("0x9f", "w")]; that is, we stop as soon
as we get a legal thing (maximally munching) even if white space
does not follow.  I'm not totally certain this is the right thing,
but it's much better than it was before.

[project @ 2003-04-09 08:17:39 by simonpj]
Remove redundant Prelude import

[project @ 2003-04-08 16:14:29 by simonpj]
add fixity for +++, <++

[project @ 2003-04-08 16:02:05 by simonpj]
New ReadP module from Koen, featuring <++ combinator

[project @ 2003-04-08 14:52:26 by ross]
import tweak

[project @ 2003-04-04 16:12:01 by ross]
Added a list of the modules in the package that don't work with Hugs.
Such modules are skipped by the conversion script.  Packages in which
everything works with Hugs don't need such a file.

[project @ 2003-04-04 14:36:31 by simonpj]
lexChar wibblifications

[project @ 2003-04-03 16:46:59 by ross]
Graph and Tree modules, from GHC's Digraph (actually the Haddock version,
which looks more recent).

[project @ 2003-04-01 16:32:04 by simonpj]
Fix bogus implementation of readLitChar, lexLitChar

[project @ 2003-04-01 16:30:37 by simonpj]
Use INLINE rather than SPECIALISE for ceiling, floor, truncate

[project @ 2003-03-31 15:36:24 by ross]
remove a GHC-ism

[project @ 2003-03-31 13:58:43 by simonmar]
Get the filename right in IOErrors generated by several functions in
here.

[project @ 2003-03-31 13:58:03 by simonmar]
- Add ioeSet{ErrorType,ErrorString,Handle,FileName} to match the
  existing ioeGet* functions.

- Add modifyIOError :: (IOError -> IOError) -> IO a -> IO a

[project @ 2003-03-30 12:20:16 by ross]
withForeignPtr is portable.  So is some other stuff, though only Hugs
uses the portable versions at present.

[project @ 2003-03-27 10:24:43 by simonmar]
[ oops, forgot to commit this with the rest of the changes yesterday... ]

Change our ForeignPtr implementation to match the spec: finalizers
must now be foreign functions.

Move the old Haskell-finalizer versions of newForeignPtr and
addForeignPtrFinalizer into Foreign.Concurrent, to make it clear that
the implementations of these functions require concurrency.

While I'm here: move the GHC-specific parts of the ForeignPtr
implementation into GHC.ForeignPtr.

[project @ 2003-03-26 15:25:46 by simonmar]
Change our ForeignPtr implementation to match the spec: finalizers
must now be foreign functions.

Move the old Haskell-finalizer versions of newForeignPtr and
addForeignPtrFinalizer into Foreign.Concurrent, to make it clear that
the implementations of these functions require concurrency.

While I'm here: move the GHC-specific parts of the ForeignPtr
implementation into GHC.ForeignPtr.

[project @ 2003-03-26 12:35:34 by simonmar]
Add getrlimit()/setrlimit() suppport

[project @ 2003-03-14 13:08:04 by simonmar]
Attach the finalizer to the write side of a duplex handle, where it
should have been.  Otherwise finalization of duplex handles doesn't
work properly.

MERGE TO STABLE

[project @ 2003-03-12 16:42:27 by ijones]
* Added more Haddock documentation to functions / classes / types
* Added section headings for classes / types
* Added an Examples section

[project @ 2003-03-11 18:41:43 by panne]
Fixed link to getArgs

[project @ 2003-03-09 20:19:27 by panne]
Fixed markup confusion ("" vs. '')

[project @ 2003-03-08 23:03:47 by panne]
More markup fixes...

[project @ 2003-03-08 19:02:39 by panne]
Fixed some broken/redirected/canonicalized links found by a very picky
link checker.

[project @ 2003-03-06 09:51:03 by simonmar]
Add Data/Array/IO to list of directories

[project @ 2003-03-05 15:54:59 by malcolm]
For nhc98, use nullPtr rather than 0 as the argument to time().

[project @ 2003-03-05 15:53:10 by malcolm]
Build the hierarchical libraries from .hc files when building nhc98 from .hc's.

[project @ 2003-03-04 13:36:39 by ross]
add an #ifdef __GLASGOW_HASKELL__

[project @ 2003-03-04 11:09:15 by simonmar]
Split Data.Array.IO into Data.Array.IO.Internals (which defines and
exports the concrete representations of IOArray and IOUArray) and
Data.Array.IO which exports the user-visible API.

This is necessary so that we can build more libraries that use
the internals of IOUArray in particular.

[project @ 2003-02-28 12:34:43 by stolz]
- Rename System.Posix.Process.forkProcess to forkProcessAll
- Move GHC.Conc.forkProcess to System.Posix with type 'Maybe ProcessID'

Prompted by: George Russel

[project @ 2003-02-26 10:22:14 by simonmar]
Add a note about the problem with forkProcess, for the time being.

[project @ 2003-02-21 05:34:12 by sof]
Asynchronous / non-blocking I/O for Win32 platforms.

This commit introduces a Concurrent Haskell friendly view of I/O on
Win32 platforms. Through the use of a pool of worker Win32 threads, CH
threads may issue asynchronous I/O requests without blocking the
progress of other CH threads. The issuing CH thread is blocked until
the request has been serviced though.

GHC.Conc exports the primops that take care of issuing the
asynchronous I/O requests, which the IO implementation now takes
advantage of. By default, all Handles are non-blocking/asynchronous,
but should performance become an issue, having a per-Handle flag for
turning off non-blocking could easily be imagined&introduced.

[Incidentally, this thread pool-based implementation could easily be
extended to also allow Haskell code to delegate the execution of
arbitrary pieces of (potentially blocking) external code to another OS
thread. Given how relatively gnarly the locking story has turned out
to be with the 'threaded' RTS, that may not be such a bad idea.]

[project @ 2003-02-20 09:36:40 by malcolm]
Add Foreign.Marshal.Pool to the nhc98 build.

[project @ 2003-02-19 13:54:19 by malcolm]
Oops, the "directory-collecting" modules Foreign and Foreign.Marshal were
accidentally omitted from the nhc98 build.

[project @ 2003-02-18 20:39:56 by panne]
Guerrilla tactics: Re-export Foreign.Marshal.Pool  >:-)

[project @ 2003-02-18 20:15:15 by panne]
* Fixed bug #687034 (GetOpt overly ambiguous)
* Reformatted comment
* Synch example with reality

[project @ 2003-02-17 15:13:56 by simonpj]
Wibbles to ST Monad methods; I forget why

[project @ 2003-02-17 15:13:09 by simonpj]
Type sig for getTag

[project @ 2003-02-17 11:43:21 by simonmar]
Comment wibble

[project @ 2003-02-14 17:11:59 by sof]
- add missing config.h include to Handle.hs
- Handle.hSetBuffering: don't bother putting the handle's FD into
  'raw' mode under Win32. 'raw' mode is just too specialised and
  potentially confusing (see comments.)

[project @ 2003-02-14 13:01:32 by simonpj]
Fix for deriving of records with leading underscore, and corresponding lex

[project @ 2003-02-06 10:41:13 by simonmar]
Aargh!  We were setting the VMIN and VTIME values in the termios
structure when the terminal is in non-raw mode, rather than raw mode,
because I had a test round the wrong way.

Apparently on Linux VMIN and VTIME default to 1/0, so it apparently
worked properly, but on Solaris the VMIN slot in the c_cc array is
shared with the VEOF slot, which meant that VMIN was being left as 4
(the value of ^D, which is the default contents of VEOF).

Thanks to Hal Daume for reporting the bug, and Malcolm Wallce &
Lennart Augustsson for helping to point me in the right direction.

MERGE TO STABLE

[project @ 2003-02-06 10:41:10 by ross]
Hugs-only: special definitions of fromInt & fromDouble.

[project @ 2003-02-04 11:55:54 by simonmar]
Add support for using vfork, which I apparently removed when this file
was moved over from ghc/lib/std/cbits.  Using vfork on Linux makes
quite a big difference - eg. when building GHC.Base with -split-objs ,
I saw a 2.5s reduction in system time.

[project @ 2003-01-30 20:41:10 by panne]
* Fixed the comment breakage of the previous commit (Haddock failure)
* Synched signature comments in header with reality
* Added default implementation of 'rotate' in terms of 'rotateL'/'rotateR'
* Removed spurios "signed": What's a signed rotate or a signed left shift??

[project @ 2003-01-30 12:51:05 by ross]
fix for non-GHC

[project @ 2003-01-29 14:28:47 by ross]
fix typo that broke non-GHC impls.

[project @ 2003-01-29 07:54:46 by panne]
Ooops, unbreak non-GHC targets...

[project @ 2003-01-28 21:48:23 by panne]
As agreed (= no riots after the proposal :-) on the FFI list,
introduce a re-exporting module Foreign.Marshal

[project @ 2003-01-28 21:38:30 by panne]
After trying out re-exporting Foreign.Marshal.Pool from Marshal, it
became obvious that -fno-implicit-prelude would be a good idea. :-}
Otherwise one gets cirular dependencies to the Prelude. Alas, fixing
this resulted in some uglification of the code in some places...

[project @ 2003-01-28 11:09:41 by simonmar]
Provide hand-optimised versions of all the functions herein, protected
by #ifdef __GLASGOW_HASKELL__.

In a quick test, withCString is at least 5 times faster than before.

This isn't really the right way to do it: we should get deforestation
working between the various component functions and let GHC do its
stuff, but I couldn't quite get that to work.

[project @ 2003-01-28 11:07:39 by simonmar]
Hand-optimised versions of pokeArray and pokeArray0 (selected via
#ifdef __GLASGOW_HASKELL__).

I tried to make these functions amenable to deforestation, but
couildn't quite get it to work, so in the meantime we'll settle for
hand-written versions which are still quite a bit faster than the
originals.

[project @ 2003-01-25 15:54:51 by wolfgang]
This commit fixes many bugs and limitations in the threaded RTS.
There are still some issues remaining, though.

The following bugs should have been fixed:

- [+] "safe" calls could cause crashes
- [+] yieldToReturningWorker/grabReturnCapability
    -     It used to deadlock.
- [+] couldn't wake blocked workers
    -     Calls into the RTS could go unanswered for a long time, and
          that includes ordinary callbacks in some circumstances.
- [+] couldn't block on an MVar and expect to be woken up by a signal
      handler
    -     Depending on the exact situation, the RTS shut down or
          blocked forever and ignored the signal.
- [+] The locking scheme in RtsAPI.c didn't work
- [+] run_thread label in wrong place (schedule())
- [+] Deadlock in GHC.Handle
    -     if a signal arrived at the wrong time, an mvar was never
          filled again
- [+] Signals delivered to the "wrong" thread were ignored or handled
      too late.

Issues:
*) If GC can move TSO objects (I don't know - can it?), then ghci
will occasionally crash when calling foreign functions, because the
parameters are stored on the TSO stack.

*) There is still a race condition lurking in the code
(both threaded and non-threaded RTS are affected):
If a signal arrives after the check for pending signals in
schedule(), but before the call to select() in awaitEvent(),
select() will be called anyway. The signal handler will be
executed much later than expected.

*) For Win32, GHC doesn't yet support non-blocking IO, so while a
thread is waiting for IO, no call-ins can happen. If the RTS is
blocked in awaitEvent, it uses a polling loop on Win32, so call-ins
should work (although the polling loop looks ugly).

*) Deadlock detection is disabled for the threaded rts, because I
don't know how to do it properly in the presence of foreign call-ins
from foreign threads.
This causes the tests conc031, conc033 and conc034 to fail.

*) "safe" is currently treated as "threadsafe". Implementing "safe" in
a way that blocks other Haskell threads is more difficult than was
thought at first. I think it could be done with a few additional lines
of code, but personally, I'm strongly in favour of abolishing the
distinction.

*) Running finalizers at program termination is inefficient - there
are two OS threads passing messages back and forth for every finalizer
that is run. Also (just as in the non-threaded case) the finalizers
are run in parallel to any remaining haskell threads and to any
foreign call-ins that might still happen.

[project @ 2003-01-24 15:18:46 by malcolm]
Move the 'shiftL/R' and 'rotateL/R' variants to become methods of
the Bits class.  This gives an instance the choice of which methods
(directional, or unified) to implement directly.  (This change was
agreed in Sept 2002, but is only being committed now.)

Add instances for Int and Integer in nhc98.

[project @ 2003-01-24 14:04:41 by simonmar]
- Generalise seq to allow an unlifted type in its second argument.  This
  works because seq is *always* inlined and replaced by a case.

- Remove getTag, a wired-in Id with an unfolding, with a definition
  in GHC.Base:

getTag x = x `seq` dataToTag# x

  this is why we required the above generalisation to seq (dataToTag#
  returns an Int#).  See the comments in GHC.Base for more details.

- As a side-effect, this fixes a bug in the interpreter, where the
  compiler optimised away the evaluation of the argument to dataToTag#,
  but the interpreter ended up passing it an unevaluated thunk (nullary
  constructors aren't always evaluated in GHCi, but the simplifier
  assumes they are).  Now, in the interpreter, getTag won't be inlined
  so the compiler can't optimise away the evaluation, and we're saved.

  The real bug here is either (a) dataToTag# requires an evaluated
  argument or (b) the interpreter doesn't supply it with one, take your
  pick.

[project @ 2003-01-23 18:06:01 by panne]
Added (not-so-standard ;-) support for pooled memory management.
No GHC-specifics like the use of arenas yet...

[project @ 2003-01-23 17:45:40 by ross]
Hugs now uses most of Control.Exception.

[project @ 2003-01-23 11:46:57 by ross]
add Ord instance, as per FFI spec

[project @ 2003-01-22 14:44:50 by ross]
simpler swapMVar (like readMVar): no need to unblock for a return.

[project @ 2003-01-22 10:56:27 by ross]
use mallocForeignPtrArray from Foreign.ForeignPtr

[project @ 2003-01-22 10:55:56 by ross]
add mallocForeignPtrArray and mallocForeignPtrArray0 as per latest FFI draft.

[project @ 2003-01-21 16:33:20 by ross]
add local definitions of unsafeIOToST and stToIO

[project @ 2003-01-17 14:52:17 by ross]
Exchange some functions between System.Mem.Weak (portable) and GHC.Weak (not).

[project @ 2003-01-16 14:38:40 by ross]
remove spurious #ifdef __HUGS__

[project @ 2003-01-13 11:42:16 by simonmar]
UArrays should always be initialized with known elements, otherwise we
can lose referential transparency:

Prelude> :m + Data.Array.Unboxed
Prelude Data.Array.Unboxed> let f () = array (1, 5) [] :: UArray Int Int
Prelude Data.Array.Unboxed> f () == f ()
False

Noticed-by: Tomasz Zielonka <t.zielonka@students.mimuw.edu.pl>

MERGE TO STABLE

[project @ 2003-01-13 11:32:00 by simonmar]
Fix off-by-one in splitWithPS.

Noticed-by: Tomasz Zielonka <t.zielonka@students.mimuw.edu.pl>

MERGE TO STABLE

[project @ 2003-01-08 14:08:29 by simonmar]
Fix annotateIOError (bug noticed by Ross Paterson).

[project @ 2003-01-08 13:06:30 by simonmar]
Alter the order of the argument to annotateIOError to match mkIOError
and the FFI spec.

[project @ 2003-01-06 14:30:12 by ross]
Consolidate to a single version of trace (except that GHC has the post-hook).
This version adds a newline, which the old Hugs and NHC versions didn't.

[project @ 2003-01-02 23:49:32 by ross]
Hugs only: #ifndef out the bits Hugs can't do.

[project @ 2002-12-23 13:33:16 by malcolm]
Ensure all the Storable instances are available in nhc98.

[project @ 2002-12-20 18:43:53 by ross]
Hugs only: use new version of evaluate.

[project @ 2002-12-20 17:56:21 by ross]
Make Hugs use all of System.IO.Error.

Also renamed the ioe_descr field of IOException (not part of the public
interface) to ioe_description, matching Hugs.

[project @ 2002-12-20 09:41:20 by simonmar]
Remove c_uname from here, it isn't required in the base package