[project @ 2000-05-24 11:37:41 by simonpj]
MERGE 4.07

* Another wibble on records

[project @ 2000-05-24 11:09:55 by simonmar]
don't use underscores in type variable names

[project @ 2000-05-24 11:05:09 by simonmar]
don't use underscores in type variable names

[project @ 2000-05-24 11:01:07 by simonmar]
Don't try to use getclock on HPUX, gettimeofday is more standard in
any case.

[project @ 2000-05-24 10:52:33 by simonmar]
Add ids to the book tags.

[project @ 2000-05-24 10:50:10 by simonmar]
don't use underscores in type variable names

[project @ 2000-05-24 10:29:43 by simonmar]
disable -fwarn-hi-shadowing again, because we duplicate include paths
in the driver too much.

[project @ 2000-05-24 09:21:42 by rrt]
Tried to clear up some backslash confusion under Windows by always using
forward slashes.

Please merge.

[project @ 2000-05-24 07:31:44 by andy]
Adding a field to the Method constructor, to allow methods
to say what they might raise. This is needed to actually
compile generated code.

Also, the generated code now imports haskell.runtime.*

[project @ 2000-05-23 16:53:14 by rrt]
verbatim no longer supported; now in rts.tex

[project @ 2000-05-23 16:52:50 by rrt]
de-verbatimed (verbatim is no longer supported).

[project @ 2000-05-23 15:59:25 by simonmar]
Don't use commas in an SLIT("..")

[project @ 2000-05-23 15:31:48 by sewardj]
zap spurious semicolon wibble

[project @ 2000-05-23 13:57:53 by simonmar]
Fix a Real Bug(TM) in the new code for detecting dead threads: we
weren't taking into account the case when a ThreadRelocated is found
on the all_threads list.

[project @ 2000-05-23 13:16:51 by simonpj]
MERGE 4.07

* Fix records with polymorphic fields (broken by previous 'fix')
  As a tidy-up I also put a TyCon into a FieldLabel

* Fix a glitch with the result-type-sig change

[project @ 2000-05-23 11:51:13 by simonpj]
Add tests for result type sigs

[project @ 2000-05-23 11:45:14 by sewardj]
Fix bug in diet_hep_initialise to do with argc/argv handling.

[project @ 2000-05-23 11:35:36 by simonpj]
*** MERGE WITH 4.07 (once I've checked it works) ***

* Fix result type signatures.  Note that a consequential change is that
  an ordinary binding with a variable on the left
f = e
  is now treated as a FunMonoBind, not a PatMonoBind.  This makes
  a few things a bit simpler (eg rnMethodBinds)

* Fix warnings for unused imports.  This meant moving where provenances
  are improved in RnNames.  Move mkExportAvails from RnEnv to RnNames.

* Print module names right (small change in Module.lhs and Rename.lhs)

* Remove a few unused bindings

* Add a little hack to let us print info about join points that turn
  out not to be let-no-escaped.  The idea is to call them "$j" and report
  any such variables that are not let-no-escaped.

* Some small things aiming towards -ddump-types (harmless but incomplete)

[project @ 2000-05-22 20:04:01 by panne]
zu => _ (i.e. sync name decoding with OccName :-)

[project @ 2000-05-22 19:53:01 by panne]
Synch encoding, decoding, and comments.

[project @ 2000-05-22 17:05:57 by simonmar]
Re-instate foreign label and foreign export dynamic support in the NCG
(which both end up emitting a CLitLit into the abstract C) using a new
mkForeignLabel interface to CLabel.

This won't work if the foreign label is in a different DLL yet, but
Julian is on the case.

[project @ 2000-05-22 14:16:09 by simonmar]
Z-encode underscores as "zu" (the previous owner of "zu", namely '^',
has been moved to "zc").

[project @ 2000-05-22 13:43:53 by rrt]
Improved NCG note.
Pls mrg

[project @ 2000-05-22 13:37:16 by simonmar]
Add test for record selector functions where the field has a
polymorphic type.

[project @ 2000-05-22 13:31:33 by simonmar]
Add -fwarn-hi-shadowing to the default set of warnings.

[project @ 2000-05-22 13:27:00 by simonmar]
Complain about unrecognised warning options.

[project @ 2000-05-22 13:09:29 by simonmar]
Batch finalizers on a per-GC basis.  That is, after a GC a single
thread is created to run the pending finalizers, rather than creating
a thread for each finalizer.

This is almost as fast as having a global thread to run finalizers,
but doesn't require any global state or special treatment by the
scheduler.

[project @ 2000-05-22 11:39:08 by simonmar]
Don't use a worker Id for the internal ccall worker; generate a new
syslocal instead.  This is to avoid a clash in the case where a real
worker is generated later on.

[project @ 2000-05-22 11:38:08 by simonmar]
be more conservative about inlining PrimOp Ids.

[project @ 2000-05-22 07:59:17 by lewie]
Please merge, of course ;-)  A couple of sentences about implicit parameters
for the release notes.  You might want to double-check my sgml, which I
do not speak fluently.

[project @ 2000-05-22 06:56:04 by simonpj]
*** NO NEED TO MERGE WITH 4.07, BUT POSSIBLE ***

Warn about completely unused imported modules (when -fwarn-unused-imports)

[project @ 2000-05-22 06:51:35 by simonpj]
*** MERGE WITH 4.07 ***

Correct types of selectors for records with polymorphic fields.
    (Bug reported by Martin Kowalczyk.)

[project @ 2000-05-19 14:29:20 by rrt]
New member of the family. Look out for .redhat, .mandrake, .beos, .w95,...
coming soon.

[project @ 2000-05-19 14:21:24 by rrt]
Improved DocBook instructions and added a special section for Windows.

[project @ 2000-05-19 12:00:47 by rrt]
Added BNW of Installing It Yourself to DocBook docs.
Added new world of pattern guards to Glasgow Exts.

[project @ 2000-05-19 11:53:05 by sewardj]
Fix sparc breakage caused by recent (DLLery) NCG hackery.  :-)

[project @ 2000-05-19 09:49:00 by simonmar]
Make the _ret symbols static; there's no need to have these exported.

[project @ 2000-05-19 09:29:08 by simonmar]
Fix type casts w/ CIndex assignments.  Should eliminate some warnings
in via-C compilations.

[project @ 2000-05-18 17:15:46 by panne]
* A shell-classic: Inserted space before ] (the lexical syntax of
  shells is always resource of miracles...)

* Made searching for a catalog a little bit more cunning: If
  SGML_CATALOG_FILES is not set, try FPTOOLS_CATALOG_FILE, then
  /usr/share/sgml/CATALOG.docbkdsl, the SuSE-Linux default, don't know
  about Red Hat, Debian, etc.  This way "make dvi html pdf ps rtf"
  works out of the box, at least for me. :-)

[project @ 2000-05-18 14:40:47 by simonmar]
Add parsec subdir.

[project @ 2000-05-18 14:22:26 by panne]
'-#include <foo.h>' gobbled the following option. Fixed.

[project @ 2000-05-18 13:55:36 by sewardj]
Teach the NCG about the dereferencing and naming conventions to be
used when compiling for a DLLised world.  Some cleanups on the way
too.  The scheme is that

* All CLabels which are in different DLLs from the current module
  will, via the renamer, already be such that labelDynamic returns
  True for them.

* Redo the StixPrim/StixMacro stuff so that all references to symbols
  in the RTS are via CLabels.  That means that the usual labelDynamic
  story can be used.

* When a label is printed in PprMach, labelDynamic is consulted, to
  generate the __imp_ prefix if necessary.

* In MachCode.stmt2Instrs, selectively ask derefDLL to walk trees
  before code generation and insert deferencing code around other-DLL
  symbols.

* When generating Stix for SRTs, add 1 to other-DLL refs.

* When generating static closures, insert a zero word before
  the _closure label.

[project @ 2000-05-18 12:42:20 by simonmar]
New version of hGetLine that is roughly 4 times faster than the
original, and is tail-recursive to boot.

I'm not entirely happy with the code, but it needs to get some testing.

[project @ 2000-05-18 11:33:21 by panne]
Add addrOf_ErrorHdrHook prototype

[project @ 2000-05-18 11:32:21 by panne]
Make stackOverflow prototype available Haskell compilation

[project @ 2000-05-18 09:59:28 by simonmar]
cosmetic only

[project @ 2000-05-18 09:57:33 by simonmar]
Remove -noC, add -package concurrent to simpl006_HC_OPTS.

[project @ 2000-05-18 09:54:47 by simonmar]
Upd_frame ==> upd_frame

[project @ 2000-05-18 09:46:24 by simonmar]
$(SGML_DOC) can only support one document, so build the Build System
Guide by default.

[project @ 2000-05-18 09:42:28 by simonmar]
doc-building fix.

[project @ 2000-05-17 22:05:44 by lewie]
Defer ambiguity test for class members, so that the test is done *after*
we know the (extended) functional dependencies (this is a patch that was
mostly carried over from hugs98, but a few lines were out of place).

[project @ 2000-05-16 16:51:42 by panne]
Unbreak util package dependencies for non-M$ platforms

[project @ 2000-05-16 15:56:00 by simonmar]
Upd_frame ==> upd_frame

(somehow this file got missed from yesterday's commit)

[project @ 2000-05-16 14:59:32 by rrt]
Put the -c flag in the right place.

[project @ 2000-05-16 14:21:25 by rrt]
Added a description of SGML comments.

[project @ 2000-05-16 14:18:16 by rrt]
Added FPTOOLS_CATALOG_FILE

[project @ 2000-05-16 14:17:22 by rrt]
Made it buildable again; notes on installing DocBook/Jade removed for the moment.

[project @ 2000-05-16 14:16:20 by rrt]
Added docbook-cheat-sheet

[project @ 2000-05-16 14:04:25 by rrt]
Added -package concurrent.

[project @ 2000-05-16 14:03:14 by rrt]
Now that -ddump-* dumps to stdout, the stderr/out files need
reorganising.

[project @ 2000-05-16 13:55:46 by rrt]
Added import PrelIOBase, which is now needed.

[project @ 2000-05-16 11:36:57 by rrt]
Add util packages to memo tests.

[project @ 2000-05-16 11:26:31 by rrt]
Package fix: don't have posix as a dependency of util on Windows (where
posix doesn't work).

[project @ 2000-05-16 10:45:23 by rrt]
Much pain in order to get the horrid heap of brokenness that is the DocBook
catalog system to work.

[project @ 2000-05-16 09:08:03 by simonmar]
oops... better unbreak the driver

[project @ 2000-05-15 22:44:00 by lewie]
Fixed missing case in dependency analysis for an implicit param.

[project @ 2000-05-15 15:34:03 by keithw]
Adjust treatment of rules in SimplCore to enable a Core pass to alter
them if necessary.  Use tricks to ensure that the common case (no change)
is still efficient.

[project @ 2000-05-15 15:03:36 by simonmar]
I lied earlier.  _ccall_GC_ should work now.

[project @ 2000-05-15 14:49:47 by simonmar]
wibble

[project @ 2000-05-15 14:49:14 by simonmar]
fix bug in module initialization

[project @ 2000-05-15 14:46:50 by simonmar]
add bLOCK_SIZE

[project @ 2000-05-15 14:44:42 by simonmar]
add CurrentTSO, CurrentNursery, bdescr->start and bdescr->free offsets.

[project @ 2000-05-15 14:38:11 by simonmar]
forgot a file in the Upd_frame ==> upd_frame commit.

[project @ 2000-05-15 14:36:48 by simonmar]
Change the order of building stubs vs. the main .hc file so that one
doesn't trample on the other.  This stuff is *so* horrible.

[project @ 2000-05-15 14:29:04 by simonmar]
callback is a definite via-C test

[project @ 2000-05-15 13:10:20 by rrt]
Updated to conform to different output.

[project @ 2000-05-15 12:53:39 by rrt]
Extra rule to make gmp/gmp.dll.

[project @ 2000-05-15 12:49:48 by rrt]
Removed commented-out out-of-date code from the test, and updated stderr.

[project @ 2000-05-15 11:39:32 by simonmar]
The NCG should now support _ccall_GC (i.e. foreign import safe).

[project @ 2000-05-15 11:38:55 by simonmar]
remove extra \n in debug message

[project @ 2000-05-15 11:21:22 by rrt]
Stdout modified in accordance with output (it's the same as io005.hs, which
has itself been modified).

[project @ 2000-05-15 11:18:58 by rrt]
Reversed some formatting changes to make more similar to last version that
worked (currently seems not to work on Windows or Linux).

[project @ 2000-05-15 09:25:40 by simonmar]
syslib concurrent depends on lang

[project @ 2000-05-15 09:20:11 by simonmar]
back out previous misguided commit.

[project @ 2000-05-14 17:13:48 by panne]
Recurse into docbook subdir, too

[project @ 2000-05-14 07:16:50 by lewie]
Wobble.  Fine tuning tcSimplifyAndCheck a bit further (wrt implicit params).
The key is that a method that doesn't constrain a local tyvar, but does has
implicit params, needs to be reduced further.

[project @ 2000-05-13 00:20:57 by lewie]
A clean-up pass on fundeps and implicit params.  Haven't yet incorporated
changes from Hugs/GHC meeting yet, tho.
  - Fixed up several places in Type.lhs where IPNotes were probably being
    incorrectly handled.  Strongly suggests a better solution should be
    implemented for marking implicit params than piggybacking on NoteTys.
  - tcSimplifyAndCheck was handling implicit params incorrectly
    (holding on to them when it should have been booting them out to frees).
  - Improved improvement WRT type signatures (the signature is now taken
    into account when improving).
  - Added improvement when matching against local polymorphic types.

[project @ 2000-05-12 20:01:28 by panne]
Fixed bug in integerTo{Word,Int}64zh primops: They used the number of
allocated *words* to determine size of an integer, but this is wrong
due to normalization. When e.g. two large numbers with different sign,
but approximately same absolute value are added, MPN_NORMALIZE cuts
down the *size*, but the allocation stays the same. Simple fix: Use
size parameter of macros directly. Easier and more correct! :-)

[project @ 2000-05-12 16:59:26 by rrt]
Changed jade to $JADE

[project @ 2000-05-12 16:56:54 by rrt]
Add JadeCmd to find path of jade.

[project @ 2000-05-12 16:53:16 by rrt]
Corrected TOP.

[project @ 2000-05-12 16:49:42 by rrt]
Reorganisation to parametrise *.sh files on name of Jade, which is
now found by the configure script.

[project @ 2000-05-12 16:03:04 by sewardj]
DietHEP demo program wurble

[project @ 2000-05-12 15:59:37 by sewardj]
Cygwin support machinery for manufacturing DietHEP.dll and building a
small demo program (dh_demo.exe).

[project @ 2000-05-12 15:50:14 by rrt]
db2html now parametrised on location of files it needs (GIFs and CSS).

[project @ 2000-05-12 15:48:20 by rrt]
Added to repository: GIFs and CSS that are copied to HTML directories by
db2html.

[project @ 2000-05-12 15:46:53 by rrt]
New driver.

[project @ 2000-05-12 15:46:26 by rrt]
Makes db2html from db2html.sh

[project @ 2000-05-12 15:45:48 by rrt]
db2html is now produced from db2html.sh

[project @ 2000-05-12 13:49:54 by sewardj]
3rd time lucky with DIET_HEP and Cygwin.  I hope.