[project @ 1999-01-15 10:21:43 by sof]
lexLitChar: '\DEL' wasn't being lexed properly

[project @ 1999-01-14 19:53:57 by sof]
Fixes to support .hi unfoldings containing "_ccall_ dynamic"s

[project @ 1999-01-14 19:28:43 by sof]
Tweaked to cope with Haskell98's change to what constitutes a -- comment

[project @ 1999-01-14 18:36:18 by sof]
added isEmptyMVarZh macro

[project @ 1999-01-14 18:31:17 by sof]
Forgot to commit this before Christmas...on Win32 platforms use
VirtualAlloc() instead CreateFileMapping()&friends to ask for
mega-blocks from the OS. Windows 95-friendlier.

[project @ 1999-01-14 18:21:49 by sof]
Haskell 98 related changes + the addition of the MVar primop,

   isEmptyMVar :: MVar a -> IO Bool
     -- use with care.

[project @ 1999-01-14 18:18:45 by sof]
-syslib posix gets the Haskell 98 treatment

[project @ 1999-01-14 18:17:32 by sof]
-syslib misc meets Haskell 98.

[project @ 1999-01-14 18:15:28 by sof]
* Misc changes to reflect that we're now speaking Haskell 98.
* Augmented IOExts export list with

unsafeIOToST    :: IO a   -> ST s a
stToIO            :: ST s a -> IO a

[project @ 1999-01-14 18:12:47 by sof]
Changes to make the Prelude comply with Haskell 98.

I claim that this completes GHC's implementation of Haskell 98 (at
least feature-wise, but there's bound to be some bugs lurking..)

[project @ 1999-01-14 18:08:26 by sewardj]
Minor Makefile mods.

[project @ 1999-01-14 17:58:41 by sof]
Assorted minor Haskell 98 changes:

  * Maximal munch rule for "--" comments
  * _ as lower-case letter, "_" is a reserved id. Prefixing unused
    variable names in patterns with '_' causes the renamer not to
    report such names as being unused.
  * allow empty decls
  * comprehensions are now list comprehensions, not monadic.
  * use Monad.fail to signal pattern matching errors within
    do expressions.
  * remove record punning.
  * empty contexts are now legal  (go wild!)
  * allow records with no fields
  * allow newtypes with a labelled field
  * default default is now (Integer, Double)
  * turn off defaulting mechanism for args & res to a _ccall_.
  * allow LHSs of the form  (a -.- b) x = ...
  * Main.main can now have type (IO a)
  * nuked Void (and its use in the compiler sources.)
  * deriving machinery for Enum now also generate 'succ' and 'pred'
    method bindings.

[project @ 1999-01-14 17:15:46 by simonm]
x86: only add -fomit-frame-pointer when compiling .hc files.  It gets
in the way of debugging for normal .c files.

[project @ 1999-01-14 17:01:30 by simonm]
- compile Happy with -O by default.

[project @ 1999-01-14 16:59:51 by sof]
Arrange for Makefile dependencies to be generated on misc
parser/ helper code.

[project @ 1999-01-14 16:57:07 by simonm]
Remove a couple of non-existent closure types.

[project @ 1999-01-14 16:55:16 by sof]
Added indexFS,

   indexFS :: FastString -> Int -> Char

[project @ 1999-01-14 14:43:46 by simonm]
Oops, stack check in PAP_entry was *completely* wrong.  Time for a
stack check audit.

[project @ 1999-01-14 14:35:04 by simonm]
- fix stack check in PAP_entry.

[project @ 1999-01-14 12:17:39 by sewardj]
Changed expected output to match new reality.

[project @ 1999-01-14 11:57:48 by sewardj]
When -DDEBUG, in BYTE_ARR_CTS, allow GET_INFO(a) to be
&MUT_ARR_WORDS_info as well as &ARR_WORDS_info.

[project @ 1999-01-14 11:11:29 by simonm]
- check failed_to_evac in scavenge_static.  We might have a static
  indirection (i.e. a CAF) that we can't evacuate to the oldest generation,
  so we have to put it back on the old generation mutable list.

With this change, a bootstrapped compiler now compiles the libraries
successfully.

[project @ 1999-01-14 10:49:01 by simonm]
- Don't forget to set failed_to_evac when evacuating a THUNK_SELECTOR
- Fix GC counting

[project @ 1999-01-13 18:16:37 by sewardj]
Changed expected output to reflect new reality.

[project @ 1999-01-13 17:25:37 by simonm]
Added a generational garbage collector.

The collector is reliable but fairly untuned as yet.  It works with an
arbitrary number of generations: use +RTS -G<gens> to change the
number of generations used (default 2).

Stats: +RTS -Sstderr is quite useful, but to really see what's going
on compile the RTS with -DDEBUG and use +RTS -D32.

ARR_PTRS removed - it wasn't used anywhere.

Sanity checking improved:
- free blocks are now spammed when sanity checking is turned on
- a check for leaking blocks is performed after each GC.

[project @ 1999-01-13 16:47:26 by sewardj]
Code generated by implementTagToCon() gives a useful error message
in case of invalid arguments.

[project @ 1999-01-13 16:26:37 by simonm]
testing

[project @ 1999-01-13 11:06:24 by simonm]
Z-encodings for '/' and '.' were both 'Zd'.  Change '.' to 'Zs'.

[project @ 1999-01-12 14:13:51 by sewardj]
Added check target.

[project @ 1999-01-12 14:03:27 by sewardj]
Made FILE_OBJECT be defined for -D__HUGS__.
Changed .dll file refs to .so for -D__HUGS__.

[project @ 1999-01-12 13:45:10 by sewardj]
Created a Makefile for fptools/ghc/interpreter.

[project @ 1999-01-12 10:59:26 by sewardj]
Disabled nonblocking IO (the +128 for file flags) until missing prims
are implemented.

[project @ 1999-01-12 10:53:02 by sewardj]
Removed extraneous test following 'if ( fo->flags & FILEOBJ_NONBLOCKING_IO )'

[project @ 1999-01-11 10:15:04 by sof]
Fixed caching bug in FPTOOLS_END_{TEXT,DATA}_SECTION.

[project @ 1999-01-11 09:11:52 by sof]
Added new option -f, which forces the creation of 'todir' if it doesn't
already exist.

[project @ 1999-01-10 17:16:45 by sof]
Added definition of WithGhcHcVersion (but left commented out, as it's currently
unused.)

[project @ 1999-01-08 18:14:13 by sof]
mkdependHS: for "source" imports of the form, e.g.,

   import {-# SOURCE #-} Foo

emit dependency on Foo.hi-boot-<iface-file-version-number>
rather than just Foo.hi-boot if the former exists.

[project @ 1999-01-08 16:14:49 by simonm]
Generate static closures with float/double fields properly.

[project @ 1999-01-08 16:11:23 by simonm]
Fix endianness problems in info table generation.

[project @ 1999-01-08 15:36:58 by sewardj]
Added -fno-asm-mangling.

[project @ 1999-01-08 11:42:09 by simonm]
Add missing <p>

[project @ 1999-01-08 11:37:27 by simonm]
Doc changes for revised exception interface.

[project @ 1999-01-07 17:49:47 by kw217]
Add missing export of warnPprTrace (for WARN macro).

[project @ 1999-01-07 16:53:10 by simonpj]
Fix RnEnv.mkPrintUnqualFn

[project @ 1999-01-07 16:39:06 by simonm]
Revised interface to the exception library.  Docs to follow.

[project @ 1999-01-07 15:48:40 by simonm]
this file is NON_POSIX_SOURCE, since we use lstat.

[project @ 1999-01-07 15:42:33 by simonm]
#include <unistd.h> to get prototype for vfork.

[project @ 1999-01-07 14:54:42 by keithw]
Add missing pattern to tidyNote.

[project @ 1999-01-07 12:48:13 by simonpj]
Small changes to make the compiler boot itself

[project @ 1999-01-07 12:47:34 by simonpj]
Add debug macro WARN

[project @ 1999-01-07 11:18:22 by simonm]
New rev5 hi-boot file.

[project @ 1999-01-07 11:13:29 by simonm]
Sync up with .hi-boot file.

[project @ 1999-01-06 15:55:03 by simonm]
Sort unboxed slots - part of the fix for large bitmaps.

[project @ 1999-01-06 12:27:47 by simonm]
Fixes to the large bitmap code.

[project @ 1999-01-06 12:15:35 by simonm]
Oops; committed wrong version.  Revert previous commit.

[project @ 1999-01-06 11:52:43 by simonm]
Fixes to the large bitmap code.

[project @ 1999-01-06 11:44:44 by simonm]
- check for silly stack sizes in the right place
- stub the link field of the running TSO (fixes a bug in the
  _ccall_GC support).

[project @ 1999-01-06 11:35:27 by simonm]
trim import

[project @ 1999-01-06 11:29:44 by simonm]
updates

[project @ 1999-01-05 12:22:08 by simonpj]
Fix renamer crash on bootstrap build

[project @ 1998-12-24 14:46:18 by simonpj]
Fix simplifier bug that forgot mkRhsTyLam

[project @ 1998-12-23 12:33:52 by simonm]
A couple of small additions.

[project @ 1998-12-23 12:26:00 by simonm]
Add strictness for fork# and par#.

[project @ 1998-12-23 12:12:19 by simonm]
Update for version 4.02

[project @ 1998-12-23 10:24:06 by simonpj]
Fix strictness of NewArrayOp and NewMutVarOp in PrimOp.lhs

[project @ 1998-12-22 18:52:04 by simonm]
Filter out type arguments when analysing primops.

[project @ 1998-12-22 18:03:27 by simonm]
Another fix for getScrutineeTyCon: ignore Fun tycons.

[project @ 1998-12-22 17:00:11 by simonm]
Remove overlapped case correctly spotted by GHC.

[project @ 1998-12-22 16:31:28 by simonpj]
1.  Add primOpStrictness to PrimOp.lhs, and use it in
- the strictness analyser
- the simplifier
    to deal correctly with PrimOps that are non-strict.

   ToDo: use this new facility to clean up SeqOp, ParOp.

2. Fix the instance-decl-import bug, but printing de-synonym'd types
   in interface files.

3. Make the simplifier treat applications with an unlifted-type arg
   in the same way it would if the function was strict
   (in rebuild_strict)

[project @ 1998-12-22 12:55:54 by simonm]
splitAlgTyConAppThroughNewTypes becomes splitTyConAppThroughNewTypes
(i.e. it handles primitive types in addition to other TyCons).  This
enables case-of-case-of-primop to compile correctly.

[project @ 1998-12-22 10:47:43 by simonm]
Update .hi-boot files (Expr only takes one parameter and Var has none).

[project @ 1998-12-21 12:09:32 by simonpj]
Add PprType.hi-boot; used only for error messages in Type.lhs

[project @ 1998-12-21 10:45:36 by simonpj]
Add utils/Panic.lhs

[project @ 1998-12-21 09:43:43 by simonpj]
Remove Eval altogether

[project @ 1998-12-21 09:41:09 by simonpj]
Forgot to commit PrelGHC.hi-boot; changes to syntax of open kind in CCallable

[project @ 1998-12-21 09:39:56 by simonpj]
Forgot to commit changes to interface file munging in ghc-iface.lprl

[project @ 1998-12-21 09:37:54 by simonpj]
Fix two minor typechecker bugs

[project @ 1998-12-18 17:40:31 by simonpj]
Another big commit from Simon.  Actually, the last one
didn't all go into the main trunk; because of a CVS glitch it
ended up in the wrong branch.

So this commit includes:

* Scoped type variables
* Warnings for unused variables should work now (they didn't before)
* Simplifier improvements:
- Much better treatment of strict arguments
- Better treatment of bottoming Ids
- No need for w/w split for fns that are merely strict
- Fewer iterations needed, I hope
* Less gratuitous renaming in interface files and abs C
* OccName is a separate module, and is an abstract data type

I think the whole Prelude and Exts libraries compile correctly.
Something isn't quite right about typechecking existentials though.

[project @ 1998-12-15 13:08:03 by simonm]
add missing file.

[project @ 1998-12-15 09:41:57 by simonm]
add missing file from the merge.  The ghc-4-01 tag will be added.

[project @ 1998-12-14 14:57:28 by simonm]
fix out of date references to header files.

[project @ 1998-12-10 08:54:18 by simonpj]
This massive commit is what Simon has been up to for a couple of weeks.

1.  Scoped type variables are in

2.  The typechecker works a bit differently.
    In partiular, the compiler no longer has TcTyVars of
a different type than TyVars.
    All the 's' and 'flexi' type parameters have vanished from Id, TyVar,
Type, etc.
    The typchecker monad is now in the IO world (though I didn't get
around to removing the 's' parameter from the monad, but it's
no longer used)

    Bottom line: significantly simpler,
 fewer gratuitous conversions from TcType <-> Type
 but less type security in the compiler

    There was a reason for doing this now; somehow the 's' stuff
    got in the way of kind inference for scoped type variables
    and I lost patience with it.

3.  Haskell98-style reporting of scope errors; i.e. you only get
    an error if you use a variable that could mean two different things.
    At the same time I did a lot of tidying-up in the renamer.

4.  Mostly-complete fix to the reporting of unused variables, which
    has never worked properly.  (The 'mostly' bit is because it reports
    those 'system' tycons like _C as unused.  I'm on the job.)

5.  The parser is a bit tider than it was.  A few more ugn files give
    a more refined C data type.  I had to tackle this because of
    the scoped type variables.

6.  Haskell98-style fixities.  Fixity decls can occur wherever a type
    signature can

7.  Some HsSyn changes that constitute minor tidy ups
Put TypeDecl and ClassDecl into one type [HsDecls]
Improved the HsMatch/GRHSs etc data types.

8.  TcGRHSs is removed; combined into TcMatches.

I DO NOT PROMISE THAT ALL OF THIS WORKS.  It compiles the Prelude,
but I have not tested it more than that.  Stick to 4.01 if you want a
compiler that's sure to work.

[project @ 1998-12-09 17:52:09 by sof]
Added unpackCStringST - unmarshal C strings promptly

[project @ 1998-12-09 17:19:35 by simonm]
- backout rev 1.11 (spammed rev 1.10)
- slide ghc-4-01 tag forward

[project @ 1998-12-09 17:09:50 by sof]
Stubs for implementing System.getArgs

[project @ 1998-12-03 17:23:30 by simonm]
Inline PrimOps (inc. _c{call,asm}_GC_): load the arguments into
temporaries early, just in case one of the arguments is in the spot on
the stack where we want to push the return address.

[project @ 1998-12-03 15:24:08 by simonm]
merge from 4.01

[project @ 1998-12-03 15:14:08 by simonm]
bring in correct version

[project @ 1998-12-03 14:37:43 by simonm]
oops, wrong version of gmp.h

[project @ 1998-12-03 11:40:05 by simonm]
Oops, accidentally downgraded these files in the previous commit.

[project @ 1998-12-03 11:34:54 by simonm]
update

[project @ 1998-12-02 13:17:09 by simonm]
Move 4.01 onto the main trunk.

[project @ 1998-11-26 09:17:22 by sof]
don't include the non-conflict files that CVS leaves behind in the build tree

[project @ 1998-11-25 16:44:05 by simonm]
add simple IORef test.

[project @ 1998-11-25 16:20:14 by simonm]
4.01 update

[project @ 1998-11-24 21:28:00 by reid]
Merge from HEAD

[project @ 1998-11-24 11:22:47 by sof]
Re-install hack which fixes 'leading underscore' feature test under cygwin32

[project @ 1998-11-24 10:27:01 by sof]
Emit soothing msg to counter the (harmless) autoconf warning that is output while processing AC_C_BIGENDIAN

[project @ 1998-11-23 15:44:21 by sof]
Extend hConnectTo to also allow output handles to be connected, i.e.,

    h1 <- openFile "foo" WriteMode
    h2 <- openFile "bar" WriteMode
    hConnectTo h1 h2

  will cause h1's buffer to be flushed when h2's buffer overflows
  (and it is just about to be flushed.) The implementation is currently
  not as lazy as that, it flushes h1's buffer regardless of whether h2's
  buffer overflows or not.

  This is used to connect 'stderr' and 'stdout', i.e., output on
  'stderr' will now cause 'stdout' output to (first) be flushed.

[project @ 1998-11-23 11:51:52 by sof]
Default GhcReportCompiles to NO