simonm [Mon, 24 Nov 1997 17:42:05 +0000 (17:42 +0000)]
[project @ 1997-11-24 17:42:05 by simonm]
GHC/Hugs Library document.
This currently won't build until we get the right SGML tools in the tree.
simonm [Mon, 24 Nov 1997 15:58:59 +0000 (15:58 +0000)]
[project @ 1997-11-24 15:58:59 by simonm]
fix mistakes in last commit.
simonm [Mon, 24 Nov 1997 15:43:22 +0000 (15:43 +0000)]
[project @ 1997-11-24 15:43:22 by simonm]
implement STArray using newtype instead of type.
simonm [Mon, 24 Nov 1997 15:42:47 +0000 (15:42 +0000)]
[project @ 1997-11-24 15:42:47 by simonm]
add IOArray and relevant operations.
sof [Sat, 22 Nov 1997 19:48:09 +0000 (19:48 +0000)]
[project @ 1997-11-22 19:48:09 by sof]
comment wibble
simonm [Fri, 21 Nov 1997 11:23:04 +0000 (11:23 +0000)]
[project @ 1997-11-21 11:23:04 by simonm]
Add reallyUnsafePtrEq.
simonm [Thu, 20 Nov 1997 16:51:29 +0000 (16:51 +0000)]
[project @ 1997-11-20 16:51:04 by simonm]
add two new primitive operations:
quotWord#
remWord#
for unsigned divides.
simonm [Thu, 20 Nov 1997 16:49:04 +0000 (16:49 +0000)]
[project @ 1997-11-20 16:49:04 by simonm]
add compatibility cruft for PrimIO.
simonm [Thu, 20 Nov 1997 16:47:57 +0000 (16:47 +0000)]
[project @ 1997-11-20 16:47:57 by simonm]
* simplify abs - it is just 'id' for naturals.
* use a special show for unsigned numbers.
* use special quotWord# and remWord# primitives.
* fix bugs in complement and shift operations.
simonm [Thu, 20 Nov 1997 16:45:38 +0000 (16:45 +0000)]
[project @ 1997-11-20 16:45:38 by simonm]
* fix minBound::Int32 in view of the fact that minBound::Int is wrong.
* fix shift direction (it was reversed)
* fix complement to be a 1's complement instead of 2's complement
simonm [Thu, 20 Nov 1997 16:16:13 +0000 (16:16 +0000)]
[project @ 1997-11-20 16:16:13 by simonm]
change minBound back until I can fix the bootstrapping problems.
Grrrr.
simonm [Tue, 18 Nov 1997 10:41:40 +0000 (10:41 +0000)]
[project @ 1997-11-18 10:41:40 by simonm]
implement plusAddr, and add a load of ToDos for the various offset
functions.
simonm [Mon, 17 Nov 1997 13:55:04 +0000 (13:55 +0000)]
[project @ 1997-11-17 13:55:04 by simonm]
export runST and fixST.
simonm [Mon, 17 Nov 1997 13:52:56 +0000 (13:52 +0000)]
[project @ 1997-11-17 13:52:56 by simonm]
Pull in the IO type for typechecking main
simonm [Thu, 13 Nov 1997 17:09:40 +0000 (17:09 +0000)]
[project @ 1997-11-13 17:09:40 by simonm]
couple of minor fixes
simonm [Thu, 13 Nov 1997 17:08:31 +0000 (17:08 +0000)]
[project @ 1997-11-13 17:08:31 by simonm]
oops, correct it again.
simonm [Thu, 13 Nov 1997 16:54:56 +0000 (16:54 +0000)]
[project @ 1997-11-13 16:54:56 by simonm]
correct minBound for Ints.
simonm [Thu, 13 Nov 1997 14:44:01 +0000 (14:44 +0000)]
[project @ 1997-11-13 14:44:01 by simonm]
reverse accidental commit
simonm [Thu, 13 Nov 1997 14:42:55 +0000 (14:42 +0000)]
[project @ 1997-11-13 14:42:10 by simonm]
don't need this anymore - replaced by Error.hi-boot
simonm [Thu, 13 Nov 1997 12:10:52 +0000 (12:10 +0000)]
[project @ 1997-11-13 12:10:32 by simonm]
update to version 2.08
simonm [Thu, 13 Nov 1997 10:52:43 +0000 (10:52 +0000)]
[project @ 1997-11-13 10:52:43 by simonm]
add missing import of Id(..).
simonm [Thu, 13 Nov 1997 09:22:46 +0000 (09:22 +0000)]
[project @ 1997-11-13 09:22:46 by simonm]
add stuff about remote CVS to the cheat sheet.
simonm [Wed, 12 Nov 1997 17:02:31 +0000 (17:02 +0000)]
[project @ 1997-11-12 16:55:57 by simonm]
Update test suite.
* PrimIO ==> IO
* change to type of _ccall_
* update the stdout/stderr files where necessary.
* make module names consistent: should_compile modules are called
ShouldSucceed (don't know why, most of them were already),
should_fail modules are called ShouldFail, and should_run
modules are called Main (for obvious reasons).
Not all done yet.
* Some tests had bitrot. Especially some should_fail tests
were failing for different reasons than they were originally
intended to.
simonm [Wed, 12 Nov 1997 12:25:36 +0000 (12:25 +0000)]
[project @ 1997-11-12 12:25:35 by simonm]
duplicate test
simonm [Wed, 12 Nov 1997 10:59:11 +0000 (10:59 +0000)]
[project @ 1997-11-12 10:59:10 by simonm]
duplicate test
simonm [Wed, 12 Nov 1997 10:55:26 +0000 (10:55 +0000)]
[project @ 1997-11-12 10:55:17 by simonm]
PrimIO/library changes
simonm [Tue, 11 Nov 1997 15:56:03 +0000 (15:56 +0000)]
[project @ 1997-11-11 15:56:03 by simonm]
update documentation to reflect the changes to PrimIO and _ccalls_
simonm [Tue, 11 Nov 1997 15:33:53 +0000 (15:33 +0000)]
[project @ 1997-11-11 15:33:53 by simonm]
s/UnsafeST/Unsafe.
simonm [Tue, 11 Nov 1997 15:31:53 +0000 (15:31 +0000)]
[project @ 1997-11-11 15:31:53 by simonm]
add ampersands to function calls to be perl4 compatible again.
simonm [Tue, 11 Nov 1997 14:34:23 +0000 (14:34 +0000)]
[project @ 1997-11-11 14:32:34 by simonm]
Library changes to:
* remove PrimIO
* change type of _ccall_ to IO
* incorporate Alastair Reid's new library interfaces for
compatibility with Hugs.
simonm [Tue, 11 Nov 1997 14:28:30 +0000 (14:28 +0000)]
[project @ 1997-11-11 14:28:12 by simonm]
Compiler changes to:
* remove PrimIO
* change type of _ccall_ to IO.
(includes commits to basicTypes/Unique.lhs, deSugar/DsCCall.lhs, and
prelude/PrelInfo.lhs, but the commit script messed up).
simonm [Tue, 11 Nov 1997 14:21:25 +0000 (14:21 +0000)]
[project @ 1997-11-11 14:21:21 by simonm]
Compiler changes to:
* remove PrimIO
* change type of _ccall_ to IO.
simonm [Mon, 10 Nov 1997 17:06:47 +0000 (17:06 +0000)]
[project @ 1997-11-10 17:06:45 by simonm]
add test for declarations of non-existent methods
simonm [Mon, 10 Nov 1997 14:35:37 +0000 (14:35 +0000)]
[project @ 1997-11-10 14:35:18 by simonm]
Check for declarations of non-existant methods
(bug: typecheck/should_fail/tcfail077.hs)
simonm [Mon, 10 Nov 1997 13:18:59 +0000 (13:18 +0000)]
[project @ 1997-11-10 13:18:59 by simonm]
oops - xor# is dyadic, not monadic.
simonm [Mon, 10 Nov 1997 12:58:07 +0000 (12:58 +0000)]
[project @ 1997-11-10 12:58:07 by simonm]
fix typo that crept in with last commit.
simonm [Mon, 10 Nov 1997 11:39:17 +0000 (11:39 +0000)]
[project @ 1997-11-10 11:39:17 by simonm]
Replace use of map() with foreach, to make the driver perl4 compatible
again.
simonm [Wed, 5 Nov 1997 16:11:34 +0000 (16:11 +0000)]
[project @ 1997-11-05 16:11:17 by simonm]
add xor# word operation
simonm [Wed, 5 Nov 1997 16:09:11 +0000 (16:09 +0000)]
[project @ 1997-11-05 16:09:11 by simonm]
always print types with binders, and put them on separate lines.
sof [Tue, 4 Nov 1997 16:57:41 +0000 (16:57 +0000)]
[project @ 1997-11-04 16:57:41 by sof]
Catch failures to output dependencies
sof [Fri, 31 Oct 1997 18:44:55 +0000 (18:44 +0000)]
[project @ 1997-10-31 18:44:55 by sof]
New option --include-prelude that generates dependencies on imported prelude interfaces; renamed -W to -w
sof [Thu, 30 Oct 1997 22:45:08 +0000 (22:45 +0000)]
[project @ 1997-10-30 22:45:08 by sof]
New option: -W, suppress duplicate interface file warnings
sof [Thu, 30 Oct 1997 22:39:15 +0000 (22:39 +0000)]
[project @ 1997-10-30 22:39:15 by sof]
Quote -#include opts when passing them on (to mkdependHS); silently add ghc syslib with posix (it depends on it.)
sof [Thu, 30 Oct 1997 22:32:03 +0000 (22:32 +0000)]
[project @ 1997-10-30 22:32:03 by sof]
Cosmetic fix to avoid cpp warnings under linux
sof [Thu, 30 Oct 1997 22:31:06 +0000 (22:31 +0000)]
[project @ 1997-10-30 22:31:06 by sof]
Minor fix to suppress gcc warning
sof [Thu, 30 Oct 1997 22:29:59 +0000 (22:29 +0000)]
[project @ 1997-10-30 22:29:59 by sof]
ErrorIO_innards: push realWorld# on B stack (cf. startStgWorld)
sof [Thu, 30 Oct 1997 22:12:25 +0000 (22:12 +0000)]
[project @ 1997-10-30 22:12:25 by sof]
When needed , define __linux__ to silence cpp warnings
reid [Fri, 24 Oct 1997 15:27:58 +0000 (15:27 +0000)]
[project @ 1997-10-24 15:27:58 by reid]
Added 'standard closures' to discussion of how Hugs enters an object
simonm [Fri, 24 Oct 1997 14:18:56 +0000 (14:18 +0000)]
[project @ 1997-10-24 14:18:56 by simonm]
add pointer to Bradley C. Kuszmaul's CVS instructions.
simonm [Fri, 24 Oct 1997 09:39:36 +0000 (09:39 +0000)]
[project @ 1997-10-24 09:39:36 by simonm]
add CVS guidelines file
simonm [Fri, 24 Oct 1997 09:08:05 +0000 (09:08 +0000)]
[project @ 1997-10-24 09:08:05 by simonm]
changes for MachRegs.Addr -> MachRegs.Address
sof [Thu, 23 Oct 1997 18:26:26 +0000 (18:26 +0000)]
[project @ 1997-10-23 18:26:26 by sof]
One square bracket too many
sof [Tue, 21 Oct 1997 20:39:46 +0000 (20:39 +0000)]
[project @ 1997-10-21 20:39:45 by sof]
Renamed freeStdChannel to freeStdFile
sof [Tue, 21 Oct 1997 20:39:15 +0000 (20:39 +0000)]
[project @ 1997-10-21 20:39:15 by sof]
Parallel Haskell changes(hwloidl)
sof [Tue, 21 Oct 1997 20:38:32 +0000 (20:38 +0000)]
[project @ 1997-10-21 20:38:32 by sof]
Don't use ForeignObjs with Parallel Haskell; renamed finaliser for standard descriptors (now freeStdFile)
sof [Tue, 21 Oct 1997 20:36:50 +0000 (20:36 +0000)]
[project @ 1997-10-21 20:36:50 by sof]
new prims made visible: parAtAbs#, parAtRel# and reallyUnsafePtrEquality#
sof [Tue, 21 Oct 1997 20:35:06 +0000 (20:35 +0000)]
[project @ 1997-10-21 20:33:36 by sof]
Avoid exposing ForeignObjs when compiling Parallel Haskell
sof [Tue, 21 Oct 1997 20:31:47 +0000 (20:31 +0000)]
[project @ 1997-10-21 20:31:47 by sof]
unionBy: remove duplicates in second argument (required for the following invariant to hold: if the first list argument contain no duplicates, then the result of applying unionBy doesn't either)
reid [Tue, 21 Oct 1997 17:22:24 +0000 (17:22 +0000)]
[project @ 1997-10-21 17:22:24 by reid]
Improved glossary/terminology at start - added unpointed and unboxed.
Created a section at start to describe the source language. At the moment,
all it contains is a description of unboxed tuple constructors.
Replaced erroneous uses of "closure" with "heap object". According to
the glossary, closures are enterable - things like stack objects
are not enterable so they can't be closures.
Clarified section 2.7 (heap and stack checks): why should we not move Hp
during heap check?
Added comment that I don't believe in the notion of fixed headers.
simonm [Mon, 20 Oct 1997 10:21:28 +0000 (10:21 +0000)]
[project @ 1997-10-20 10:21:11 by simonm]
fix for overloading-related space leak (typecheck/should_run/tcrun002)
simonm [Mon, 20 Oct 1997 09:18:55 +0000 (09:18 +0000)]
[project @ 1997-10-20 09:18:55 by simonm]
fix reversed arguments to unpackNBytesST in getCurrentDirectory.
sof [Sun, 19 Oct 1997 22:19:04 +0000 (22:19 +0000)]
[project @ 1997-10-19 22:19:04 by sof]
Comment on let-to-case added (simplNonRec)
sof [Sun, 19 Oct 1997 22:17:22 +0000 (22:17 +0000)]
[project @ 1997-10-19 22:16:16 by sof]
Updated to reflect MachRegs.Addr to MachRegs.Address renaming
sof [Sun, 19 Oct 1997 22:15:44 +0000 (22:15 +0000)]
[project @ 1997-10-19 22:15:44 by sof]
Updated to reflect MachRegs.Addr to MachRegs.Address renaming; various x86 bug fixes
sof [Sun, 19 Oct 1997 22:13:38 +0000 (22:13 +0000)]
[project @ 1997-10-19 22:13:38 by sof]
Updated to reflect that MachRegs.Addr has been renamed to Address to avoid needless conflict with GlaExts
sof [Sun, 19 Oct 1997 22:11:54 +0000 (22:11 +0000)]
[project @ 1997-10-19 22:11:54 by sof]
Updated to reflect MachRegs.Addr to MachRegs.Address renaming; x86: Hp and HpLim are located relative to BaseReg, not StorageMgrInfo
sof [Sun, 19 Oct 1997 22:07:23 +0000 (22:07 +0000)]
[project @ 1997-10-19 22:07:23 by sof]
Updated to reflect MachRegs.Addr to MachRegs.Address renaming; x86 shift instructions need special treatment to get at %cl; added DEBUG msg if x86 MOV %r,%r instruction generated
sof [Sun, 19 Oct 1997 22:01:23 +0000 (22:01 +0000)]
[project @ 1997-10-19 22:01:23 by sof]
Updated to reflect MachRegs.Addr to MachRegs.Address renaming; fixed incorrect handling of x86 shift instructions (second operand can be *both* immediate and register(ecx))
sof [Sun, 19 Oct 1997 21:58:19 +0000 (21:58 +0000)]
[project @ 1997-10-19 21:57:18 by sof]
import MachRegs unconditionally
sof [Sun, 19 Oct 1997 21:55:37 +0000 (21:55 +0000)]
[project @ 1997-10-19 21:55:37 by sof]
Added flag opt_UnfoldingKeenessFactor; new (internal) function: lookup_def_float
sof [Sun, 19 Oct 1997 21:53:38 +0000 (21:53 +0000)]
[project @ 1997-10-19 21:53:38 by sof]
Default for uNFOLDING_KEENESS_FACTOR (2.0) added; uNFOLDING_OVERRIDE_THRESHOLD removed
sof [Sun, 19 Oct 1997 21:51:43 +0000 (21:51 +0000)]
[project @ 1997-10-19 21:51:43 by sof]
Bargain multiplier opt_UnfoldingKeenessFactor added to discount computation
sof [Sun, 19 Oct 1997 21:49:12 +0000 (21:49 +0000)]
[project @ 1997-10-19 21:48:43 by sof]
Removed use of opt_CompilingGhcInternals
sof [Sun, 19 Oct 1997 21:47:48 +0000 (21:47 +0000)]
[project @ 1997-10-19 21:47:48 by sof]
Drop CoreUnfold.mkUnfolding import
sof [Sun, 19 Oct 1997 21:46:33 +0000 (21:46 +0000)]
[project @ 1997-10-19 21:46:33 by sof]
Added comment on special parser handling of non-qualified gtycons
sof [Sun, 19 Oct 1997 21:43:37 +0000 (21:43 +0000)]
[project @ 1997-10-19 21:43:37 by sof]
Added type signatures
sof [Sun, 19 Oct 1997 21:42:34 +0000 (21:42 +0000)]
[project @ 1997-10-19 21:42:34 by sof]
Drop use of opt_CompilingGhcInternals
sof [Sun, 19 Oct 1997 21:41:46 +0000 (21:41 +0000)]
[project @ 1997-10-19 21:41:46 by sof]
Refrain from doing let-to-case conversion on binders with RHS in whnf
sof [Sun, 19 Oct 1997 21:38:07 +0000 (21:38 +0000)]
[project @ 1997-10-19 21:38:07 by sof]
Drop use of opt_CompilingGhcInternals
simonm [Fri, 17 Oct 1997 15:57:07 +0000 (15:57 +0000)]
[project @ 1997-10-17 15:57:07 by simonm]
Latest batch of changes. Merge SRT and Tag fields in the info table,
now that there isn't a bytecode pointer there.
simonm [Fri, 17 Oct 1997 14:54:27 +0000 (14:54 +0000)]
[project @ 1997-10-17 14:54:23 by simonm]
first cut at header files for new RTS
simonm [Fri, 17 Oct 1997 14:14:00 +0000 (14:14 +0000)]
[project @ 1997-10-17 14:14:00 by simonm]
remove OmitDefaultInstanceMethods (unused).
simonm [Fri, 17 Oct 1997 12:02:29 +0000 (12:02 +0000)]
[project @ 1997-10-17 12:02:29 by simonm]
Remove section about -fshow-pragma-name-errs. This option is
unsupported, and unnecessary, since GHC can always find the
information it needs.
simonm [Fri, 17 Oct 1997 11:59:15 +0000 (11:59 +0000)]
[project @ 1997-10-17 11:59:15 by simonm]
Remove crufty options.
simonm [Fri, 17 Oct 1997 11:09:44 +0000 (11:09 +0000)]
[project @ 1997-10-17 11:09:44 by simonm]
mangler fix.
simonm [Fri, 17 Oct 1997 11:08:06 +0000 (11:08 +0000)]
[project @ 1997-10-17 11:05:31 by simonm]
protect $$s for bash.
simonm [Fri, 17 Oct 1997 10:22:45 +0000 (10:22 +0000)]
[project @ 1997-10-17 10:22:45 by simonm]
fix a bunch of out-of-date things, plus apply some patches for broken
\indexes and \items from Sven Panne.
simonm [Thu, 16 Oct 1997 13:35:27 +0000 (13:35 +0000)]
[project @ 1997-10-16 13:35:27 by simonm]
add a few more index entries.
simonm [Thu, 16 Oct 1997 13:31:04 +0000 (13:31 +0000)]
[project @ 1997-10-16 13:31:04 by simonm]
knock the section on warnings into shape.
simonm [Thu, 16 Oct 1997 13:30:24 +0000 (13:30 +0000)]
[project @ 1997-10-16 13:30:24 by simonm]
add opt_WarnMissingMethods.
simonm [Thu, 16 Oct 1997 13:29:59 +0000 (13:29 +0000)]
[project @ 1997-10-16 13:29:59 by simonm]
oops, correct a comment.
simonm [Thu, 16 Oct 1997 13:29:38 +0000 (13:29 +0000)]
[project @ 1997-10-16 13:29:38 by simonm]
move -fwarn-incomplete-patterns into -W (it's not as likely to
indicate an error as -fwarn-overlapping-patterns), and add
-fwarn-unused-names to -W in case it gets implemented one day.
simonm [Thu, 16 Oct 1997 12:17:07 +0000 (12:17 +0000)]
[project @ 1997-10-16 12:17:05 by simonm]
polymorphic recursion/space leak test
simonm [Thu, 16 Oct 1997 10:54:49 +0000 (10:54 +0000)]
[project @ 1997-10-16 10:54:49 by simonm]
make the RAWCPP test a little more sensible.
simonm [Thu, 16 Oct 1997 10:45:21 +0000 (10:45 +0000)]
[project @ 1997-10-16 10:45:21 by simonm]
Test for CC and GCC before finding CPP, since GNUCPP depends on
finding GCC to do the right thing.
simonm [Wed, 15 Oct 1997 15:32:09 +0000 (15:32 +0000)]
[project @ 1997-10-15 15:32:09 by simonm]
Add description of how to set heap/stack sizes by default using the
defaultHook hook thingy.
simonm [Wed, 15 Oct 1997 14:31:43 +0000 (14:31 +0000)]
[project @ 1997-10-15 14:31:43 by simonm]
release notes for upcoming releases
simonm [Wed, 15 Oct 1997 14:21:59 +0000 (14:21 +0000)]
[project @ 1997-10-15 14:21:58 by simonm]
new test for type-synonym-arity bug (fixed in TcMonoType.lhs v1.19)
simonm [Wed, 15 Oct 1997 14:17:30 +0000 (14:17 +0000)]
[project @ 1997-10-15 14:17:30 by simonm]
Simon's fix for type synonym arities. The arity of a synonym must by
less than or eqaul to the number of arguments supplied (test
typecheck/should_compile/tc093.hs).
simonm [Wed, 15 Oct 1997 14:09:21 +0000 (14:09 +0000)]
[project @ 1997-10-15 14:09:21 by simonm]
reverse the sense of -fwarn-incomplete-patterns and
-fwarn-overlapped-patterns, these are now added automatically by the
driver if necessary.