[project @ 2001-07-23 22:19:59 by ken]
Grab the latest versions of config.guess and config.sub from GNU.

[project @ 2001-07-23 21:31:00 by sof]
ranlib gmp/libgmp.a - needed for a.out plats (OpenBSD in particular).

[project @ 2001-07-23 20:19:53 by sof]
Handle leading underscores for PrelMain undefineds

[project @ 2001-07-23 18:25:48 by sof]
Get rid off DEBUG - prev commit didn't attack the real problem

[project @ 2001-07-23 17:28:33 by simonmar]
Back out change that tried to sneak in with the new garbage collector.

[project @ 2001-07-23 17:23:19 by simonmar]
Add a compacting garbage collector.

It isn't enabled by default, as there are still a couple of problems:
there's a fallback case I haven't implemented yet which means it will
occasionally bomb out, and speed-wise it's quite a bit slower than the
copying collector (about 1.8x slower).

Until I can make it go faster, it'll only be useful when you're
actually running low on real memory.

'+RTS -c' to enable it.

Oh, and I cleaned up a few things in the RTS while I was there, and
fixed one or two possibly real bugs in the existing GC.

[project @ 2001-07-23 16:27:41 by simonpj]
Wibble

[project @ 2001-07-23 16:16:47 by sof]
Mismatched module name in non-DEBUG case

[project @ 2001-07-23 15:11:55 by simonmar]
Grrr.  Do not #include "Stg.h" in plain C code, because that enables
all the global register variables.  #include "Rts.h" directly instead.

This was correct in the original StgLongLong.c, why on earth it was
changed is beyond me.

[project @ 2001-07-23 13:49:49 by simonmar]
add a couple of missing ';'

[project @ 2001-07-23 11:44:15 by qrczak]
import qualified Demand

[project @ 2001-07-23 10:54:46 by simonpj]
---------------------------------
Switch to the new demand analyser
---------------------------------

This commit makes the new demand analyser the main beast,
with the old strictness analyser as a backup.  When
DEBUG is on, the old strictness analyser is run too, and the
results compared.

WARNING: this isn't thorougly tested yet, so expect glitches.
Delay updating for a few days if the HEAD is mission critical
for you.

But do try it out.  I'm away for 2.5 weeks from Thursday, so
it would be good to shake out any glaring bugs before then.

[project @ 2001-07-23 10:48:56 by simonpj]
block/unblockAsynchExns have arity 2

[project @ 2001-07-23 10:47:16 by simonmar]
Small changes to improve GC performance slightly:

  - store the generation *number* in the block descriptor rather
    than a pointer to the generation structure, since the most
    common operation is to pull out the generation number, and
    it's one less indirection this way.

  - cache the generation number in the step structure too, which
    avoids an extra indirection in several places.

[project @ 2001-07-23 10:43:42 by simonmar]
The real version of this file is in ghc/includes/.

[project @ 2001-07-23 10:43:18 by simonmar]
merge in changes from rts/Linker.h

[project @ 2001-07-23 10:42:37 by simonmar]
Small fixes to the help text for the -i heap profiling interval option.

[project @ 2001-07-23 10:24:57 by simonpj]
Yet another newtype-squashing bug; this time TcType.unifyTyX

[project @ 2001-07-22 03:28:25 by chak]
ELF_TARGET_386 has to be #defined for x86/Solaris.

[project @ 2001-07-22 03:19:51 by chak]
Solaris system headers contain function definitions (not just prototypes) for
some functions; eg, stat().  WDP decided to toss (some of) them out during
mangling.  I think, this is wrong, as the list of these functions changes with
varying Solaris releases and it makes foreign importing these functions more
complicated; in particular, it broke Directory.hsc and PosixFiles on
x86/Solaris.

[project @ 2001-07-21 19:08:44 by sof]
ghc-inplace.bat: COMMAND.COM doesn't support %*, fall back to using %[1-9]

[project @ 2001-07-21 11:38:19 by simonmar]
make ==> $(MAKE)

[project @ 2001-07-20 16:48:20 by simonpj]
This commit adds the very convenient function

  Subst.substTyWith :: [TyVar] -> [Type] -> Type -> Type

and uses it in various places.

[project @ 2001-07-20 16:47:55 by simonpj]
------------------------
More newtype squashing
------------------------

Recursive newtypes were confusing the worker/wrapper generator.
This is because I originally got rid of opaque newtypes altogether,
then put them back for recursive ones only, and forgot to reinstate
the cunning stuff in the w/w stuff.

(Discovered by Sigbjorn; thanks!)

[project @ 2001-07-20 15:22:21 by simonpj]
-----------------------
Get rid of ArityAtLeast
-----------------------

Now that we have CgInfo, with the exact code-generator arity
for the value, we don't need the distinction between ArityAtLeast
and ArityExactly in the ArityInfo field of an IdInfo.

This commit makes

type ArityInfo = Maybe Arity

and propagates this change consistently through the compiler.

[project @ 2001-07-20 10:09:32 by simonpj]
Third cut at the demand analyser; seems to work nicely now

[project @ 2001-07-20 10:08:56 by simonpj]
--------------------------------------------
Hack around an infelicity in the simplifier
-------------------------------------------

Use 3 iterations of the simplifier (instead of the previous 2)
because otherwise we land up with huge dead expressions.
Reason: an infelicity in the simpifier.

      let k = BIG in foldr k z xs
 ==>  let k = BIG in letrec go = \xs -> ...(k x).... in go xs
 ==>  let k = BIG in letrec go = \xs -> ...(BIG x).... in go xs
 Don't stop now!

I couldn't see an easy way to make the simplifier avoid this
big intermediate, so I hacked round it like this.

[project @ 2001-07-20 10:05:37 by simonpj]
--------------------------
Correct a bug in exprArity
--------------------------

This long-standing bug meant that exprArity gave over-pessimistic
answers.  e.g.

\x -> f x

where nothing is known about f.  We were getting

0 (for f)
-1 (for the argument)
+1 (for the lambda)
-----
0

The right answer is of course 1.

[project @ 2001-07-20 01:05:11 by sof]
lookupSymbol (PEi386-only): When chasing down a label in a DLL, try
removing the initial underscore (if any). I've prefixed the comment
next to the change with the label 'HACK', as I'm not sure whether
this is a name mangling operation you should always do when going
from the import library name to the DLL-bound thing.
(Julian, could you have a look?)

Fixes probs with 'foreign import'ing DLL-bound symbols.

[project @ 2001-07-20 00:44:33 by sof]
Since longlong prims are no longer in the RTS, extend RTS_MINGW_ONLY_SYMBOLS with some reqd libgcc syms

[project @ 2001-07-19 22:08:07 by sof]
More FPTOOLS_END_{TEXT,DATA}_SECTION fixes

[project @ 2001-07-19 20:27:23 by sof]
FPTOOLS_END_{TEXT,DATA}_SECTION: fix 'test -n' usage

[project @ 2001-07-19 15:34:39 by apt]
fix typo in double2IntLit

[project @ 2001-07-19 15:33:17 by apt]
external core: omit repn for recursive newtypes and fix char literals

[project @ 2001-07-19 15:32:05 by apt]
reinstate inlinings that are completely within an INLINE

[project @ 2001-07-19 14:23:16 by rrt]
More fixes to allow GHC to live in C:\Program Files

[project @ 2001-07-19 09:26:33 by simonpj]
Next cut at the demand analyser

[project @ 2001-07-19 09:26:08 by simonpj]
Move eqListBy to Util, and use it

[project @ 2001-07-19 09:24:56 by simonpj]
Output a slightly better message for -ddump-hi-diffs

[project @ 2001-07-19 09:03:24 by simonmar]
Fix a number of bugs in the autoconf setup, thanks to Gregory Wright
<gwright@packetstorm.com>.

[project @ 2001-07-19 09:01:40 by simonmar]
remove a vestige of the long-gone FLOATS_AS_DOUBLES

[project @ 2001-07-19 08:28:59 by andy]
import of hscThing needs to be conditional on GHCi status.

[project @ 2001-07-19 07:28:00 by andy]
Re-adding the -i flag for heap profiling.

The problem was that profiling forces 2-space collection,
and the census was done on *every* GC. Now, we still keep
the 2-space for profiling, but just do the census periodically,
according to a new flag, -i<secs>.

[project @ 2001-07-18 19:32:15 by sof]
Restrict ghc-4.xx breakage to mingw only; not an issue for other plats

[project @ 2001-07-18 16:06:10 by rrt]
Add support for Hugs's :info command. Doesn't work yet, but shouldn't
interfere with anything else. Some of the files touched are just to correct
out-of-date comments.

Highlights are:

hscThing: like hscStmt, but just gets info about a single identifier
cmInfoThing: exposes hscThing's functionality to the outside world

[project @ 2001-07-18 16:04:31 by rrt]
Fix typo (variable name wrong; wouldn't build)

[project @ 2001-07-17 23:02:14 by sof]
wibble - the joys of CVS conflict merging

[project @ 2001-07-17 21:12:33 by qrczak]
Include way in HSC_C_OBJS to clean *_hsc.p_o too.

[project @ 2001-07-17 18:47:52 by sof]
wibble

[project @ 2001-07-17 17:27:20 by sof]
Drop the dependency on the Win32 library, as it is only used in an
extremely limited way (a single 'foreign import' is all that's reqd)
[Sorry Reuben, I don't buy your 'extra deps are good' argument :-) ]

[project @ 2001-07-17 17:12:04 by sof]
runSomething: narrow down prev commit, only quote args under mingw;it interacts badly with -D quoting already done on other plats (and isn't reqd)

[project @ 2001-07-17 15:48:40 by simonpj]
Add comment and use backslash consistently

[project @ 2001-07-17 15:48:21 by simonpj]
Remove trace

[project @ 2001-07-17 15:28:30 by simonpj]
--------------------------------
First cut at the demand analyser
--------------------------------

This demand analyser is intended to replace the strictness/absence
analyser, and the CPR analyser.

This commit adds it to the compiler, but in an entirely non-invasive
way.

If you build the compiler without -DDEBUG,
you won't get it at all.

If you build the compiler with -DDEBUG,
you'll get the demand analyser, but the existing
strictness analyser etc are still there.  All the
demand analyser does is to compare its output with
the existing stuff and report differences.

There's no cross-module stuff for demand info yet.

The strictness/demand info is put the IdInfo as
newStrictnessInfo
newDemandInfo

Eventually we'll remove the old ones.

Simon

[project @ 2001-07-17 14:53:48 by rrt]
Reset the terminal on exit so that ghci doesn't leave it messed up. To see
what I mean, run ghci, then type :q RET, then su return, and start typing a
password. Alarming, isn't it?

This fix needs a patch to the Readline library (next commit).

[project @ 2001-07-17 14:51:53 by rrt]
Make -u's and symbols into separate args

[project @ 2001-07-17 14:48:04 by rrt]
1. Make GHC work with paths and filenames containing spaces (hopefully).
This is done by quoting all arguments sent to the shell. To avoid causing
problems, this means that each argument in a list had *better* be a single
argument, hence the next commit to PackageSrc.hs.

2. undosify the path passed as the -h argument to unlit, to make unlit work
on Windows again.

3. Fix getExecDir for Windows (broken by previous changes to the meaning of
-B).

[project @ 2001-07-17 09:55:09 by qrczak]
Typos in a comment. Whitespace at eols.

[project @ 2001-07-17 09:36:55 by qrczak]
Fix comment.

[project @ 2001-07-17 03:53:25 by qrczak]
Long long functions are no longer in the rts.

[project @ 2001-07-17 01:07:57 by sof]
w

[project @ 2001-07-16 21:01:58 by qrczak]
Follow the s/includes/include/ change in package.conf.

[project @ 2001-07-16 16:15:33 by simonpj]
Add ghc-usage.txt to install tree info

[project @ 2001-07-16 15:46:09 by sof]
GHC_INCLUDES => GHC_INCLUDE_DIR

[project @ 2001-07-16 14:04:42 by rrt]
Modify Windows installation instructions in accordance with the Way Of
The Future.

[project @ 2001-07-16 13:31:29 by simonpj]
Wibbles

[project @ 2001-07-16 12:46:04 by simonpj]
Fix markup bugs; add documentation about deprecations

[project @ 2001-07-16 11:43:17 by simonpj]
Add docs re installed file layout

[project @ 2001-07-16 11:29:22 by rrt]
Remove spurious space.

[project @ 2001-07-16 11:09:37 by rrt]
Don't add -I flag for Windows gcc's include files here; do it in
package.conf instead.

[project @ 2001-07-16 11:08:51 by rrt]
Add C includes path for Windows here rather than hardwiring into
SysTools.lhs. Change to include rather than includes.

[project @ 2001-07-16 10:48:42 by rrt]
Now assume that -B passes libdir, not libexecdir

[project @ 2001-07-16 10:29:42 by rrt]
Binaries now live in extra-bin

[project @ 2001-07-16 09:49:31 by rrt]
Fix binary finding for Unix

[project @ 2001-07-16 09:41:26 by simonpj]
Tidy up Type/TcType stuff in DsCCall/DsForeign

[project @ 2001-07-16 09:30:30 by rrt]
Set -DDLLized when DLLized is true for use in C source

[project @ 2001-07-16 09:23:24 by rrt]
Add stubs for ILXized cbits DLL.

Don't call resetNonBlockingFd when DLLized; this stops the cbits DLL
depending on the RTS, which ILX needs; it doesn't matter for Windows, as
that doesn't have non-blocking IO implemented anyway.

[project @ 2001-07-16 09:13:39 by rrt]
Fix DLL building, and add support for linking .hsc.o files into cbits libraries

[project @ 2001-07-16 09:11:44 by qrczak]
s/extra-bin/bin/ because this is where all programs are installed to.
Perhaps it should be changed the other way around - I don't know what
this extra-bin was supposed to be.

[project @ 2001-07-16 06:33:22 by qrczak]
Fix paths in installed hsc2hs driver.

[project @ 2001-07-16 00:43:56 by sof]
hscStmt: track changes made to the TC entry points typecheckExpr, typecheckStmt

[project @ 2001-07-16 00:39:04 by sof]
eqForeignPtr: implement equality using new primitive

[project @ 2001-07-14 00:06:13 by sof]
Heal HEID

- eqForeignObjZh in include/PrimOps.h didn't have quite the right
  shape (the result is a macro arg). hslibs/lang/ForeignObj
  wasn't up on the change to eqForeignObj now being a primop.

- recent ghc/compiler/deSugar/ changes broke the handling of
  CCall & FFI decls quite a bit. Backed out most the rewrites
  of Type.splitFoo to TcType.tcSplitFoo (i.e., now back to using
  TcType.tcSplitFoo).

  The backed-out newtype-related changes were by no means accidental.
  But, I don't profess to understand their intention to make the
  proper fix, so my change is just a stop-gap measure to get HEAD
  back to the land of the living.

- recent changes to the behaviour of 'hiding' & qualified names
  broke hslibs/lang/CString hslibs/data/edison/Seq/ListSeq,
  hslibs/data/edison/Coll/TestOrdBag, hslibs/data/edison/Coll/UnbalancedSet,
  hslibs/data/edison/Coll/TestOrdSet, hslibs/data/edison/Seq/TestSeq

- rename 64-bit 'primop' funs that now live in lib/std/cbits/longlong.c
  back to what they used to be called (i.e., prefixed with "stg_").
  Why?
     - less likely they'll clash with other (user supplied) entry points
       at link-time.
     - matches protos in ghc/includes/PrimOp.h

[project @ 2001-07-13 15:03:00 by simonmar]
add warning about not changing WhatGccIsCalled from build.mk.

[project @ 2001-07-13 15:01:28 by simonmar]
remove superfluous "return ()"

[project @ 2001-07-13 15:00:11 by simonmar]
error msg wibble

[project @ 2001-07-13 14:59:32 by simonmar]
check TMPDIR (got lost somewhere in the conversion to SysTools)

[project @ 2001-07-13 13:55:19 by rrt]
Don't build RTS for ILX

[project @ 2001-07-13 13:41:42 by rrt]
Improve comment

[project @ 2001-07-13 13:40:48 by rrt]
Function stubs for ILX

[project @ 2001-07-13 13:40:26 by rrt]
Add StgPrimFloat.c for ILX

[project @ 2001-07-13 13:29:56 by simonpj]
------------------------------------
Tidy up the "syntax rebinding" story
------------------------------------

I found a bug in the code that dealt with re-binding implicit
numerical syntax:
literals  (fromInteger/fromRational)
negation (negate)
n+k patterns (minus)

This is triggered by the -fno-implicit-prelude flag, and it
used to be handled via the PrelNames.SyntaxMap.

But I found a nicer way to do it that involves much less code,
and doesn't have the bug.  The explanation is with
RnEnv.lookupSyntaxName

[project @ 2001-07-13 11:50:46 by rrt]
Need to add -Icbits even for ILX

[project @ 2001-07-13 11:48:52 by rrt]
Don't use relative #include paths, as these files will be compiled from
inside cbits (they're now linked into the cbits library). All paths on which
include files may be found must now be given with -I directives.

[project @ 2001-07-13 11:39:48 by rrt]
Make eqForeignObj a primop; N.B. Not implemented for the NCG

[project @ 2001-07-13 11:11:34 by rrt]
Explain why errno is imported via a function

[project @ 2001-07-13 11:03:47 by rrt]
Move 64-bit arithmetic support into std_cbits; there's no reason for it to
be in the RTS.

[project @ 2001-07-12 16:25:32 by sof]
ppFilesFromSummaries: to cope with recent driver changes,
only report a file as being preprocessed if it differs from
the source file(name).

Fixes awfully bad breakage when using --make (source files
were being deleted).

[project @ 2001-07-12 16:24:49 by simonpj]
Remove DsHsSyn; really part of my previous commit

[project @ 2001-07-12 16:21:22 by simonpj]
--------------------------------------------
Fix another bug in the squash-newtypes story.
--------------------------------------------

[This one was spotted by Marcin, and is now enshrined in test tc130.]

The desugarer straddles the boundary between the type checker and
Core, so it sometimes needs to look through newtypes/implicit parameters
and sometimes not.  This is really a bit painful, but I can't think of
a better way to do it.

The only simple way to fix things was to pass a bit more type
information in the HsExpr type, from the type checker to the desugarer.
That led to the non-local changes you can see.

On the way I fixed one other thing.  In various HsSyn constructors
there is a Type that is bogus (bottom) before the type checker, and
filled in with a real type by the type checker.  In one place it was
a (Maybe Type) which was Nothing before, and (Just ty) afterwards.
I've defined a type synonym HsTypes.PostTcType for this, and a named
bottom value HsTypes.placeHolderType to use when you want the bottom
value.