[project @ 1999-07-01 12:30:06 by simonmar]
Make this more Haskell 1.3-insensitive

[project @ 1999-06-30 11:29:53 by simonmar]
Allow the following (not strictly H98) construct:

    do
blah
e $ do
blah

This doesn't break any existing code, just allows more programs
through.  Only the semantics for layout after a 'do' have changed.

[project @ 1999-06-30 09:49:55 by simonpj]
Add a test for deriving Show (f (f a)); makes Hugs hang

[project @ 1999-06-30 09:43:57 by simonpj]
Make the r.u.n message happen only with -DDEBUG

[project @ 1999-06-29 14:18:14 by simonmar]
Back out a change that creeped in by mistake.

[project @ 1999-06-29 14:15:32 by simonmar]
Clean out objects generated from assembly files.

[project @ 1999-06-29 13:04:38 by panne]
Made the compilation of the RTS almost warning-free and improved the
output of some "barf"s in the garbage collector . This is part of my
epic crusade against "scavenge_mut_list: strange object?"... :-(

[project @ 1999-06-29 12:00:42 by simonmar]
Suppress warnings by making some static symbols extern.  Sigh.

[project @ 1999-06-29 08:40:32 by kglynn]
Someone with a big stick told me to remove -ddump-cpranalyse
Use -ddump-cpranal instead.

[project @ 1999-06-29 06:26:37 by kglynn]
CPR Analysis Mark 2. Slightly more elegant,  and (I believe) now
copes correctly with references to CAFS and non-top level function
bindings.

[project @ 1999-06-29 05:13:30 by kglynn]
(keving)

Add dump-cpranal to agree with the users_guide.  dump-cpranalyse will
still work but is deprecated and could be removed by someone with
a bigger stick than me.

[project @ 1999-06-28 16:42:22 by simonmar]
Back out changes for "specialid"s.  It didn't work this way: there was
a conflict in the grammar.

[project @ 1999-06-28 16:40:18 by simonpj]
Add explanatory comments

[project @ 1999-06-28 16:35:56 by simonpj]
Fix SetLevels so that it does not clone top-level bindings, but it
*does* clone bindings that are destined for the top level.

The global invariant is that the top level bindings are always
unique, and never cloned.

[project @ 1999-06-28 16:33:17 by simonpj]
Some renamer fixes

* Correct the defn of Rename.isOrphanRule (caused a Sergey bug)

* Tidy up the Rename.implicitFVs stuff

[project @ 1999-06-28 16:32:00 by simonpj]
Propagate changes for tcSimplifyToDicts

[project @ 1999-06-28 16:31:09 by simonpj]
Reduce renamer warnings

[project @ 1999-06-28 16:29:45 by simonpj]
* Add Type.repType

* Re-express splitRepTyConApp_maybe using repType

* Use the new repType in Core2Stg

The bug was that we ended up with a binding like
let x = /\a -> 3# +# y
in ...
and this should turn into an STG case, but the big lambda
fooled the core-to-STG pass

[project @ 1999-06-28 16:27:27 by simonpj]
Improve common sub-expression stuff
- better hash function
- add Const.isBoxedDataCon, and use it in CSE
- don't CSE for nullary constructors

[project @ 1999-06-28 16:23:28 by simonpj]
Fix lost specialisations.  There were two problems

{-# SPECIALISE f :: Int -> Rational #-}
fromIntegral =  fromInteger . toInteger

This generates

fromIntegral_spec = fromIntegral d

for some suitable dictionary d.  But since fromIntegral is small,
it got inlined into fromIntegral_spec, thus losing the specialised
call (fromIntegral d) that was the whole raison d'etre of fromIntegral_spec.
Haskish solution: add an inlne pragma for the _spec things:

fromIntegral_spec = _inline_me (fromIntegral d)

Now we won't inline inside.  But this showed up a related problem.  The
typechecker tries to common up overloaded things, so it actually generates

m = fromIntegral d
fromIntegral_spec = _inline_me m

which is pretty stupid.  Using tcSimplifyToDicts (instead of tcSimplify)
in TcBinds.tcSpecSigs fixes this.

[project @ 1999-06-28 15:43:12 by simonmar]
a couple more weird cases for lexing of qualified names.

[project @ 1999-06-28 15:42:33 by simonmar]
Fix some pretty subtle bugs in the lexing of qualified names.

[project @ 1999-06-28 15:16:59 by simonmar]
writeHandle has been removed.

[project @ 1999-06-28 12:15:57 by simonmar]
Move -fwarn-unused-{binds,matches} back into -W (two votes for, one
against).

[project @ 1999-06-28 10:41:06 by simonmar]
nit-picking lexical tests for M.<reservedid> and M.<specialid>

[project @ 1999-06-28 10:04:18 by simonmar]
Jump to the join point when returning a new constructor to a bind
default.  Fixes:  recent panic in mkStaticAlgReturnCode.

[project @ 1999-06-28 10:01:04 by simonmar]
Don't treat GHC extension keywords as such when recognising qualified
varids.  This is a quick fix for the bug that M.label isn't recognised
as a qvarid with -fglasgow-exts on.

[project @ 1999-06-28 08:27:25 by simonmar]
Don't attempt to close stdin or stdout.  From Kevin Atkinson
<kevinatk@home.com>.

[project @ 1999-06-25 16:52:48 by sof]
Document the SocketPrim.PortNumber type

[project @ 1999-06-25 14:38:54 by simonmar]
'do' expressions must have a non-empty list of statements.

[project @ 1999-06-25 14:10:03 by simonmar]
Fix some race holes in the handle locking code, and clean it up a little.

[project @ 1999-06-25 12:26:27 by keithw]
Fix `defined but not used' warning to omit *all* identifiers beginning
with underscore, not just top-level ones, following Haskell report.

[project @ 1999-06-25 11:45:24 by keithw]
Rescue UsageSP analysis from bit-rot.

[project @ 1999-06-25 10:29:30 by panne]
Resurrect -funfold-casms-in-hi-file and probably make Sigbjorn go wild
:-)

[project @ 1999-06-25 10:23:08 by panne]
Readline needs Posix stuff

[project @ 1999-06-25 10:09:19 by panne]
Make -optc-DDEBUG work again

[project @ 1999-06-25 09:54:28 by panne]
Just a small test for my CVS setup: Changed two references to ghc-4.03
to ghc-4.04

[project @ 1999-06-25 09:18:49 by simonmar]
+RTS -s gives summary statistics only.

[project @ 1999-06-25 09:17:58 by simonmar]
Some fixes to the TICK_ macros in raiseAsync.

[project @ 1999-06-25 09:16:46 by simonmar]
Set context_switch to 1 after scheduling a signal handler.  This will
ensure the running thread is interrupted as soon as possible.

[project @ 1999-06-25 09:14:54 by simonmar]
Comment about TABLES_NEXT_TO_CODE.

[project @ 1999-06-25 09:13:37 by simonmar]
New define: TABLES_NEXT_TO_CODE says whether info tables are assumed
to reside just before the code for a function.   We used to use
USE_MINIINTERPRETER for this function, but it makes sense in certain
cases to separate the use of tail-calls from tables-next-to-code.

StgMacros: add a couple of missing macros to support update in place.

[project @ 1999-06-24 14:10:18 by simonmar]
Install the LICENSE file.

[project @ 1999-06-24 14:09:16 by simonmar]
It's about time

[project @ 1999-06-24 13:10:31 by simonmar]
Reinstate per-function entry counts in ticky-ticky profiles.

[project @ 1999-06-24 13:05:53 by simonmar]
Increase stack for ParseIface a bit.

[project @ 1999-06-24 13:04:13 by simonmar]
- Implement update-in-place in certain very specialised circumstances
- Clean up abstract C a bit
- Speed up pretty-printing absC a bit.

[project @ 1999-06-24 12:51:36 by simonpj]
Switch on -fwarn-unused-binds and -fwarn-unused-matches by default; Sergeys suggestion

[project @ 1999-06-24 12:49:26 by simonmar]
Fix non-compiling code

[project @ 1999-06-24 12:27:58 by simonmar]
Some fixes to this (still non-working) pass.

[project @ 1999-06-24 12:27:11 by simonmar]
The decision to not make a static closure should only be taken for
top-level bindings.

[project @ 1999-06-24 12:25:58 by simonmar]
Minor cleanup

[project @ 1999-06-24 11:28:26 by simonpj]
Nuke -fcase-elim; sometimes things fail if you dont have it (Sergeys message)

[project @ 1999-06-23 15:30:59 by simonmar]
print minInt as (mintInt+1)-1, to avoid gcc's conversion to unsigned.

[project @ 1999-06-23 14:39:07 by simonmar]
Bump version to 4.04 (to avoid confusion with already released 4.03
for Win32).

[project @ 1999-06-23 10:44:59 by simonmar]
Don't inline strLength, it causes gcc to run out of registers.

[project @ 1999-06-23 10:42:07 by simonmar]
Test for pattern type signatures.

[project @ 1999-06-23 10:38:13 by simonmar]
Make scoped type variables work.

[project @ 1999-06-23 10:33:03 by simonmar]
rename -ddump-rdr to -ddump-parsed, and make it work.

[project @ 1999-06-22 16:32:42 by simonpj]
Add HsBinds.isPragSig

[project @ 1999-06-22 16:31:57 by simonpj]
Do CSE right after a simplification pass; needs no-shadowing invariant

[project @ 1999-06-22 16:31:19 by simonpj]
Pragmas for default decls

[project @ 1999-06-22 16:30:53 by simonpj]
Add common sub-expression

[project @ 1999-06-22 16:30:06 by simonpj]
Remove exponential simplifier run-time bug

[project @ 1999-06-22 07:59:54 by simonpj]
Many small tuning changes

[project @ 1999-06-21 13:12:43 by simonmar]
Up heap size for Parser.hs a bit more.

[project @ 1999-06-18 13:09:36 by simonmar]
Up the heap/stack for Parser.hs a bit.

[project @ 1999-06-18 13:06:33 by simonmar]
Literate tidyups from Wolfram.

[project @ 1999-06-18 13:02:13 by simonmar]
Typo from Wolfram.

[project @ 1999-06-17 09:51:16 by simonmar]
Comment cleanup and literisation(?) by Wolfram Kahl <kahl@DI.Unipi.IT>.

[project @ 1999-06-16 09:59:16 by simonmar]
Urk, more fixes.  This thing *really* needs to be taken out and shot.

[project @ 1999-06-16 09:48:00 by simonmar]
Fix for default unregisterised builds.

[project @ 1999-06-16 09:33:10 by simonmar]
Make use of the $(GhcWithRegisterised) build flag from config.mk.  You
can now get an unregisterised build by *either*

- setting GhcWithRegisterised to NO in build.mk, or
- adding 'u' to GhcLibWays.

The former will make all compilations unregisterised, whereas the
latter will require a '-unreg' flag to be passed to the compiler to
get the unregisterised build.

[project @ 1999-06-15 10:23:38 by simonmar]
Test for Richard Reid's bug:  syntax C{} for constructing C with all fields set
to bottom.

[project @ 1999-06-15 10:20:50 by simonmar]
Allow the syntax C{} for building an unlabelled constructor C and
setting all of C's fields to bottom.  The Haskell report is a bit
vague on whether this is legal, but it turns out to be quite easy to
support.

[project @ 1999-06-14 12:38:37 by simonmar]
build Posix before Misc.

[project @ 1999-06-14 11:17:12 by simonmar]
Don't rely on bad implementation of 'sum', now that we don't have one
:)

[project @ 1999-06-14 11:11:29 by simonmar]
Allow ``...'' as argument of __casm.

[project @ 1999-06-14 10:36:51 by simonmar]
Don't chop off the last character of the buffer.

[project @ 1999-06-14 10:34:50 by simonmar]
tcrun004 uses existentials, needs -fglasgow-exts.

[project @ 1999-06-14 10:05:19 by simonmar]
Forgot 'forall' and 'foreign' as possible variable names.

[project @ 1999-06-14 09:49:26 by simonmar]
Oops, forgot that the memory returned from realloc could have moved.

[project @ 1999-06-14 09:31:16 by simonpj]
Add tcfail082.stderr

[project @ 1999-06-14 09:29:01 by simonpj]
Accept some test changes; add tcfail082, read021

[project @ 1999-06-14 08:31:41 by sof]
prescript wibble

[project @ 1999-06-12 16:17:23 by keithw]
K&R -> ANSI token pasting (ie, x##y for x/**/y)

[project @ 1999-06-11 16:10:18 by simonmar]
- add a test for non-parsing of strict newtype constructor fields
- other small fixes

[project @ 1999-06-11 11:26:20 by simonpj]
Missing case in collectTypedPatBinders; Andreas Marth bug report

[project @ 1999-06-09 16:59:31 by simonmar]
Add a few SPECIALISE/INLINE pragmas.

[project @ 1999-06-09 16:14:55 by simonmar]
- Recognise #-} as the end-of-pragma symbol even when -fglsagow-exts
  is off.  Certain pragmas are Haskell (like {-# OPTIMIZE #-} :-)
  and some aren't, so we're not really Haskell compliant here.

- Fix case-insensitive pragma matching.

[project @ 1999-06-09 14:28:37 by simonmar]
Move some code around to reduce the linkage between CgMonad and CgBindery,
and make the .hi-boot-5 file compatible with both 4.02 and 4.03.

[project @ 1999-06-09 14:27:38 by simonmar]
Remove debugging trace that sneaked in.

[project @ 1999-06-09 11:23:20 by simonmar]
Fix qvarid bug.

[project @ 1999-06-09 10:42:14 by simonmar]
Use ClosureInfo.hi-boot instead of ClosureInfo.hi (which might not be
built yet).

[project @ 1999-06-09 09:35:54 by simonpj]
Lots of small fixes to ghc/tests

[project @ 1999-06-08 16:46:44 by simonpj]
Small fixes, including a significant full-laziness bug in OccurAnal

[project @ 1999-06-08 16:06:04 by simonmar]
Update the comment for buildLivenessMask to match reality.

[project @ 1999-06-08 15:56:44 by simonmar]
Allow reserving of stack slots for non-pointer data (eg. cost
centres).  This means the previous hacks to keep the stack bitmaps
correct in the presence of cost centres are now unnecessary, and
case-of-case expressions will be compiled properly with profiling on.

[project @ 1999-06-08 10:28:58 by simonmar]
Pass -unreg for unregisterized builds.

[project @ 1999-06-08 10:26:39 by simonmar]
Fix ifdef INTERPRETER code fragment.