sof [Sat, 6 Feb 1999 16:10:25 +0000 (16:10 +0000)]
[project @ 1999-02-06 16:10:18 by sof]
New regression test - overlapped patterns involving labelled fields.
sof [Sat, 6 Feb 1999 16:00:47 +0000 (16:00 +0000)]
[project @ 1999-02-06 16:00:43 by sof]
Added two new (read.show) regression tests for derived Read&Show instances.
sof [Sat, 6 Feb 1999 15:54:21 +0000 (15:54 +0000)]
[project @ 1999-02-06 15:54:21 by sof]
simplify_pat: When simplifying a RecPat to a ConPat, expand out the missing
fields with WildPats.
sof [Fri, 5 Feb 1999 16:37:24 +0000 (16:37 +0000)]
[project @ 1999-02-05 16:37:13 by sof]
-fwarn-type-defaults is your friend; misc changes to avoid H98's
'default default' of Integer to kick when what we really want is Int.
simonm [Fri, 5 Feb 1999 16:03:04 +0000 (16:03 +0000)]
[project @ 1999-02-05 16:02:18 by simonm]
Copyright police.
simonm [Fri, 5 Feb 1999 15:25:09 +0000 (15:25 +0000)]
[project @ 1999-02-05 15:25:01 by simonm]
Remove MUT_ARR_WORDS. I'm not sure why we had it in the first place.
simonm [Fri, 5 Feb 1999 14:49:22 +0000 (14:49 +0000)]
[project @ 1999-02-05 14:49:22 by simonm]
[ repeating commit, message got lost last time ]
- Scavenge each older generation immediately after traversing its
mutable list.
- Make the first GC a major one: it doesn't cost much, and we get
to garbage collection 'main' straight away.
- Change the order of scavenging to try to minimise the size of
the mutable lists.
simonm [Fri, 5 Feb 1999 14:48:01 +0000 (14:48 +0000)]
[project @ 1999-02-05 14:48:01 by simonm]
[ repeating commit, message got lost last time ]
- Scavenge each older generation immediately after traversing its
mutable list.
- Make the first GC a major one: it doesn't cost much, and we get
to garbage collection 'main' straight away.
- Change the order of scavenging to try to minimise the size of
the mutable lists.
simonm [Fri, 5 Feb 1999 14:45:43 +0000 (14:45 +0000)]
[project @ 1999-02-05 14:45:42 by simonm]
simonm [Fri, 5 Feb 1999 14:44:43 +0000 (14:44 +0000)]
[project @ 1999-02-05 14:44:43 by simonm]
Make it work.
sof [Fri, 5 Feb 1999 14:38:05 +0000 (14:38 +0000)]
[project @ 1999-02-05 14:38:03 by sof]
Updates
sof [Fri, 5 Feb 1999 14:34:05 +0000 (14:34 +0000)]
[project @ 1999-02-05 14:34:02 by sof]
'errors' caught by -fwarn-type-defaults
sof [Fri, 5 Feb 1999 14:28:34 +0000 (14:28 +0000)]
[project @ 1999-02-05 14:28:34 by sof]
Add initial empty line to a block of errors/warnings
sof [Fri, 5 Feb 1999 13:45:29 +0000 (13:45 +0000)]
[project @ 1999-02-05 13:45:29 by sof]
sigh, too hasty with dropping -monly-3-regs on Int and Word
sof [Fri, 5 Feb 1999 12:48:23 +0000 (12:48 +0000)]
[project @ 1999-02-05 12:48:23 by sof]
Added oblique egcs-1.1.1 remark
sof [Fri, 5 Feb 1999 12:41:32 +0000 (12:41 +0000)]
[project @ 1999-02-05 12:41:31 by sof]
don't include structs that are known to be empty within StgInfoTable and
StgHeader. Shouldn't be a problem - but egcs-1.1.1 doesn't handle them
correctly.
sof [Fri, 5 Feb 1999 12:35:43 +0000 (12:35 +0000)]
[project @ 1999-02-05 12:35:42 by sof]
deriving Enum bugfixes
sewardj [Fri, 5 Feb 1999 10:29:21 +0000 (10:29 +0000)]
[project @ 1999-02-05 10:29:21 by sewardj]
Track recent changes in ghc/rts so this file is still compilable.
sof [Fri, 5 Feb 1999 10:21:16 +0000 (10:21 +0000)]
[project @ 1999-02-05 10:21:15 by sof]
PrelErr.hi-boot: record exports as coming from a .hi-boot file.
sof [Thu, 4 Feb 1999 16:15:44 +0000 (16:15 +0000)]
[project @ 1999-02-04 16:15:44 by sof]
- don't complain if 'total memory in use' field not found in final RTS
info dump.
- add -fwarn-type-defaults to the set of -Wall warnings.
sof [Thu, 4 Feb 1999 15:20:32 +0000 (15:20 +0000)]
[project @ 1999-02-04 15:20:32 by sof]
Document new -fwarn-type-defaults option.
sof [Thu, 4 Feb 1999 15:17:45 +0000 (15:17 +0000)]
[project @ 1999-02-04 15:17:45 by sof]
- Decode module names before outputting the .hi file
sof [Thu, 4 Feb 1999 14:44:26 +0000 (14:44 +0000)]
[project @ 1999-02-04 14:44:26 by sof]
workaround for cpp unfriendly SLIT string
simonpj [Thu, 4 Feb 1999 13:45:39 +0000 (13:45 +0000)]
[project @ 1999-02-04 13:45:24 by simonpj]
a) Fix black hole bug when doing -dshow-rn-trace
(Involved reorganising where fixity exports are dealt with
in RnNames/RnIfaces.)
b) Arrange to apply Lint to imported unfoldings when -dcore-lint
c) Add -fwarn-type-defaults to report use of the defaulting rules for types
d) Make it so that f (error "help) --> error "help", if f is strict
(Changes in Simplify.lhs.)
sof [Thu, 4 Feb 1999 12:13:16 +0000 (12:13 +0000)]
[project @ 1999-02-04 12:13:15 by sof]
- relax the restriction that just the one open writeable handle on
*the same file* may exist when dealing with the standard handles,
stdout and stderr.
Reason: the following invocation of a Haskell program,
foo >log 2>&1
should be acceptable.
simonm [Thu, 4 Feb 1999 11:54:08 +0000 (11:54 +0000)]
[project @ 1999-02-04 11:54:08 by simonm]
Don't go into an infinite loop for errors generated by hPutStr when
outputing an error message. Use writeErrString__ to output all errors
(this won't generate a Haskell exception).
simonm [Thu, 4 Feb 1999 09:51:18 +0000 (09:51 +0000)]
[project @ 1999-02-04 09:51:18 by simonm]
Oops, import occNameUserString.
simonm [Thu, 4 Feb 1999 09:47:42 +0000 (09:47 +0000)]
[project @ 1999-02-04 09:47:42 by simonm]
Fix a few occNameStrings that should be occNameUserString.
sof [Thu, 4 Feb 1999 08:15:44 +0000 (08:15 +0000)]
[project @ 1999-02-04 08:15:44 by sof]
- include mingw32 in the list of x86 platforms supported.
- weed out ecoff debug information.
sof [Wed, 3 Feb 1999 20:26:26 +0000 (20:26 +0000)]
[project @ 1999-02-03 20:26:26 by sof]
Drop uneccessary uses of lit-lits and primops
simonm [Wed, 3 Feb 1999 17:54:56 +0000 (17:54 +0000)]
[project @ 1999-02-03 17:54:56 by simonm]
Document memoisation library.
sewardj [Wed, 3 Feb 1999 17:08:44 +0000 (17:08 +0000)]
[project @ 1999-02-03 17:08:25 by sewardj]
Preliminary results of the merge of STG hugs and 990121. These files
will compile and link, but don't work yet.
sewardj [Wed, 3 Feb 1999 17:05:14 +0000 (17:05 +0000)]
[project @ 1999-02-03 17:05:14 by sewardj]
Renamed stg.h to backend.h.
sewardj [Wed, 3 Feb 1999 17:03:59 +0000 (17:03 +0000)]
[project @ 1999-02-03 17:03:34 by sewardj]
Changed file organisation of STGhugs to be more like that of
MPJ's 990121 (Hugs98 beta) release, making these files redundant.
simonm [Wed, 3 Feb 1999 16:54:02 +0000 (16:54 +0000)]
[project @ 1999-02-03 16:54:00 by simonm]
Add memo table library.
simonm [Wed, 3 Feb 1999 16:53:38 +0000 (16:53 +0000)]
[project @ 1999-02-03 16:53:38 by simonm]
Increase PrelPack stack size.
simonm [Wed, 3 Feb 1999 16:53:16 +0000 (16:53 +0000)]
[project @ 1999-02-03 16:53:16 by simonm]
Fix accidental defaulting to Integer in magnitude.
simonm [Wed, 3 Feb 1999 16:42:18 +0000 (16:42 +0000)]
[project @ 1999-02-03 16:42:18 by simonm]
Fix GC stats printing.
simonm [Wed, 3 Feb 1999 16:32:47 +0000 (16:32 +0000)]
[project @ 1999-02-03 16:32:47 by simonm]
Be more MBLOCK-friendly when allocating and resizing stacks. This
should reduce the memory footprint a bit.
simonm [Wed, 3 Feb 1999 09:08:01 +0000 (09:08 +0000)]
[project @ 1999-02-03 09:08:01 by simonm]
boundsOfByteArray --> boundsOfMutableByteArray
simonm [Tue, 2 Feb 1999 17:37:40 +0000 (17:37 +0000)]
[project @ 1999-02-02 17:37:39 by simonm]
Optimise take a little.
simonm [Tue, 2 Feb 1999 16:04:02 +0000 (16:04 +0000)]
[project @ 1999-02-02 16:04:02 by simonm]
Fix a couple of out-of-date things.
simonm [Tue, 2 Feb 1999 15:30:46 +0000 (15:30 +0000)]
[project @ 1999-02-02 15:30:45 by simonm]
Update new RTS options for the garbage collector.
simonm [Tue, 2 Feb 1999 14:40:46 +0000 (14:40 +0000)]
[project @ 1999-02-02 14:40:46 by simonm]
Mention 'finalise' and 'mkWeakNoFinaliser'.
simonm [Tue, 2 Feb 1999 14:21:34 +0000 (14:21 +0000)]
[project @ 1999-02-02 14:21:28 by simonm]
- Add ticky counter for total bytes copied during GC.
- Separate mutable list into two lists, a "mut once" list for
old generation indirections and MUT_CONS cells, and a "mut many"
list for mutable arrays, TSOs etc. Objects on the "mut once" list
will be eagerly promoted.
simonm [Tue, 2 Feb 1999 14:19:49 +0000 (14:19 +0000)]
[project @ 1999-02-02 14:19:49 by simonm]
Remove warnings in deRefWeakzh.
simonm [Tue, 2 Feb 1999 14:19:03 +0000 (14:19 +0000)]
[project @ 1999-02-02 14:19:02 by simonm]
- Add Weak.finalise
- Move some functions from PrelWeak to Weak.
simonm [Tue, 2 Feb 1999 14:17:45 +0000 (14:17 +0000)]
[project @ 1999-02-02 14:17:45 by simonm]
Fix NO_FINALISER test.
simonm [Tue, 2 Feb 1999 14:17:05 +0000 (14:17 +0000)]
[project @ 1999-02-02 14:17:05 by simonm]
Fix untested Weak changes yesterday.
sof [Tue, 2 Feb 1999 14:16:29 +0000 (14:16 +0000)]
[project @ 1999-02-02 14:16:28 by sof]
- define and use *_OPTS for the various sgmltools.
- acknowledge the existence of INSTALL_LIB_SCRIPTS.
sof [Tue, 2 Feb 1999 14:14:13 +0000 (14:14 +0000)]
[project @ 1999-02-02 14:14:11 by sof]
Updated and re-org'ed the library parts.
sof [Tue, 2 Feb 1999 13:26:31 +0000 (13:26 +0000)]
[project @ 1999-02-02 13:26:31 by sof]
- fixed Enum.fromEnumTo{Word32} to comply with H98 once again.
sof [Tue, 2 Feb 1999 13:24:52 +0000 (13:24 +0000)]
[project @ 1999-02-02 13:24:52 by sof]
- renamed boundsOfByteArray to boundsOfMutableByteArray.
(partly for consistency, partly to create a new Top 10 entry on
the list of long function names exported from lib/.)
- moved sizeofByteArray over to ByteArray
sof [Tue, 2 Feb 1999 13:21:59 +0000 (13:21 +0000)]
[project @ 1999-02-02 13:21:59 by sof]
- Added:
newByteArray :: Ix ix => (ix,ix) -> ST s (ByteArray ix)
boundsOfByteArray :: Ix ix => ByteArray ix -> (ix,ix)
sizeofByteArray :: Ix ix => ByteArray ix -> Int
plus defined Eq over ByteArrays.
sof [Tue, 2 Feb 1999 13:18:57 +0000 (13:18 +0000)]
[project @ 1999-02-02 13:18:57 by sof]
Moved boundsOfByteArray out into exts/
simonm [Tue, 2 Feb 1999 12:37:14 +0000 (12:37 +0000)]
[project @ 1999-02-02 12:37:14 by simonm]
Update for specialised closures (THUNK_n_p etc.)
simonm [Tue, 2 Feb 1999 12:36:09 +0000 (12:36 +0000)]
[project @ 1999-02-02 12:36:09 by simonm]
Print total memory in use as part of -ghc-timing output.
simonm [Mon, 1 Feb 1999 18:06:31 +0000 (18:06 +0000)]
[project @ 1999-02-01 18:06:31 by simonm]
- Add finalise#
- deRefWeak# becomes an inline primop.
simonm [Mon, 1 Feb 1999 18:05:35 +0000 (18:05 +0000)]
[project @ 1999-02-01 18:05:30 by simonm]
- Add finalise#
- Add mkWeakNoFinaliser
- Move deRefWeak# from an out-of-line primop to an inline one.
simonm [Mon, 1 Feb 1999 18:04:46 +0000 (18:04 +0000)]
[project @ 1999-02-01 18:04:46 by simonm]
Report actual amount of memory in use by the compiler in the
-Rghc-timing output.
simonm [Mon, 1 Feb 1999 14:31:34 +0000 (14:31 +0000)]
[project @ 1999-02-01 14:31:34 by simonm]
Fix two bugs in formatRealFloat.
simonm [Mon, 1 Feb 1999 10:33:18 +0000 (10:33 +0000)]
[project @ 1999-02-01 10:33:18 by simonm]
- Increase stack size for PrelPack.lhs
simonm [Mon, 1 Feb 1999 10:19:02 +0000 (10:19 +0000)]
[project @ 1999-02-01 10:19:02 by simonm]
Clarification about the root set and top-level objects for the
reachability property.
sof [Mon, 1 Feb 1999 10:02:18 +0000 (10:02 +0000)]
[project @ 1999-02-01 10:02:15 by sof]
H98 Prelude tweaks
simonm [Fri, 29 Jan 1999 13:52:09 +0000 (13:52 +0000)]
[project @ 1999-01-29 13:52:09 by simonm]
A couple of underscore got lost a long time ago.
simonm [Fri, 29 Jan 1999 13:42:26 +0000 (13:42 +0000)]
[project @ 1999-01-29 13:42:26 by simonm]
unwibble
simonm [Fri, 29 Jan 1999 11:49:31 +0000 (11:49 +0000)]
[project @ 1999-01-29 11:49:31 by simonm]
Zh --> zh
simonm [Fri, 29 Jan 1999 09:32:37 +0000 (09:32 +0000)]
[project @ 1999-01-29 09:32:37 by simonm]
zh --> Zh (for genSymZh and resetGenSymZh)
simonm [Fri, 29 Jan 1999 09:30:52 +0000 (09:30 +0000)]
[project @ 1999-01-29 09:30:51 by simonm]
zh --> Zh
simonpj [Thu, 28 Jan 1999 17:10:53 +0000 (17:10 +0000)]
[project @ 1999-01-28 17:10:52 by simonpj]
PrelInfo should define deRefStablePtr and friends to be in PrelStable
simonm [Thu, 28 Jan 1999 16:59:33 +0000 (16:59 +0000)]
[project @ 1999-01-28 16:59:33 by simonm]
Zh --> zh
simonpj [Thu, 28 Jan 1999 16:37:42 +0000 (16:37 +0000)]
[project @ 1999-01-28 16:37:41 by simonpj]
Add OccName.mkMethodOcc, whose absence broke nofib/spectral/fft2
simonm [Thu, 28 Jan 1999 15:04:02 +0000 (15:04 +0000)]
[project @ 1999-01-28 15:04:00 by simonm]
- Be a bit more accurate about +RTS -H<size>, now we attempt to estimate
the amount of memory that will be needed at the next GC based on
the amount of promotion going on, and adjust the size of the allocation
area appropriately.
- tidy up, move some stuff into Storage.c.
simonpj [Thu, 28 Jan 1999 14:22:17 +0000 (14:22 +0000)]
[project @ 1999-01-28 14:22:15 by simonpj]
Fix erroneous name-clash report when a module ends up importing itself (eg TcEnv)
simonm [Thu, 28 Jan 1999 13:03:02 +0000 (13:03 +0000)]
[project @ 1999-01-28 13:03:02 by simonm]
Remove unnecessary (and non-H98-friendly) import.
simonm [Thu, 28 Jan 1999 12:59:11 +0000 (12:59 +0000)]
[project @ 1999-01-28 12:59:11 by simonm]
Update to match .hi-boot file.
simonm [Thu, 28 Jan 1999 12:14:16 +0000 (12:14 +0000)]
[project @ 1999-01-28 12:14:16 by simonm]
Remove unprintable characters from module header.
simonpj [Thu, 28 Jan 1999 12:14:00 +0000 (12:14 +0000)]
[project @ 1999-01-28 12:14:00 by simonpj]
Fix missing dash in SimplCore.lhs, which resulted in bogus specialisations
simonm [Thu, 28 Jan 1999 12:12:17 +0000 (12:12 +0000)]
[project @ 1999-01-28 12:12:17 by simonm]
Several updates, mainly to the "heap objects" section.
simonpj [Thu, 28 Jan 1999 11:33:44 +0000 (11:33 +0000)]
[project @ 1999-01-28 11:33:42 by simonpj]
Remove unnecessary imports
simonpj [Thu, 28 Jan 1999 11:32:13 +0000 (11:32 +0000)]
[project @ 1999-01-28 11:32:11 by simonpj]
Wibble
simonpj [Thu, 28 Jan 1999 11:29:23 +0000 (11:29 +0000)]
[project @ 1999-01-28 11:29:23 by simonpj]
Changes for new z-encoding
simonpj [Thu, 28 Jan 1999 11:27:01 +0000 (11:27 +0000)]
[project @ 1999-01-28 11:27:01 by simonpj]
Changes to PrelGHC.hi-boot for new z-encoding
simonpj [Thu, 28 Jan 1999 09:43:39 +0000 (09:43 +0000)]
[project @ 1999-01-28 09:43:38 by simonpj]
Fix lost specialisations; a one-char change in Simplify.lhs
simonpj [Thu, 28 Jan 1999 09:20:07 +0000 (09:20 +0000)]
[project @ 1999-01-28 09:19:57 by simonpj]
Always inline nullary constructors. This makes a
difference in:
case x ># y of r {
True -> f1 r
False -> f2 r
}
The code generator currently has difficulty binding "r"
to the boolean result of the comparision (and the compiler
crashes). This fix substitutes for r, thus:
case x ># y of r {
True -> f1 True
False -> f2 False
}
Voila.
simonm [Wed, 27 Jan 1999 17:37:18 +0000 (17:37 +0000)]
[project @ 1999-01-27 17:37:18 by simonm]
Increase CmdLineOpts stack size.
simonpj [Wed, 27 Jan 1999 16:54:18 +0000 (16:54 +0000)]
[project @ 1999-01-27 16:54:18 by simonpj]
Undo bogus fix to CgCase.lhs
simonm [Wed, 27 Jan 1999 16:41:16 +0000 (16:41 +0000)]
[project @ 1999-01-27 16:41:14 by simonm]
Use the +RTS -H<size> flag as a "suggestion" to the garbage collector
to use that much heap. If you have plenty of memory, then saying
+RTS -H<large> will really help GC times.
simonpj [Wed, 27 Jan 1999 15:05:07 +0000 (15:05 +0000)]
[project @ 1999-01-27 15:05:07 by simonpj]
Add RdrName.lhs
simonpj [Wed, 27 Jan 1999 15:01:17 +0000 (15:01 +0000)]
[project @ 1999-01-27 15:01:03 by simonpj]
Haskell 98 updates
simonpj [Wed, 27 Jan 1999 14:52:25 +0000 (14:52 +0000)]
[project @ 1999-01-27 14:51:14 by simonpj]
Finally! This commits the ongoing saga of Simon's hygiene sweep
FUNCTIONALITY
~~~~~~~~~~~~~
a) The 'unused variable' warnings from the renamer work.
b) Better error messages here and there, esp type checker
c) Fixities for Haskell 98 (maybe I'd done that before)
d) Lazy reporting of name clashes for Haskell 98 (ditto)
HYGIENE
~~~~~~~
a) type OccName has its own module. OccNames are represented
by a single FastString, not three as in the last round. This
string is held in Z-encoded form; a decoding function decodes
for printing in user error messages. There's a nice tight
encoding for (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)
b) type Module is a proper ADT, in module OccName
c) type RdrName is a proper ADT, in its own module
d) type Name has a new, somwhat tidier, representation
e) much grunting in the renamer to get Provenances right.
This makes error messages look better (no spurious qualifiers)
simonm [Wed, 27 Jan 1999 12:11:26 +0000 (12:11 +0000)]
[project @ 1999-01-27 12:11:25 by simonm]
More missing files <sigh>
simonm [Wed, 27 Jan 1999 10:55:39 +0000 (10:55 +0000)]
[project @ 1999-01-27 10:55:39 by simonm]
import PrelStable to get StablePtrs.
simonm [Wed, 27 Jan 1999 10:12:35 +0000 (10:12 +0000)]
[project @ 1999-01-27 10:12:35 by simonm]
PrelForeign.StablePtr moved to PrelStable.
simonm [Wed, 27 Jan 1999 10:11:27 +0000 (10:11 +0000)]
[project @ 1999-01-27 10:11:27 by simonm]
Add missing file.
simonm [Tue, 26 Jan 1999 16:16:35 +0000 (16:16 +0000)]
[project @ 1999-01-26 16:16:19 by simonm]
- Add specialised closure types (CONSTR_p_n, THUNK_p_n, FUN_p_n)
- Add -T<n> RTS flag to specify the number of steps in younger generations.
simonm [Tue, 26 Jan 1999 14:18:38 +0000 (14:18 +0000)]
[project @ 1999-01-26 14:18:38 by simonm]
Add missing file.
simonm [Tue, 26 Jan 1999 14:04:46 +0000 (14:04 +0000)]
[project @ 1999-01-26 14:04:46 by simonm]
add missing file.
sof [Tue, 26 Jan 1999 13:07:39 +0000 (13:07 +0000)]
[project @ 1999-01-26 13:07:39 by sof]
Drop unused infix decl for 'thenMaybeL' - spotted by 4.02 renamer.
simonm [Tue, 26 Jan 1999 12:25:02 +0000 (12:25 +0000)]
[project @ 1999-01-26 12:24:57 by simonm]
More stable name additions/changes.