[project @ 2000-03-22 18:14:22 by sewardj]
Initial commit of major changes to module chasing and storage management:

* Total reimplementation of module chasing (see achieveTargetModules
  in hugs.c).  Build, maintain and use module dependency graphs
  to decide what needs reloading when.  The old mechanism with a
  stack of scripts, etc, is gone forever.  All the rest of these points
  are in support of the module-chasing change:

* The result of parsing a module is now a parse tree, rather than a
  half-baked parse tree and a bunch of side-effects.  Hooray!

* Redo symbol tables for Names, Tycons, Classes, Instances and
  Modules.  They are now dynamically expandable, doubling in size
  automatically when full, and use a freelist system to keep track
  of available slots.

* Allow arbitrary modules to be deleted from the system.  The
  main honcho here is nukeModule().

* Not strictly necessary, but ... unify the address space for all
  compile-time entities.  See revised whatIs().  Text is part of
  the unified address space.  This is very convenient for debugging.
  print() can now print practically anything.  Generally simplify
  storage management as much as possible, and zap the years of
  elaborate hacks needed to make Hugs work well in 16-bit systems.
  Added a load of sanity-checking support to storage.[ch].

* We don't support project files any more.  They were useful for a
  while, but no longer seem relevant.

* Nuked a large bunch of irrelevant options in rts/options.h.

As of this commit, the system can load and chase modules, both in
standalone and combined modes.  The :l (load), :a (also), :r (refresh),
:i (info), :t (show type) and :m (set eval module) commands appear
to work.  There are also several temporary limitations which will
be fixed soon:

* Anything to do with external editors, etc, doesn't work.

* The downward-closure-of-object-code (if M is object, all
  modules below M must be too) is not enforced nor checked for.
  It needs to be.

* Module M _must_ reside in M.hs/M.o (sigh).  To be fixed.

* Error handling is probably flaky, and interrupt handling
  very likely is.

* Error messages don't have line numbers.  (A 5-minute fix).

* Progress messages are all at sea; needs re-thinking now that
  the order in which things are done is radically different.

* Compile-time GC is temporarily disabled whilst I figure out how
  to stress-test the GC.

* Freed-up symbol table entries are never re-entered on the free
  lists -- a debugging measure.

* :% is given a bad type in combined mode.  To be investigated.

[project @ 2000-03-22 14:29:54 by simonmar]
another -u: __init_PrelMain

[project @ 2000-03-22 13:45:54 by simonpj]
Make Enum for Ratio behave like the Report says

[project @ 2000-03-22 12:30:52 by rrt]
Removed obsolete comment.

[project @ 2000-03-22 12:15:46 by rrt]
Changed __init_Main to __init_PrelMain in line with changes elsewhere.

[project @ 2000-03-22 12:01:57 by rrt]
Stopped PrelMain.dll_o being built with -split-objs (filter this out from
argument list)

[project @ 2000-03-21 17:41:02 by simonmar]
What happened to gcc's "uninitialised variable" warnings when I needed
them?

[project @ 2000-03-21 16:01:17 by simonmar]
not needed anymore.

[project @ 2000-03-21 15:57:47 by simonmar]
wibbles

[project @ 2000-03-21 15:54:25 by simonmar]
Fix up the tests in here.  Now that threadDelay is interruptible, many
of the tests for block/unblockAsyncExceptions failed because they were
relying on exceptions being blocked during a threadDelay.

[project @ 2000-03-21 14:33:18 by simonmar]
Call __init_PrelMain instead of __initMain.  PrelMain lives above Main
in the dependency tree, so this is more correct.

[project @ 2000-03-21 14:24:20 by simonmar]
MutableArray/STArray fixage.

[project @ 2000-03-21 11:38:43 by rrt]
Added PrelException_BlockedOnDeadMVar_static_closure and
PrelException_NonTermination_static_closure.

[project @ 2000-03-21 11:33:12 by rrt]
Made them build on mingw32 again (problems with getourtimeofday, which
shouldn't be needed under mingw anyway).

[project @ 2000-03-21 11:22:35 by simonmar]
Fix several bugs in readChunk, mainly to do with copying
already-buffered data into the user buffer.

[project @ 2000-03-21 09:48:28 by panne]
After Simon's last commit it suffices to mention libHS once (that was
exactly what I was trying in that second :-)

[project @ 2000-03-21 09:39:46 by simonmar]
- add BlockedOnDeadMVar to the ever-increasing list of '-u' things
- remove accidental commit (again). sigh.

[project @ 2000-03-20 15:49:56 by panne]
ITimer.h is really called Itimer.h. Hmmm, let's guess on what
brilliant OS this part of the RTS was developed...  :-))

[project @ 2000-03-20 15:32:10 by panne]
Bootstrapping fix, this time for slurpFile

[project @ 2000-03-20 09:42:49 by andy]
Adding an alternative to the "delay" system used for
threads that are waiting for time to pass.

This works on a target time basis, eliminating the
need to use the ticky style counter.

It is only enabled under:

#if defined(INTERPRETER) && !defined(HAVE_SETITIMER)

[project @ 2000-03-20 04:26:23 by andy]
Second attack at supporting threads inside STG Hugs.
We now support most of the concurrency primitives.

Also a wibble in Evaluator.c, letting Hugs compile.

[project @ 2000-03-19 13:36:59 by panne]
*sigh* hPutBuf{,BA} versionitis again, this time for bootstrapping 4.07

[project @ 2000-03-18 15:37:58 by panne]
Due to PrelException_PutFullMVar_static_closure there is a circular
dependency between libHS and libHSrts, which is broken during the
linking phase by mentioning -lHS again *after* -lHSrts. Hmmm, perhaps
it would be better to mention the smaller -lHSrts twice instead? With
this patch 4.06 can build 4.07, now let's see if it bootstraps...

[project @ 2000-03-18 13:07:04 by panne]
Re-enable soft failure while searching .hi files

[project @ 2000-03-17 17:17:48 by rrt]
Spelt HS_cbits_imp correctly in SRC_BLD_DLL_OPTS

[project @ 2000-03-17 17:05:27 by rrt]
Set WAYS=$(GhcLibWays) so that DLLs can be built.

[project @ 2000-03-17 15:11:26 by rrt]
Added PrelException_PutFullMVar_static_closure and __init_Prelude, and also
(rather hackily) __init_Main (until I find out how that should really be
dealt with).

[project @ 2000-03-17 15:00:25 by simonmar]
don't export non-std stuff.

[project @ 2000-03-17 14:37:21 by simonmar]
More random cleanups.

[project @ 2000-03-17 13:30:23 by simonmar]
Random cleanup: rename the TSO->whatNext field to what_next, to be a
bit more consistent.

[project @ 2000-03-17 12:40:03 by simonmar]
Add the readBlahOffAddr suite of primitives.  The previous method of
using indexStuffOffAddr didn't enforce proper ordering in the I/O
monad.

The indexBlahOffAddr primops may go away in the future if/when we
figure out how to make unsafePerformIO into a no-op at the back end.

[project @ 2000-03-17 10:25:16 by simonmar]
Add test for interruptible ops.

[project @ 2000-03-17 10:24:44 by simonmar]
Support "interruptible operations": threads which are blocked on
MVars, exceptions, I/O, or sleeping are fair game for raiseInThread.

[project @ 2000-03-17 10:01:29 by simonmar]
Add test for garbage collecting threads.

[project @ 2000-03-17 09:53:19 by simonmar]
Add global_link field to the TSO structure.  Forgotten in yesterday's
commit.

[project @ 2000-03-17 09:48:48 by simonmar]
Reset the itimers in the child, so it doesn't get plagued by SIGVTALRM
interrupts.

Reported by ADR,
Patch from  Hannah Schroeter <uk1o@rz.uni-karlsruhe.de>.

[project @ 2000-03-16 17:33:04 by simonmar]
bug fix in previous commit - NotBlocked is a valid state to be in in
resurrectThreads().

[project @ 2000-03-16 17:27:12 by simonmar]
Raise an exception in any thread that is about to be garbage
collected.

- threads blocked on MVars that are otherwise garbage
  will receive a BlockedOnDeadMVar exception.

- threads blocked on Black Holes must be in some kind
  of deadlock, so we send them a NonTermination exception.

[project @ 2000-03-16 17:24:08 by simonmar]
put a lock in the right place.

[project @ 2000-03-16 17:23:35 by simonmar]
decruftification

[project @ 2000-03-16 16:22:15 by rrt]
Got rid of an odir problem when building PrelMain as a DLL.

[project @ 2000-03-16 12:40:40 by simonmar]
Use Sp instead of the global init_stack for the stack pointer during
module initialisation.  This should cut down the code size for module
initialisation blocks.

[project @ 2000-03-16 12:37:05 by simonmar]
Clean up the module initialisation stuff a bit, and add support for
module initialisation blocks in the native code generator.

[project @ 2000-03-16 09:45:02 by simonmar]
Add 'check' subdir for -syslib util.

[project @ 2000-03-16 09:31:44 by simonmar]
Add hslibs/tests/lang/check to -syslib util (in in-place mode).

[project @ 2000-03-15 23:28:09 by andy]
The prelude with assertion support. We use the same functions
in Hugs and GHC for the assert infrastructure.

[project @ 2000-03-15 23:27:16 by andy]
Adding in internal support for assert, that gives optional
assertion messages with file and line numbers.

Changing the default build style to stand alone.
Thinking: People building the combined system are likly to
be hackers already, so can make a one line change.
We should discuss this...

[project @ 2000-03-15 17:45:33 by rrt]
Typo removed (of course we have pre-built docs in binary dists; I meant not
in source dists).

[project @ 2000-03-15 17:36:02 by simonmar]
optimise SaveThreadState/LoadThreadState slightly by caching
CurrentTSO in a local variable.

[project @ 2000-03-15 16:04:42 by rrt]
Added a list of the RPMs needed for DocBook

[project @ 2000-03-15 15:57:26 by rrt]
Added notes about DocBook

[project @ 2000-03-15 15:31:36 by simonmar]
Unbreak signals.

[project @ 2000-03-15 15:03:20 by simonmar]
Fix configuration/building of GMP.

[project @ 2000-03-15 11:15:19 by simonmar]
Use the slightly more standard non-standard module ST instead of the
completely non-standard MutableArray.

[project @ 2000-03-15 11:11:08 by simonmar]
sigh, add some more #ifdefs to this file (MutableArray/STArray changes).

[project @ 2000-03-15 10:54:58 by simonmar]
Undo part of last my previous commit, which was included accidentally.

[project @ 2000-03-15 01:34:52 by andy]
Adding GHC style Dynamic to the Prelude understanding.

[project @ 2000-03-14 14:34:47 by sewardj]
Update Hugs so as to work with the new way of referencing Prelude
symbols from the RTS.  The main action is in fixupRTStoPreludeRefs()
in rts/Prelude.c.

[project @ 2000-03-14 12:16:00 by simonmar]
Simplfy the mutable array story:

- rename MutableArray to STArray (and similarly
  for all operations on MutableArray, eg newArray
  is now newSTArray).

- remove the extra level of indirection between
  STArrays and MutableArrays.

- remove the MutableArray interface from
  hslibs/lang/MutableArray.  This module will go
  away soon - Andy, don't bother porting it to Hugs.

[project @ 2000-03-14 11:11:40 by simonmar]
New file for RTS->Prelude dependencies.

[project @ 2000-03-14 09:55:05 by simonmar]
Handle references from the RTS to the Prelude in a more consistent
way.

- For statically-linked binaries, nothing has changed.

- For the interpreter, refs from the RTS to the Prelude
  are now indirected.  The indirections need to be
  filled in at some point during startup by calling
  fixupPreludeRefs (in Prelude.c).

- The CHARLIKE and INTLIKE tables are now handled in
  the same way for both Hugs and DLLs.

Hugs will be broken for a short while until Julian sorts out the Hugs
parts of this change.

[project @ 2000-03-14 09:31:48 by simonmar]
oops, missed one instance of UnsafeThawByteArrayOp.

[project @ 2000-03-14 01:58:19 by sof]
Fixed recent -syslib com buglet

[project @ 2000-03-14 01:57:18 by sof]
mingw32: do as for cygwin platforms & default the name of the generated
binary to main.exe if -o <...> isn't given.

[project @ 2000-03-14 01:54:06 by sof]
Simplified prog_* externs a little

[project @ 2000-03-14 01:52:25 by sof]
Misc Win32 bitrot

[project @ 2000-03-14 01:50:49 by sof]
Don't be selective about what's exported from the RTS DLL any more,
as it requires sync'ing HSrts.def whenever the RTS offerings change.

[project @ 2000-03-14 01:43:27 by sof]
* 'inlined' subset of the MM protos needed to compile this module, i.e.,
  don't require whoever does a 'make' in ghc/rts/ to have extended their
  <windows.h>
* right Win32 proto for handle_tick()

[project @ 2000-03-14 01:38:43 by sof]
Support for setting target-specific CC options via AC_SUBST (and make use
of it on the mingw32 front -- 'resist' the temptation to use GMP's config/
story for this.)

[project @ 2000-03-14 01:33:39 by sof]
mingw32 support

[project @ 2000-03-14 01:31:38 by sof]
remove some Makefile debugging bits

[project @ 2000-03-14 01:30:21 by sof]
When booting, pass in --target to gmp/

[project @ 2000-03-13 14:11:14 by sewardj]
#include wibbles.

[project @ 2000-03-13 14:10:24 by sewardj]
Win32 wibble.

[project @ 2000-03-13 13:00:00 by sewardj]
Track recent re-homing of Prelude.h for INTERPRETER.

[project @ 2000-03-13 12:11:43 by simonmar]
Remove unsafeThawByteArray# primop (which was a no-op), and use
unsafeCoerce# instead.

[project @ 2000-03-13 11:43:54 by simonmar]
remove duplicate signal type test.

[project @ 2000-03-13 11:39:22 by simonmar]
Add PutFullMVar test

[project @ 2000-03-13 11:37:16 by sewardj]
Further cleanups of connect.h.  Also, zap the Args macro.  We really
don't need to support K&R C any more.

[project @ 2000-03-13 11:34:00 by simonmar]
Need to pull in PutFullMVar from PrelException.

[project @ 2000-03-13 11:32:20 by simonmar]
Disable the stuff that was supposed to lex octal & hexadecimal
literals, but which didn't work.  The code in the Haskell report
doesn't attempt to lex these either.

[project @ 2000-03-13 10:54:49 by simonmar]
Add new exception: PutFullMVar for putting into an already full MVar.

[project @ 2000-03-13 10:53:55 by simonmar]
Move Prelude.h from ghc/includes into ghc/rts.  It's essentially a
list of the things from the Prelude that the RTS depends on, and isn't
relevant to STG code.  Furthermore, this helps to clarify which parts
of the RTS depend on things from the Prelude (by an explicity
#include).

[project @ 2000-03-13 10:39:11 by sewardj]
Clean up a couple of compilation warnings.

[project @ 2000-03-13 10:30:25 by sewardj]
Remove #ifdef STANDALONE_INTEGER.

[project @ 2000-03-13 10:28:51 by simonmar]
Pick up the pieces after Sven's Saturday Night Fever :)

[project @ 2000-03-13 10:21:26 by simonmar]
remove unused gunk.

[project @ 2000-03-13 09:57:16 by simonmar]
Remove duplicate definition of unblockOne.

[project @ 2000-03-13 09:56:31 by simonmar]
Reset the interrupted flag after an interruption.  This allows
finalizers to run, and means that Hugs doesn't get stuck in an
interruption loop.

[project @ 2000-03-11 23:55:16 by panne]
Saturday Night Fever: hPutBufBA again... >:-(

[project @ 2000-03-10 22:11:39 by lewie]
Removing backend.h for Julian.

[project @ 2000-03-10 20:03:36 by sewardj]
Update .c files to reflect reorganisation of .h files in this directory.

[project @ 2000-03-10 19:50:44 by sewardj]
Major cleanup of header files.  Merge the 5 deleted files into connect.h.
Organise connect.h to gather declarations into roughtly related
categories.

[project @ 2000-03-10 18:28:26 by sewardj]
Nuke a substantial number of no-longer-supported options.

[project @ 2000-03-10 17:30:36 by lewie]
First stab at reviving TREX - just fixing some header wibbles.  Also one small
fix to get implicit parameters working (`textOf' needed to be taught that
IPCELLs are also OK).  Moved #defines for TREX, IPARAM, etc, into options.h
(in their previous location at the end of prelude.h, they were being defined
too late).

[project @ 2000-03-10 15:23:40 by simonmar]
Fix h{Fill,Put}Buf(BA)?.  They now work in the presence of
partial/blocking reads and writes, and hPutBuf now doesn't hold on to
the handle while it's blocking.

[project @ 2000-03-10 15:20:18 by simonmar]
Fix h{Fill,Put}Buf(BA)?.  They now work in the presence of
partial/blocking reads and writes, and hPutBuf now doesn't hold on to
the handle while it's blocking.

[project @ 2000-03-10 14:53:00 by sewardj]
Compilation cleanups:
* Add some prototypes to header files, to avoid compilation warnings.
* Remove irrelevant #ifdeffery (#if NPLUSK, + various others)

[project @ 2000-03-09 21:35:38 by andy]
Rm debugging printf.

[project @ 2000-03-09 21:16:49 by andy]
Wibble: rm needless import Prelude used by Hugs.