simonpj [Fri, 21 Feb 2003 13:02:58 +0000 (13:02 +0000)]
[project @ 2003-02-21 13:02:58 by simonpj]
Small fix to a TH bug; this one concerning the constraint-gathering mechanism
simonpj [Fri, 21 Feb 2003 12:28:35 +0000 (12:28 +0000)]
[project @ 2003-02-21 12:28:35 by simonpj]
Another typo; sigh
simonpj [Fri, 21 Feb 2003 12:26:41 +0000 (12:26 +0000)]
[project @ 2003-02-21 12:26:41 by simonpj]
Typo
simonpj [Fri, 21 Feb 2003 12:16:45 +0000 (12:16 +0000)]
[project @ 2003-02-21 12:16:44 by simonpj]
Debugging hook jiggling
simonpj [Fri, 21 Feb 2003 12:16:05 +0000 (12:16 +0000)]
[project @ 2003-02-21 12:16:05 by simonpj]
Fix a type-error in desugaring TH code
sof [Fri, 21 Feb 2003 05:34:17 +0000 (05:34 +0000)]
[project @ 2003-02-21 05:34:12 by sof]
Asynchronous / non-blocking I/O for Win32 platforms.
This commit introduces a Concurrent Haskell friendly view of I/O on
Win32 platforms. Through the use of a pool of worker Win32 threads, CH
threads may issue asynchronous I/O requests without blocking the
progress of other CH threads. The issuing CH thread is blocked until
the request has been serviced though.
GHC.Conc exports the primops that take care of issuing the
asynchronous I/O requests, which the IO implementation now takes
advantage of. By default, all Handles are non-blocking/asynchronous,
but should performance become an issue, having a per-Handle flag for
turning off non-blocking could easily be imagined&introduced.
[Incidentally, this thread pool-based implementation could easily be
extended to also allow Haskell code to delegate the execution of
arbitrary pieces of (potentially blocking) external code to another OS
thread. Given how relatively gnarly the locking story has turned out
to be with the 'threaded' RTS, that may not be such a bad idea.]
sof [Fri, 21 Feb 2003 04:57:16 +0000 (04:57 +0000)]
[project @ 2003-02-21 04:57:16 by sof]
deja vu all over again
panne [Thu, 20 Feb 2003 18:53:15 +0000 (18:53 +0000)]
[project @ 2003-02-20 18:53:15 by panne]
* Nuked unused --with-glut-api and --with-glut-xlib arguments
* Only check for OpenGL headers and libs when --enable-hopengl is given
simonpj [Thu, 20 Feb 2003 18:34:11 +0000 (18:34 +0000)]
[project @ 2003-02-20 18:34:11 by simonpj]
typo
simonpj [Thu, 20 Feb 2003 18:33:55 +0000 (18:33 +0000)]
[project @ 2003-02-20 18:33:50 by simonpj]
-------------------------------------
Add Core Notes and the {-# CORE #-} pragma
-------------------------------------
This is an idea of Hal Daume's. The key point is that Notes in Core
are augmented thus:
data Note
= SCC CostCentre
| ...
| CoreNote String -- NEW
These notes can be injected via a Haskell-source pragma:
f x = ({-# CORE "foo" #-} show) ({-# CORE "bar" #-} x)
This wraps a (Note (CoreNote "foo")) around the 'show' variable,
and a similar note around the argument to 'show'.
These notes are basically ignored by GHC, but are emitted into
External Core, where they may convey useful information.
Exactly how code involving these notes is munged by the simplifier
isn't very well defined. We'll see how it pans out. Meanwhile
the impact on the rest of the compiler is minimal.
simonpj [Thu, 20 Feb 2003 18:27:16 +0000 (18:27 +0000)]
[project @ 2003-02-20 18:27:13 by simonpj]
Document {-# CORE #-} pragma (thanks to Hal Daume)
simonpj [Thu, 20 Feb 2003 18:19:25 +0000 (18:19 +0000)]
[project @ 2003-02-20 18:18:55 by simonpj]
Import pruning
simonpj [Thu, 20 Feb 2003 16:02:57 +0000 (16:02 +0000)]
[project @ 2003-02-20 16:02:57 by simonpj]
Add comments
simonpj [Thu, 20 Feb 2003 16:01:56 +0000 (16:01 +0000)]
[project @ 2003-02-20 16:01:56 by simonpj]
Comments and imports only
simonmar [Thu, 20 Feb 2003 15:39:59 +0000 (15:39 +0000)]
[project @ 2003-02-20 15:39:59 by simonmar]
closureSatisfiesConstraints: check whether the retainer set is valid
before attempting to match it against a constraint. It might not be
valid if the object is an ex-weak-pointer which was finalized after
the last GC.
MERGE TO STABLE
simonpj [Thu, 20 Feb 2003 13:23:49 +0000 (13:23 +0000)]
[project @ 2003-02-20 13:23:47 by simonpj]
-------------------------------------
Complete an earlier TH commit
-------------------------------------
In this earlier commit:
3. Ensure that a declaration quotation [d| ... |] does not have a
permanent effect on the instance environment. (A TH fix.)
I had forgotten to do a stage2 compile. This commit just completes
the earlier work. I moved some code from TcExpr (long) to TcSplice
(shorter) which had the happy effect of bringing related code together.
simonpj [Thu, 20 Feb 2003 13:21:15 +0000 (13:21 +0000)]
[project @ 2003-02-20 13:21:15 by simonpj]
-------------------------------------
Generate correct dependencies when reading External Core
-------------------------------------
We have to be more careful than I realised when doing strongly-connected
component analysis of type/class decls when reading External Core.
Here's the relevant new comment:
-- Building edges for SCC analysis
--
-- When building the edges, we treat the 'main name' of the declaration as the
-- key for the node, but when dealing with External Core we may come across
-- references to one of the implicit names for the declaration. For example:
-- class Eq a where ....
-- data :TSig a = :TSig (:TEq a) ....
-- The first decl is sucked in from an interface file; the second
-- is in an External Core file, generated from a class decl for Sig.
-- We have to recognise that the reference to :TEq represents a
-- dependency on the class Eq declaration, else the SCC stuff won't work right.
--
-- This complication can only happen when consuming an External Core file
--
-- Solution: keep an "EdgeMap" (bad name) that maps :TEq -> Eq.
-- Don't worry about data constructors, because we're only building
-- SCCs for type and class declarations here. So the tiresome mapping
-- is need only to map [class tycon -> class]
simonpj [Thu, 20 Feb 2003 13:18:10 +0000 (13:18 +0000)]
[project @ 2003-02-20 13:18:10 by simonpj]
Part 2 of fix :i in InteractiveUI
simonpj [Thu, 20 Feb 2003 13:17:02 +0000 (13:17 +0000)]
[project @ 2003-02-20 13:17:02 by simonpj]
Comments only
simonpj [Thu, 20 Feb 2003 13:16:31 +0000 (13:16 +0000)]
[project @ 2003-02-20 13:16:31 by simonpj]
Another datacon-naming wibble
simonpj [Thu, 20 Feb 2003 13:12:40 +0000 (13:12 +0000)]
[project @ 2003-02-20 13:12:40 by simonpj]
Fix :i in InteractiveUI
simonpj [Thu, 20 Feb 2003 13:01:21 +0000 (13:01 +0000)]
[project @ 2003-02-20 13:01:20 by simonpj]
Eliminate brain-dead outputC pattern-match failure
simonpj [Thu, 20 Feb 2003 13:00:25 +0000 (13:00 +0000)]
[project @ 2003-02-20 13:00:24 by simonpj]
Eliminate bogus string-literal duplication
simonpj [Thu, 20 Feb 2003 12:59:55 +0000 (12:59 +0000)]
[project @ 2003-02-20 12:59:55 by simonpj]
Compile binary stuff with -O always
simonmar [Thu, 20 Feb 2003 11:45:24 +0000 (11:45 +0000)]
[project @ 2003-02-20 11:45:24 by simonmar]
Add -fvia-C to utils/Panic_HC_OPTS, and remove it from main/Main_HC_OPTS.
sof [Wed, 19 Feb 2003 16:38:35 +0000 (16:38 +0000)]
[project @ 2003-02-19 16:38:35 by sof]
odir-ify prelude/PrimOp.o dependency
simonpj [Wed, 19 Feb 2003 16:30:17 +0000 (16:30 +0000)]
[project @ 2003-02-19 16:30:17 by simonpj]
Document phase control
simonpj [Wed, 19 Feb 2003 15:54:12 +0000 (15:54 +0000)]
[project @ 2003-02-19 15:54:05 by simonpj]
-------------------------------------
Two minor wibbles
-------------------------------------
1. Make the generic toT/fromT Ids for "generic derived classes" into
proper ImplicitIds, with their own GlobalIdDetails. This makes it
easier to identify them. (The lack of this showed up as a bug
when I made an apparently-innocuous other change.)
2. Distinguish ClassOpIds from RecordSelIds in their GlobalIdDetails.
They are treated differently here and there, so I made this change
as part of (1)
3. Ensure that a declaration quotation [d| ... |] does not have a
permanent effect on the instance environment. (A TH fix.)
simonpj [Wed, 19 Feb 2003 13:05:47 +0000 (13:05 +0000)]
[project @ 2003-02-19 13:05:45 by simonpj]
Wibbles to the new datacon story; fixes ds002
simonmar [Wed, 19 Feb 2003 11:52:42 +0000 (11:52 +0000)]
[project @ 2003-02-19 11:52:42 by simonmar]
Add note to description of -no-hs-main: it forces linking in --make
mode too.
simonmar [Wed, 19 Feb 2003 11:51:35 +0000 (11:51 +0000)]
[project @ 2003-02-19 11:51:35 by simonmar]
If -no-hs-main is specified in --make mode, attempt linking even when
there's no Main module.
Fixes bug #686620
MERGE TO STABLE
igloo [Tue, 18 Feb 2003 16:23:36 +0000 (16:23 +0000)]
[project @ 2003-02-18 16:23:35 by igloo]
Support strictness annotations on data declarations and support the record
and infix constructors. Also tweaked the pretty printer a bit.
simonpj [Tue, 18 Feb 2003 15:54:42 +0000 (15:54 +0000)]
[project @ 2003-02-18 15:54:42 by simonpj]
Remove un-necessary case
simonpj [Tue, 18 Feb 2003 15:54:20 +0000 (15:54 +0000)]
[project @ 2003-02-18 15:54:19 by simonpj]
-------------------------------------
Two minor wibbles
-------------------------------------
[These two unrelated fixes just got tangled together in my tree.]
1. Fix a crash when a class op is used as a record selector
2. Fix a wibble related to the new DataCon naming story.
In tcId, treat the DataCon case entirely separately, because
its "stupid context" doesn't show up in its type.
On the way, remove the DataCon cases in tcLookupId and tcLookupGlobalId
The should not be necessary. He says hopefully.
simonpj [Tue, 18 Feb 2003 15:54:02 +0000 (15:54 +0000)]
[project @ 2003-02-18 15:54:02 by simonpj]
Cosmetic wibble
simonpj [Tue, 18 Feb 2003 15:42:59 +0000 (15:42 +0000)]
[project @ 2003-02-18 15:42:59 by simonpj]
Comments only
simonmar [Tue, 18 Feb 2003 09:57:19 +0000 (09:57 +0000)]
[project @ 2003-02-18 09:57:19 by simonmar]
Fix build on GHC < 5.00
sof [Tue, 18 Feb 2003 05:47:53 +0000 (05:47 +0000)]
[project @ 2003-02-18 05:47:53 by sof]
make use of MBLOCK_ROUND_DOWN()
sof [Tue, 18 Feb 2003 05:40:20 +0000 (05:40 +0000)]
[project @ 2003-02-18 05:40:20 by sof]
arenaAlloc(): tidy up alignment calc
simonpj [Mon, 17 Feb 2003 15:14:25 +0000 (15:14 +0000)]
[project @ 2003-02-17 15:14:25 by simonpj]
More notes about building on Win32
simonpj [Mon, 17 Feb 2003 15:11:47 +0000 (15:11 +0000)]
[project @ 2003-02-17 15:11:47 by simonpj]
Use hasktags by default
simonmar [Mon, 17 Feb 2003 12:24:28 +0000 (12:24 +0000)]
[project @ 2003-02-17 12:24:26 by simonmar]
Restore interrupt/quit signal handlers after every evaluation in GHCi,
just in case the program set its own.
simonmar [Mon, 17 Feb 2003 11:42:15 +0000 (11:42 +0000)]
[project @ 2003-02-17 11:42:15 by simonmar]
Comment change only
simonmar [Mon, 17 Feb 2003 11:26:43 +0000 (11:26 +0000)]
[project @ 2003-02-17 11:26:43 by simonmar]
GHC is pre-supposed in order to build GHC. We weren't making this
nearly as explicit as it should have been.
simonmar [Mon, 17 Feb 2003 11:18:45 +0000 (11:18 +0000)]
[project @ 2003-02-17 11:18:45 by simonmar]
Emit an error if we're trying to build GHC from source without GHC installed.
panne [Fri, 14 Feb 2003 19:21:57 +0000 (19:21 +0000)]
[project @ 2003-02-14 19:21:57 by panne]
Not sure if this fix is correct, but at least this module compiles
again...
simonpj [Fri, 14 Feb 2003 14:22:25 +0000 (14:22 +0000)]
[project @ 2003-02-14 14:22:24 by simonpj]
-------------------------------------
Do the top-level tcSimpifyTop (to resolve monomorphic constraints)
once for the whole program, rather than once per splice group
-------------------------------------
This change makes the trivial program
main = return ()
work again. It had stopped working (emitting an error about Monad m
being unconstrained) because the 'checkMain' stuff (which knows special
things about 'main' was happening only *after* all the groups of
decls in the module had been dealt with and zonked (incl tcSimplifyTop).
Better to postpone. A little more plumbing, but one fewer unexpected
happenings.
simonpj [Fri, 14 Feb 2003 14:19:29 +0000 (14:19 +0000)]
[project @ 2003-02-14 14:19:29 by simonpj]
Comments
simonpj [Fri, 14 Feb 2003 14:19:15 +0000 (14:19 +0000)]
[project @ 2003-02-14 14:19:15 by simonpj]
A bit more debug info + comments
simonpj [Fri, 14 Feb 2003 14:18:02 +0000 (14:18 +0000)]
[project @ 2003-02-14 14:18:02 by simonpj]
A bit more about scoped type variables
simonpj [Fri, 14 Feb 2003 14:17:43 +0000 (14:17 +0000)]
[project @ 2003-02-14 14:17:43 by simonpj]
wibble
simonpj [Fri, 14 Feb 2003 13:01:32 +0000 (13:01 +0000)]
[project @ 2003-02-14 13:01:32 by simonpj]
Fix for deriving of records with leading underscore, and corresponding lex
wolfgang [Thu, 13 Feb 2003 15:45:06 +0000 (15:45 +0000)]
[project @ 2003-02-13 15:45:05 by wolfgang]
support many more MachOps in the PowerPC NCG
sof [Thu, 13 Feb 2003 15:20:27 +0000 (15:20 +0000)]
[project @ 2003-02-13 15:20:27 by sof]
upd wrt spacy filenames
simonpj [Thu, 13 Feb 2003 08:41:55 +0000 (08:41 +0000)]
[project @ 2003-02-13 08:41:54 by simonpj]
Commit a couple of hi-boot files I forgot
sof [Thu, 13 Feb 2003 01:50:05 +0000 (01:50 +0000)]
[project @ 2003-02-13 01:50:04 by sof]
Be sensitive to filenames containing spaces when processing
:load & :add commands. Ditto when interpreting filenames given
on GHCi's cmd-line.
Merge to STABLE.
wolfgang [Wed, 12 Feb 2003 23:38:23 +0000 (23:38 +0000)]
[project @ 2003-02-12 23:38:23 by wolfgang]
Threaded RTS: improve ccall performance by allocation parameters as a
variable length array instead of using malloc
wolfgang [Wed, 12 Feb 2003 22:17:04 +0000 (22:17 +0000)]
[project @ 2003-02-12 22:17:04 by wolfgang]
Enable building the native code generator for PowerPC/Mac OS X by default.
It's still not used by default, so you have to specify -fasm when you want
it.
wolfgang [Wed, 12 Feb 2003 21:39:43 +0000 (21:39 +0000)]
[project @ 2003-02-12 21:39:43 by wolfgang]
Finally enable GHCi by default on Mac OS X, this should have been done a
long time ago...
MERGE TO STABLE
simonpj [Wed, 12 Feb 2003 17:57:34 +0000 (17:57 +0000)]
[project @ 2003-02-12 17:57:34 by simonpj]
A wibble to the constructor-naming story
qrczak [Wed, 12 Feb 2003 17:48:45 +0000 (17:48 +0000)]
[project @ 2003-02-12 17:48:45 by qrczak]
Another typo.
qrczak [Wed, 12 Feb 2003 17:36:52 +0000 (17:36 +0000)]
[project @ 2003-02-12 17:36:52 by qrczak]
Typo.
simonpj [Wed, 12 Feb 2003 15:01:44 +0000 (15:01 +0000)]
[project @ 2003-02-12 15:01:31 by simonpj]
-------------------------------------
Big upheaval to the way that constructors are named
-------------------------------------
This commit enshrines the new story for constructor names. We could never
really get External Core to work nicely before, but now it does.
The story is laid out in detail in the Commentary
ghc/docs/comm/the-beast/data-types.html
so I will not repeat it here.
[Manuel: the commentary isn't being updated, apparently.]
However, the net effect is that in Core and in External Core, contructors look
like constructors, and the way things are printed is all consistent.
It is a fairly pervasive change (which is why it has been so long postponed),
but I hope the question is now finally closed.
All the libraries compile etc, and I've run many tests, but doubtless there will
be some dark corners.
simonmar [Wed, 12 Feb 2003 11:59:49 +0000 (11:59 +0000)]
[project @ 2003-02-12 11:59:49 by simonmar]
Fix two bugs/omissions in the new THUNK_SELECTOR code which cause
biographical profiling to fall over.
(aka rev. 1.135.4.10)
simonmar [Wed, 12 Feb 2003 11:05:41 +0000 (11:05 +0000)]
[project @ 2003-02-12 11:05:41 by simonmar]
Fix bug caused by non-use of function prototypes (grrr!).
simonmar [Wed, 12 Feb 2003 10:32:38 +0000 (10:32 +0000)]
[project @ 2003-02-12 10:32:38 by simonmar]
Adapt the dist target a little to work with the nightly build's new
way of building source dists.
It now works by building a link tree to the build tree, and doing
'make dist' on the link tree, to avoid destroying the real build tree.
This just needed a couple of tweaks to the dist target to work.
simonpj [Tue, 11 Feb 2003 17:19:36 +0000 (17:19 +0000)]
[project @ 2003-02-11 17:19:35 by simonpj]
Lots of new stuff about data types
simonpj [Tue, 11 Feb 2003 15:27:32 +0000 (15:27 +0000)]
[project @ 2003-02-11 15:27:32 by simonpj]
More Win32 notes
wolfgang [Tue, 11 Feb 2003 11:53:52 +0000 (11:53 +0000)]
[project @ 2003-02-11 11:53:51 by wolfgang]
Mac OS X:
Add support for dynamic linker "symbol stubs". For every function that might
be imported from a dynamic library, we have to generate a short piece of
assembly code.
Extend the NatM monad to keep track of the list of imports (for which stubs
will be generated later).
Fix a bug concerning 64 bit ints (hi and low words were swapped in one place).
sof [Tue, 11 Feb 2003 04:32:06 +0000 (04:32 +0000)]
[project @ 2003-02-11 04:32:06 by sof]
Tighten up prev commit:
- win32: only add default --template=... option if the template file
exists.
- if user has supplied --cc=.., use it as a default for 'ld'.
wolfgang [Mon, 10 Feb 2003 23:35:03 +0000 (23:35 +0000)]
[project @ 2003-02-10 23:35:03 by wolfgang]
Mac OS X:
add one more relocation type (PPC_RELOC_BR24)
and add more C run-time library symbols to the symbol table
(made more difficult by the fact that these symbols don't
have an underscore prefix, while everything else on Mac OS X has)
simonmar [Mon, 10 Feb 2003 10:41:52 +0000 (10:41 +0000)]
[project @ 2003-02-10 10:41:52 by simonmar]
Add some missing symbols.
Should fix several recent test breakages with GHCi.
simonmar [Mon, 10 Feb 2003 10:13:13 +0000 (10:13 +0000)]
[project @ 2003-02-10 10:13:13 by simonmar]
Add GHC_Ptr_FunPtr_con_info symbol in the other branch of the #ifdef, too.
wolfgang [Sat, 8 Feb 2003 20:14:19 +0000 (20:14 +0000)]
[project @ 2003-02-08 20:14:19 by wolfgang]
PowerPC: for ccalls, use the correct minimum size (32 bytes) for the
parameter area
wolfgang [Sat, 8 Feb 2003 13:34:06 +0000 (13:34 +0000)]
[project @ 2003-02-08 13:34:06 by wolfgang]
Fix a potential crash in the threaded RTS by copying ccall arguments
from the TSO stack to a malloced block before doing the call.
(no changes were made for the non-threaded case)
sof [Fri, 7 Feb 2003 22:26:08 +0000 (22:26 +0000)]
[project @ 2003-02-07 22:26:08 by sof]
hsc2hs-inplace: provide --ld default-default
sof [Fri, 7 Feb 2003 22:14:32 +0000 (22:14 +0000)]
[project @ 2003-02-07 22:14:32 by sof]
Rip out rawSystem impl -- it only happened to work by accident.
Simpler to just assume that SystemExts supplies it instead, which it
has for a number of versions now.
sof [Fri, 7 Feb 2003 21:55:36 +0000 (21:55 +0000)]
[project @ 2003-02-07 21:55:36 by sof]
- default linker is now 'ghc' (i.e., consistent with the default compiler.)
- new option, -v/--verbose, which makes the tool less inscrutable about what
external commands it actually ends up exec'ing.
- under Win32, try locating the default 'ghc' to run by looking in the dir
where 'hsc2hs' resides (which they do in a binary install.)
- make the default --template arg story actually work (win32 only.)
simonpj [Fri, 7 Feb 2003 09:39:03 +0000 (09:39 +0000)]
[project @ 2003-02-07 09:39:02 by simonpj]
Fix minor bugs in simplifier iteration control
tgedell [Thu, 6 Feb 2003 19:39:37 +0000 (19:39 +0000)]
[project @ 2003-02-06 19:39:35 by tgedell]
Changed so that PredType is declared as a type and not a datatype,
this caused a problem when generating external Core.
Added SourceType as a datatype since PredType refers to it.
simonpj [Thu, 6 Feb 2003 17:37:50 +0000 (17:37 +0000)]
[project @ 2003-02-06 17:37:50 by simonpj]
Deal with TForall in cvtType
simonpj [Thu, 6 Feb 2003 17:15:54 +0000 (17:15 +0000)]
[project @ 2003-02-06 17:15:50 by simonpj]
-------------------------------------
Fix parsing of floating-point constants in External Core
-------------------------------------
This fix accidentally made it into the previous (unrelated) commit,
so it's really the *previous* change to LexCore you should look
at.
The fix updates LexCore so that it can parse literals in scientific
notation (e.g. 4.3e-3)
simonpj [Thu, 6 Feb 2003 17:11:14 +0000 (17:11 +0000)]
[project @ 2003-02-06 17:11:13 by simonpj]
Minor tidy up of known-key names
simonmar [Thu, 6 Feb 2003 10:04:57 +0000 (10:04 +0000)]
[project @ 2003-02-06 10:04:57 by simonmar]
Oops, Add rts_getFunPtr too.
simonmar [Thu, 6 Feb 2003 09:56:10 +0000 (09:56 +0000)]
[project @ 2003-02-06 09:56:07 by simonmar]
rts_mkFunPtr and rts_getFunPtr were missing. Thanks to Daan Leijen
for spotting and reporting the bug.
MERGE TO STABLE
simonpj [Thu, 6 Feb 2003 09:36:46 +0000 (09:36 +0000)]
[project @ 2003-02-06 09:36:46 by simonpj]
Fix version-itis in LexCore, so it will compile with 4.08 again
simonpj [Thu, 6 Feb 2003 09:29:14 +0000 (09:29 +0000)]
[project @ 2003-02-06 09:29:14 by simonpj]
Improve error message
simonmar [Wed, 5 Feb 2003 12:33:34 +0000 (12:33 +0000)]
[project @ 2003-02-05 12:33:33 by simonmar]
EXTRA_OBJS is not the right thing to be adding into the objects to be
put into a SplitObjs library - it causes certain objects to turn up
twice in the resulting library (eg. if EXTRA_OBJS duplicates some
objects also found in HS_OBJS).
In fact, EXTRA_OBJS is generally bogus and now isn't used anywhere, so
I've removed it.
Should fix the problem recently reported with PrimopWrappers occurring
twice in the libHSbase.a archive.
simonmar [Wed, 5 Feb 2003 12:05:05 +0000 (12:05 +0000)]
[project @ 2003-02-05 12:05:05 by simonmar]
fix markup slightly
simonpj [Wed, 5 Feb 2003 11:42:08 +0000 (11:42 +0000)]
[project @ 2003-02-05 11:42:08 by simonpj]
Remove more usage-analysis stuff
simonpj [Wed, 5 Feb 2003 11:41:50 +0000 (11:41 +0000)]
[project @ 2003-02-05 11:41:50 by simonpj]
Wibble to TcRules (fixes HEAD breakage)
simonpj [Wed, 5 Feb 2003 11:41:26 +0000 (11:41 +0000)]
[project @ 2003-02-05 11:41:26 by simonpj]
-------------------------------------
Fix parsing of floating-point constants in External Core
-------------------------------------
This fix accidentally made it into the previous (unrelated) commit,
so it's really the *previous* change to LexCore you should look
at.
The fix updates LexCore so that it can parse literals in scientific
notation (e.g. 4.3e-3)
simonpj [Wed, 5 Feb 2003 11:39:27 +0000 (11:39 +0000)]
[project @ 2003-02-05 11:39:26 by simonpj]
Type sigs and comments only
simonmar [Wed, 5 Feb 2003 09:37:23 +0000 (09:37 +0000)]
[project @ 2003-02-05 09:37:23 by simonmar]
Remove usageSP directory
simonpj [Tue, 4 Feb 2003 15:31:18 +0000 (15:31 +0000)]
[project @ 2003-02-04 15:31:18 by simonpj]
-------------------------------------
Fix a name-capture bug in Ext-Core
-------------------------------------
Don't expand newtypes (even non-recursive ones) when going to External Core.
Reason: the expansion was performed *after* Tidying; the expansion performs
type substitution, which is only done right if you take account of the Uniques.
But since it's post-tidying, we got capture of occurence names.
I hope the lack of newtype expansion doesn't hurt anyone; I doubt it will.
If so, we can think again.
Thanks to Tobias Gedell for this one.
simonpj [Tue, 4 Feb 2003 15:09:47 +0000 (15:09 +0000)]
[project @ 2003-02-04 15:09:38 by simonpj]
-------------------------------------
Remove all vestiges of usage analysis
-------------------------------------
This commit removes a large blob of usage-analysis-related code, almost
all of which was commented out.
Sadly, it doesn't look as if Keith is going to have enough time to polish it
up, and in any case the actual performance benefits (so far as we can measure
them) turned out to be pretty modest (a few percent).
So, with regret, I'm chopping it all out. It's still there in the repository
if anyone wants go hack on it. And Tobias Gedell at Chalmers is implementing
a different analysis, via External Core.
simonpj [Tue, 4 Feb 2003 13:06:41 +0000 (13:06 +0000)]
[project @ 2003-02-04 13:06:41 by simonpj]
---------------------------------------------------
External Core fix
output implicit bindings in correct dependency order
---------------------------------------------------
In coreSyn/MkExternalCore, output constructor wrappers before the
other implicit bindings, because the latter may use the former.
Thanks to Tobias Gedell for this one.
simonpj [Tue, 4 Feb 2003 12:40:01 +0000 (12:40 +0000)]
[project @ 2003-02-04 12:40:00 by simonpj]
Make utils/genprimopcode recognise the type ().
It was previously written 'Unit', which is easily
confused with the type 'Unit' (used for generic
derived instances).
simonpj [Tue, 4 Feb 2003 12:33:07 +0000 (12:33 +0000)]
[project @ 2003-02-04 12:33:05 by simonpj]
---------------------------------------------------
Template-Haskell fix to make the global environment
more side-effect-ful
---------------------------------------------------
Consider
f = $(...foldl...) $(...foldl...)
The first splice sucks in the type sig for foldl, which the second
splice needs. That means that the second splice is going to have to
consult the persistent compiler state to see the effect of imports
by the first one.
We used to cache the global type environment in the TcGblEnv, but
this commit switches to the obvious thing: consult the persistent
state on every global lookup. After all, reading a MutVar is no
big deal; and it's a benign, ever-growing cache of type signatures,
so the side effect is fine.
On the way I tidied up the knot-tying in TcIfaceSig a bit more.
Previously, I think the setUnfoldingInfo was being strict in the
unfolding, which forced it to be type-checked. Now it's lazy.
That could mean a lot less typechecking overall, for things whose
unfolding isn't looked at. I hope I havn't broken it, though.
simonpj [Tue, 4 Feb 2003 12:28:26 +0000 (12:28 +0000)]
[project @ 2003-02-04 12:28:22 by simonpj]
---------------------------------------------------
Important fix to the handling of class methods that
mention their own class type variable
---------------------------------------------------
[NB: I'm not 100% certain that this commit is independent of the
Template-Haskell-related commit I'm doing at the same time.
I've tried to separate them but may not have succeeded totally.]
This bug gives utterly bogus (detected by Core Lint) programs.
Isaac Jones discovered it. Here's an example, now enshrined as tc165.
class C a where
f :: (Eq a) => a
instance C () where
f = f
The instance decl was translated as
dfC() = MkC (let f = \dEq -> f in f)
which is utterly wrong. Reason: the 'f' on the left was being treated
as an available Inst, but it doesn't obey INVARIANT 2 for Insts, which
is that they are applied to all their dictionaries. (See the data type
decl for Inst.)
Solution: don't include such class methods in the available Insts.