simonm [Thu, 7 Jan 1999 11:18:22 +0000 (11:18 +0000)]
[project @ 1999-01-07 11:18:22 by simonm]
New rev5 hi-boot file.
simonm [Thu, 7 Jan 1999 11:13:29 +0000 (11:13 +0000)]
[project @ 1999-01-07 11:13:29 by simonm]
Sync up with .hi-boot file.
simonm [Wed, 6 Jan 1999 15:55:03 +0000 (15:55 +0000)]
[project @ 1999-01-06 15:55:03 by simonm]
Sort unboxed slots - part of the fix for large bitmaps.
simonm [Wed, 6 Jan 1999 12:27:47 +0000 (12:27 +0000)]
[project @ 1999-01-06 12:27:47 by simonm]
Fixes to the large bitmap code.
simonm [Wed, 6 Jan 1999 12:15:35 +0000 (12:15 +0000)]
[project @ 1999-01-06 12:15:35 by simonm]
Oops; committed wrong version. Revert previous commit.
simonm [Wed, 6 Jan 1999 11:52:43 +0000 (11:52 +0000)]
[project @ 1999-01-06 11:52:43 by simonm]
Fixes to the large bitmap code.
simonm [Wed, 6 Jan 1999 11:44:44 +0000 (11:44 +0000)]
[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).
simonm [Wed, 6 Jan 1999 11:35:27 +0000 (11:35 +0000)]
[project @ 1999-01-06 11:35:27 by simonm]
trim import
simonm [Wed, 6 Jan 1999 11:29:44 +0000 (11:29 +0000)]
[project @ 1999-01-06 11:29:44 by simonm]
updates
simonpj [Tue, 5 Jan 1999 12:22:12 +0000 (12:22 +0000)]
[project @ 1999-01-05 12:22:08 by simonpj]
Fix renamer crash on bootstrap build
simonpj [Thu, 24 Dec 1998 14:46:18 +0000 (14:46 +0000)]
[project @ 1998-12-24 14:46:18 by simonpj]
Fix simplifier bug that forgot mkRhsTyLam
simonm [Wed, 23 Dec 1998 12:33:52 +0000 (12:33 +0000)]
[project @ 1998-12-23 12:33:52 by simonm]
A couple of small additions.
simonm [Wed, 23 Dec 1998 12:26:00 +0000 (12:26 +0000)]
[project @ 1998-12-23 12:26:00 by simonm]
Add strictness for fork# and par#.
simonm [Wed, 23 Dec 1998 12:12:23 +0000 (12:12 +0000)]
[project @ 1998-12-23 12:12:19 by simonm]
Update for version 4.02
simonpj [Wed, 23 Dec 1998 10:24:06 +0000 (10:24 +0000)]
[project @ 1998-12-23 10:24:06 by simonpj]
Fix strictness of NewArrayOp and NewMutVarOp in PrimOp.lhs
simonm [Tue, 22 Dec 1998 18:52:04 +0000 (18:52 +0000)]
[project @ 1998-12-22 18:52:04 by simonm]
Filter out type arguments when analysing primops.
simonm [Tue, 22 Dec 1998 18:03:27 +0000 (18:03 +0000)]
[project @ 1998-12-22 18:03:27 by simonm]
Another fix for getScrutineeTyCon: ignore Fun tycons.
simonm [Tue, 22 Dec 1998 17:00:11 +0000 (17:00 +0000)]
[project @ 1998-12-22 17:00:11 by simonm]
Remove overlapped case correctly spotted by GHC.
simonpj [Tue, 22 Dec 1998 16:31:39 +0000 (16:31 +0000)]
[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)
simonm [Tue, 22 Dec 1998 12:55:55 +0000 (12:55 +0000)]
[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.
simonm [Tue, 22 Dec 1998 10:47:45 +0000 (10:47 +0000)]
[project @ 1998-12-22 10:47:43 by simonm]
Update .hi-boot files (Expr only takes one parameter and Var has none).
simonpj [Mon, 21 Dec 1998 12:09:32 +0000 (12:09 +0000)]
[project @ 1998-12-21 12:09:32 by simonpj]
Add PprType.hi-boot; used only for error messages in Type.lhs
simonpj [Mon, 21 Dec 1998 10:45:36 +0000 (10:45 +0000)]
[project @ 1998-12-21 10:45:36 by simonpj]
Add utils/Panic.lhs
simonpj [Mon, 21 Dec 1998 09:43:44 +0000 (09:43 +0000)]
[project @ 1998-12-21 09:43:43 by simonpj]
Remove Eval altogether
simonpj [Mon, 21 Dec 1998 09:41:09 +0000 (09:41 +0000)]
[project @ 1998-12-21 09:41:09 by simonpj]
Forgot to commit PrelGHC.hi-boot; changes to syntax of open kind in CCallable
simonpj [Mon, 21 Dec 1998 09:39:56 +0000 (09:39 +0000)]
[project @ 1998-12-21 09:39:56 by simonpj]
Forgot to commit changes to interface file munging in ghc-iface.lprl
simonpj [Mon, 21 Dec 1998 09:37:55 +0000 (09:37 +0000)]
[project @ 1998-12-21 09:37:54 by simonpj]
Fix two minor typechecker bugs
simonpj [Fri, 18 Dec 1998 17:42:39 +0000 (17:42 +0000)]
[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.
simonm [Tue, 15 Dec 1998 13:08:03 +0000 (13:08 +0000)]
[project @ 1998-12-15 13:08:03 by simonm]
add missing file.
simonm [Tue, 15 Dec 1998 09:41:57 +0000 (09:41 +0000)]
[project @ 1998-12-15 09:41:57 by simonm]
add missing file from the merge. The ghc-4-01 tag will be added.
simonm [Mon, 14 Dec 1998 14:57:28 +0000 (14:57 +0000)]
[project @ 1998-12-14 14:57:28 by simonm]
fix out of date references to header files.
simonpj [Thu, 10 Dec 1998 08:54:19 +0000 (08:54 +0000)]
[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.
sof [Wed, 9 Dec 1998 17:52:09 +0000 (17:52 +0000)]
[project @ 1998-12-09 17:52:09 by sof]
Added unpackCStringST - unmarshal C strings promptly
simonm [Wed, 9 Dec 1998 17:19:35 +0000 (17:19 +0000)]
[project @ 1998-12-09 17:19:35 by simonm]
- backout rev 1.11 (spammed rev 1.10)
- slide ghc-4-01 tag forward
sof [Wed, 9 Dec 1998 17:09:50 +0000 (17:09 +0000)]
[project @ 1998-12-09 17:09:50 by sof]
Stubs for implementing System.getArgs
simonm [Thu, 3 Dec 1998 17:23:30 +0000 (17:23 +0000)]
[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.
simonm [Thu, 3 Dec 1998 15:24:09 +0000 (15:24 +0000)]
[project @ 1998-12-03 15:24:08 by simonm]
merge from 4.01
simonm [Thu, 3 Dec 1998 15:14:08 +0000 (15:14 +0000)]
[project @ 1998-12-03 15:14:08 by simonm]
bring in correct version
simonm [Thu, 3 Dec 1998 14:37:43 +0000 (14:37 +0000)]
[project @ 1998-12-03 14:37:43 by simonm]
oops, wrong version of gmp.h
simonm [Thu, 3 Dec 1998 11:40:06 +0000 (11:40 +0000)]
[project @ 1998-12-03 11:40:05 by simonm]
Oops, accidentally downgraded these files in the previous commit.
simonm [Thu, 3 Dec 1998 11:34:55 +0000 (11:34 +0000)]
[project @ 1998-12-03 11:34:54 by simonm]
update
simonm [Wed, 2 Dec 1998 13:32:30 +0000 (13:32 +0000)]
[project @ 1998-12-02 13:17:09 by simonm]
Move 4.01 onto the main trunk.
sof [Thu, 26 Nov 1998 09:17:22 +0000 (09:17 +0000)]
[project @ 1998-11-26 09:17:22 by sof]
don't include the non-conflict files that CVS leaves behind in the build tree
simonm [Wed, 25 Nov 1998 16:44:05 +0000 (16:44 +0000)]
[project @ 1998-11-25 16:44:05 by simonm]
add simple IORef test.
simonm [Wed, 25 Nov 1998 16:20:14 +0000 (16:20 +0000)]
[project @ 1998-11-25 16:20:14 by simonm]
4.01 update
reid [Tue, 24 Nov 1998 21:28:00 +0000 (21:28 +0000)]
[project @ 1998-11-24 21:28:00 by reid]
Merge from HEAD
sof [Tue, 24 Nov 1998 11:22:47 +0000 (11:22 +0000)]
[project @ 1998-11-24 11:22:47 by sof]
Re-install hack which fixes 'leading underscore' feature test under cygwin32
sof [Tue, 24 Nov 1998 10:27:01 +0000 (10:27 +0000)]
[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
sof [Mon, 23 Nov 1998 15:44:25 +0000 (15:44 +0000)]
[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.
sof [Mon, 23 Nov 1998 11:51:52 +0000 (11:51 +0000)]
[project @ 1998-11-23 11:51:52 by sof]
Default GhcReportCompiles to NO
sof [Mon, 23 Nov 1998 10:03:42 +0000 (10:03 +0000)]
[project @ 1998-11-23 10:03:42 by sof]
Added {TEXT,DATA}_SECTION_MARKER_DECL
sof [Sun, 22 Nov 1998 17:45:27 +0000 (17:45 +0000)]
[project @ 1998-11-22 17:45:25 by sof]
Added f-checks for symlink() and readlink()
sof [Sat, 21 Nov 1998 14:35:01 +0000 (14:35 +0000)]
[project @ 1998-11-21 14:35:00 by sof]
Distinguish between defn and use of etext and end syms; they're not
the same on platforms where we have to resort to asm labels.
reid [Tue, 17 Nov 1998 01:25:00 +0000 (01:25 +0000)]
[project @ 1998-11-17 01:24:58 by reid]
Added tests required by Hugs
simonm [Mon, 16 Nov 1998 18:15:57 +0000 (18:15 +0000)]
[project @ 1998-11-16 18:14:44 by simonm]
update tests for 4.00
sof [Mon, 16 Nov 1998 11:56:13 +0000 (11:56 +0000)]
[project @ 1998-11-16 11:56:09 by sof]
Cleaned up the handling of the default calling conventions for 'foreign' decls
sof [Fri, 13 Nov 1998 19:35:44 +0000 (19:35 +0000)]
[project @ 1998-11-13 19:35:42 by sof]
Relax restriction that 'foreign import' has got to be an IO action
sof [Fri, 13 Nov 1998 19:34:34 +0000 (19:34 +0000)]
[project @ 1998-11-13 19:34:33 by sof]
Allow 'foreign import' calling conv. to be optional
sof [Thu, 12 Nov 1998 13:23:45 +0000 (13:23 +0000)]
[project @ 1998-11-12 13:23:45 by sof]
oops, <windows.h> shouldn't be included unconditionally
sof [Wed, 11 Nov 1998 17:40:16 +0000 (17:40 +0000)]
[project @ 1998-11-11 17:40:07 by sof]
Fixed endian bug that struck when outputting on non-buffered handles
sof [Tue, 10 Nov 1998 08:51:22 +0000 (08:51 +0000)]
[project @ 1998-11-10 08:51:22 by sof]
do&where interaction tests
sof [Tue, 10 Nov 1998 08:50:51 +0000 (08:50 +0000)]
[project @ 1998-11-10 08:50:50 by sof]
_casm_ unfolding test
sof [Mon, 9 Nov 1998 17:51:30 +0000 (17:51 +0000)]
[project @ 1998-11-09 17:51:30 by sof]
fixed _casm_ ppr glitch
sof [Mon, 9 Nov 1998 11:14:38 +0000 (11:14 +0000)]
[project @ 1998-11-09 11:14:38 by sof]
Provide RTS initialisation as sep. entry point, initRTS()
sof [Mon, 9 Nov 1998 08:42:36 +0000 (08:42 +0000)]
[project @ 1998-11-09 08:42:36 by sof]
avoid uncessary gcc warning
sof [Sun, 8 Nov 1998 17:12:53 +0000 (17:12 +0000)]
[project @ 1998-11-08 17:12:53 by sof]
Added {read,write}StablePtrOffAddr
sof [Sun, 8 Nov 1998 17:10:41 +0000 (17:10 +0000)]
[project @ 1998-11-08 17:10:35 by sof]
First take at 'foreign label's
sof [Sun, 8 Nov 1998 17:10:00 +0000 (17:10 +0000)]
[project @ 1998-11-08 17:10:00 by sof]
include 'foreign export' prototypes in generated .c file
sof [Sun, 8 Nov 1998 17:09:14 +0000 (17:09 +0000)]
[project @ 1998-11-08 17:09:14 by sof]
corrected Prelude home for {W,I}64
sof [Sun, 8 Nov 1998 17:08:34 +0000 (17:08 +0000)]
[project @ 1998-11-08 17:08:34 by sof]
primOpInfo WriteOffAddrOp fixed
sof [Sun, 8 Nov 1998 17:07:30 +0000 (17:07 +0000)]
[project @ 1998-11-08 17:07:30 by sof]
Added ioOkDataCon_NAME
sof [Sun, 8 Nov 1998 17:06:55 +0000 (17:06 +0000)]
[project @ 1998-11-08 17:06:55 by sof]
pREL_CCALL defined, but not exported
sof [Sun, 8 Nov 1998 17:06:13 +0000 (17:06 +0000)]
[project @ 1998-11-08 17:06:13 by sof]
front end support for 'foreign label's
sof [Sun, 8 Nov 1998 11:14:37 +0000 (11:14 +0000)]
[project @ 1998-11-08 11:14:37 by sof]
Tweaked __fexp regexps
reid [Tue, 27 Oct 1998 23:35:33 +0000 (23:35 +0000)]
[project @ 1998-10-27 23:35:33 by reid]
Added CAF text to rts document
sof [Fri, 23 Oct 1998 09:48:46 +0000 (09:48 +0000)]
[project @ 1998-10-23 09:48:46 by sof]
getAllFilesMatching: increase malleability factor by a notch;
just warn if an element along the import search path doesn't
exist, don't barf.
sof [Wed, 21 Oct 1998 11:46:24 +0000 (11:46 +0000)]
[project @ 1998-10-21 11:46:23 by sof]
Check if tc type substitutions clone correctly
sof [Wed, 21 Oct 1998 11:42:00 +0000 (11:42 +0000)]
[project @ 1998-10-21 11:42:00 by sof]
StablePtr array ops added
sof [Wed, 21 Oct 1998 11:41:45 +0000 (11:41 +0000)]
[project @ 1998-10-21 11:41:45 by sof]
Upped the heap sizes for Int and Word some more
sof [Wed, 21 Oct 1998 11:40:36 +0000 (11:40 +0000)]
[project @ 1998-10-21 11:40:36 by sof]
Oops, previous commit msg was a bit off; foreignObjToAddr added,
but to this interface (Foreign.) Addr was augmented with
writeForeignObjOffAddr though.
sof [Wed, 21 Oct 1998 11:38:28 +0000 (11:38 +0000)]
[project @ 1998-10-21 11:38:28 by sof]
Added foreignObjToAddr
sof [Wed, 21 Oct 1998 11:37:23 +0000 (11:37 +0000)]
[project @ 1998-10-21 11:37:23 by sof]
StablePtr primops
sof [Wed, 21 Oct 1998 11:37:03 +0000 (11:37 +0000)]
[project @ 1998-10-21 11:37:03 by sof]
Removed commented-out Haskell-1.2 methods
sof [Wed, 21 Oct 1998 11:35:09 +0000 (11:35 +0000)]
[project @ 1998-10-21 11:35:09 by sof]
StablePtr primops added
sof [Wed, 21 Oct 1998 11:28:09 +0000 (11:28 +0000)]
[project @ 1998-10-21 11:28:00 by sof]
- added primops for read&writing StablePtrs to ByteArrays, Adds and FOs
- egcs crashes in odd ways when encountering the typedefs we need to
produce when compiling 'foreign import dynamic's. To workaround the
problem, kludgily add a CCallTypedef constructor to AbsCSyn.AbstractC
which the flattener will produce (at the toplevel) when encountering
CCallOps inside COptStmts.
- augmented PrimOp.CCallOp to carry a unique when it represents a
'foreign import dynamic' call. The CoreToStg pass ensures that these
uniques are exactly that. They're used to eventuall generate (unique)
typedef names.
simonm [Mon, 12 Oct 1998 11:56:12 +0000 (11:56 +0000)]
[project @ 1998-10-12 11:56:12 by simonm]
oops, forgot to update bin dist configure for FreeBSD 2.0/3.0 split.
simonm [Fri, 9 Oct 1998 13:33:38 +0000 (13:33 +0000)]
[project @ 1998-10-09 13:33:38 by simonm]
clean up document makefiles.
simonm [Thu, 8 Oct 1998 15:11:10 +0000 (15:11 +0000)]
[project @ 1998-10-08 15:11:10 by simonm]
add -s option for extra obj suffixes, like mkdependHS
simonm [Thu, 8 Oct 1998 15:04:17 +0000 (15:04 +0000)]
[project @ 1998-10-08 15:04:17 by simonm]
Default WithGhcHc is now just "ghc". Too many people complained.
simonm [Thu, 8 Oct 1998 11:52:36 +0000 (11:52 +0000)]
[project @ 1998-10-08 11:52:34 by simonm]
fixup tests for 4.00
simonm [Thu, 8 Oct 1998 11:37:16 +0000 (11:37 +0000)]
[project @ 1998-10-08 11:37:15 by simonm]
fix conc004 for new type of forkIO.
add conc007: killThread test.
simonm [Wed, 7 Oct 1998 16:33:23 +0000 (16:33 +0000)]
[project @ 1998-10-07 16:33:23 by simonm]
mangle percent symbols properly.
simonm [Wed, 7 Oct 1998 15:49:05 +0000 (15:49 +0000)]
[project @ 1998-10-07 15:49:05 by simonm]
update for 4.00, correct untruths
simonm [Wed, 7 Oct 1998 14:18:31 +0000 (14:18 +0000)]
[project @ 1998-10-07 14:18:31 by simonm]
AT_GLASGOW went away.
simonm [Wed, 7 Oct 1998 12:41:42 +0000 (12:41 +0000)]
[project @ 1998-10-07 12:41:42 by simonm]
fix a couple of bugs in the text/data segment end symbol tests.
simonm [Tue, 6 Oct 1998 14:54:49 +0000 (14:54 +0000)]
[project @ 1998-10-06 14:54:49 by simonm]
back out last commit on trunk (should have gone to new-rts branch).
simonm [Tue, 6 Oct 1998 14:36:27 +0000 (14:36 +0000)]
[project @ 1998-10-06 14:36:27 by simonm]
back out revision 1.2 (change made on wrong branch).
simonm [Mon, 5 Oct 1998 14:15:32 +0000 (14:15 +0000)]
[project @ 1998-10-05 14:15:31 by simonm]
Add support for FreeBSD 3.0 (ELFish).
Rename i386-unknown-freebsd to i386-unknown-freebsd2, and add
i386-unknown-freebsd3.
NOTE: this won't bootstrap an ELF GHC using an a.out GHC, some laying
on of hands is required for that.
simonm [Mon, 5 Oct 1998 12:17:16 +0000 (12:17 +0000)]
[project @ 1998-10-05 12:17:16 by simonm]
sync with recent changes to configure.in.
sof [Fri, 2 Oct 1998 09:20:04 +0000 (09:20 +0000)]
[project @ 1998-10-02 09:20:04 by sof]
Generalise --exlude-module=M handling slightly, it now
will ignore any appearances of M along the user import
path too.