[project @ 2000-05-31 00:55:10 by chak]
Autoconf magic to determine a working DocBook CATALOG file (if any).  Makes
the makefile variable DOCBOOK_CATALOG refer to this CATALOG file (absolute
path).

[project @ 2000-05-30 14:30:07 by simonmar]
Nothing uses this file, so remove it.

[project @ 2000-05-30 14:28:13 by simonmar]
don't need to import PrelPack.hi-boot

[project @ 2000-05-30 14:27:38 by simonmar]
only add implicit occs for bindIO & returnIO for foreign export, not
for foreign import.

[project @ 2000-05-30 13:07:04 by simonmar]
Fix package names & version numbers in .hi-boot files.

[project @ 2000-05-30 12:50:04 by sewardj]
Fix cyclic dependency problem when compiling the Prelude.

[project @ 2000-05-30 10:03:07 by simonmar]
re-enable first float-outwards pass; it was accidentally disabled in
Simon's recent commit.

[project @ 2000-05-29 10:00:38 by simonpj]
Fix missing imports for foreign import/export

[project @ 2000-05-29 01:20:41 by panne]
Hopefully this is a better place to fix the printing of litlits in
interface files...
*please merge*

[project @ 2000-05-29 01:14:15 by panne]
Backed out previous commit, the change was at the completely wrong place.
*please merge*

[project @ 2000-05-28 23:24:43 by panne]
Don't forget litlit alternatives when deciding if an expression should
make its way into an interface file.
*please merge*

[project @ 2000-05-28 23:21:02 by panne]
Prefix litlits with "__litlit" in interface files.
*please merge*

[project @ 2000-05-28 21:54:12 by panne]
Look through newtypes when generating stub code.
*merge if/when SPJ's huge commit is merged*

[project @ 2000-05-28 21:53:12 by panne]
Removed unused import.
*merge if/when SPJ's huge commit is merged*

[project @ 2000-05-28 20:45:45 by panne]
Rewrote RULES for gcd and lcm without forall. The old versions *did
not* always fire because of a strange interaction with automatically
generated specialisations for gcd! Example for this misbehaviour:

   main :: IO ()
   main = do
      print (gcd             15675            156750 :: Integer)
      print (gcd 12345678987651075            156750 :: Integer)
      print (gcd            156750 12345678987651075 :: Integer)
      print (gcd  2469135797530215 12345678987651075 :: Integer)

I don't understand why the new version works and the old one did not,
so somebody else should probably have a look at this phenomenon.

*please merge* (like all my commits in the last few days :-}

[project @ 2000-05-28 20:39:43 by panne]
Added a few -#includes to eliminate warnings from gcc
(*please merge*)

[project @ 2000-05-28 20:22:08 by panne]
Fixed gcdIntegerInt# primop, the previous macros was completely
wrong. gcd for Integers worked only as long the corresponding RULE
in PrelReal didn't fire.

[project @ 2000-05-28 17:47:27 by panne]
The C functions toLocalTime and toUTCTime now return an StgInt, not a
rather useless StgAddr. This fixes two gcc warnings during the
compilation of Time. In the course of this, toLocalTime.c and
toUTCTime.c are synched a little bit more.

(*please merge*)

[project @ 2000-05-28 16:06:52 by panne]
Lowered magical value of unfolding threshold for PrimPacked, so strlen
doesn't appear in interface file. This fixes bootstrapping problems,
e.g. when compiling FastString. Extremely hacky solution...

[project @ 2000-05-27 14:28:06 by panne]
Bug or feature? Changed `envyron' back to `environ', otherwise
hslibs/posix/cbits/env.c can't be compiled. If this breaks something
on M$, it must be #ifdef-ed somehow, but not simply be renamed.

[project @ 2000-05-26 17:42:18 by lewie]
Applied patch from hugs98 fixing type annotations in do bindings.

[project @ 2000-05-26 12:08:30 by sewardj]
Update the destructions for building Hugs on Win32, for mingw32.

[project @ 2000-05-26 11:38:44 by simonmar]
Build hslibs first if we're bootstrapping from .hc files.

[project @ 2000-05-26 10:14:33 by sewardj]
Changes to allow Hugs to be built with mingw32, not cygwin.  Also,
updates so that DietHEP works properly for mingw32.  Most changes are
trivial (assert --> ASSERT), etc.  For hugs, have deleted queries
about the width of a terminal window, and so the printing of dots
as progress indicators is gone too.  No great loss.  Zapped various
other out-of-date platform-specific junk in machdep.c.

[project @ 2000-05-26 10:04:37 by panne]
Don't mv, but cp foreign export header file (as was done before)

[project @ 2000-05-26 08:42:59 by simonmar]
Add missing AP_UPD case in THUNK_SELECTOR.

[project @ 2000-05-25 13:11:17 by panne]
* Small fix for SPJ's last huge commit: Remove dependency on ghc-iface
  from Makefile.

* Nuke ghc-recomp.lprl, this hasn't been used for a long time (I hope :-}

(merge when/if SPJ's commit is merged)

[project @ 2000-05-25 12:54:05 by panne]
Cosmetics: Removed a whole bunch of "Field `foo' is not initialised"
warnings. This should not have any impact on efficiency, as GHC
inserts `recConError "blah"' expressions for uninitialised fields
anyway, and I can't see any danger of space leaks.
(can be merged with 4.07)

[project @ 2000-05-25 12:49:34 by panne]
Cosmetics: Removed two "Pattern match(es) are overlapped" warnings.
(can be merged with 4.07)

[project @ 2000-05-25 12:41:14 by simonpj]
~~~~~~~~~~~~
Apr/May 2000
~~~~~~~~~~~~

This is a pretty big commit!  It adds stuff I've been working on
over the last month or so.  DO NOT MERGE IT WITH 4.07!

Interface file formats have changed a little; you'll need
to make clean before remaking.

Simon PJ

Recompilation checking
~~~~~~~~~~~~~~~~~~~~~~
Substantial improvement in recompilation checking.  The version management
is now entirely internal to GHC.  ghc-iface.lprl is dead!

The trick is to generate the new interface file in two steps:
  - first convert Types etc to HsTypes etc, and thereby
build a new ParsedIface
  - then compare against the parsed (but not renamed) version of the old
interface file
Doing this meant adding code to convert *to* HsSyn things, and to
compare HsSyn things for equality.  That is the main tedious bit.

Another improvement is that we now track version info for
fixities and rules, which was missing before.

Interface file reading
~~~~~~~~~~~~~~~~~~~~~~
Make interface files reading more robust.
  * If the old interface file is unreadable, don't fail. [bug fix]

  * If the old interface file mentions interfaces
    that are unreadable, don't fail. [bug fix]

  * When we can't find the interface file,
    print the directories we are looking in.  [feature]

Type signatures
~~~~~~~~~~~~~~~
  * New flag -ddump-types to print type signatures

Type pruning
~~~~~~~~~~~~
When importing
data T = T1 A | T2 B | T3 C
it seems excessive to import the types A, B, C as well, unless
the constructors T1, T2 etc are used.  A,B,C might be more types,
and importing them may mean reading more interfaces, and so on.
 So the idea is that the renamer will just import the decl
data T
unless one of the constructors is used.  This turns out to be quite
easy to implement.  The downside is that we must make sure the
constructors are always available if they are really needed, so
I regard this as an experimental feature.

Elimininate ThinAir names
~~~~~~~~~~~~~~~~~~~~~~~~~
Eliminate ThinAir.lhs and all its works.  It was always a hack, and now
the desugarer carries around an environment I think we can nuke ThinAir
altogether.

As part of this, I had to move all the Prelude RdrName defns from PrelInfo
to PrelMods --- so I renamed PrelMods as PrelNames.

I also had to move the builtinRules so that they are injected by the renamer
(rather than appearing out of the blue in SimplCore).  This is if anything simpler.

Miscellaneous
~~~~~~~~~~~~~
* Tidy up the data types involved in Rules

* Eliminate RnEnv.better_provenance; use Name.hasBetterProv instead

* Add Unique.hasKey :: Uniquable a => a -> Unique -> Bool
  It's useful in a lot of places

* Fix a bug in interface file parsing for __U[!]

[project @ 2000-05-25 10:40:39 by simonmar]
Add missing case in parsing of inline pragmas.

[project @ 2000-05-25 09:16:56 by simonmar]
raise_info, the info table we use for overwriting thunks with an
exception, had the bogus closure type of FUN.  This was mostly
harmless, but caused some confusion for THUNK_SELECTORs, which rightly
assumed that they shouldn't be pointing at FUNs.

The fix is to change the type to THUNK, which is slightly closer to
being true.

This fixes Alastair Reid's "THUNK_SELECTOR: strange selectee" bug.

[project @ 2000-05-25 08:36:34 by andy]
Fixing up names to make a reasonable use of Java packages.
This is just one of a number of steps before attacking the Prelude.

Fixing up the output order of the inner classes, making postprocessing easier.

[project @ 2000-05-24 16:04:38 by simonmar]
Fix compilation errors when OMIT_NATIVE_CODEGEN is on.

[project @ 2000-05-24 15:47:13 by simonpj]
MERGE 4.07

* This fix cures the weird 'ifaceBinds' error that
  Sven and George tripped over.  It was quite obscure!

  Basically, there was a top level binding
f = x
  lying around, which CoreToStg didn't like.  Why hadn't
  it been substituted away?  Because it had a NOINLINE
  pragma.  Why did it have a NOINLINE pragma?  Because
  it's an always-diverging function, so we never want to
  inline it.

[project @ 2000-05-24 15:04:07 by rrt]
Changed ref to building guide to a ref to the installation guide.

[project @ 2000-05-24 15:03:49 by rrt]
Added a few ids to stop weirdly-named web pages being built for sections
without ids.

[project @ 2000-05-24 13:36:10 by simonpj]
Only report shadowed names in source files (merge with 4.07)

[project @ 2000-05-24 13:14:22 by rrt]
Tweaked title not to have   (which is simply omitted in HTML Title
meta-info), and upped version no. to 4.07.

Pls mrg.

[project @ 2000-05-24 13:01:45 by rrt]
Removed a bogus XRef.

[project @ 2000-05-24 12:53:21 by rrt]
Lots of ids added so that all HTML pages generated have sensible names.
Various other little tidies up.

Please merge.

[project @ 2000-05-24 12:43:20 by simonpj]
Fix unused-import warning --- again!

[project @ 2000-05-24 11:39:48 by simonpj]
MERGE 4.07

* When float outwards (full laziness) remember to
  switch off the demand flag.  Else we wrongly
  can transform
\x -> let y __D = (...) in y+x
  into
let y __D = (...)
in \x -> y+x
  In the latter, y is not necessarily demanded;
  it depends whether the function is called.  We
  should switch off the demand flag.

  The fix is right at the bottom in SetLevels.subst_id_info

[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.