panne [Mon, 1 Apr 2002 12:23:20 +0000 (12:23 +0000)]
[project @ 2002-04-01 12:23:20 by panne]
Fixed imports for GHC >= 5.03
panne [Mon, 1 Apr 2002 11:18:19 +0000 (11:18 +0000)]
[project @ 2002-04-01 11:18:18 by panne]
"warning: unused variable"-police
simonpj [Mon, 1 Apr 2002 09:24:29 +0000 (09:24 +0000)]
[project @ 2002-04-01 09:24:29 by simonpj]
Comments
simonpj [Mon, 1 Apr 2002 08:53:35 +0000 (08:53 +0000)]
[project @ 2002-04-01 08:53:35 by simonpj]
wibble
simonpj [Mon, 1 Apr 2002 08:23:36 +0000 (08:23 +0000)]
[project @ 2002-04-01 08:23:30 by simonpj]
------------------------------------
Change the treatment of the stupid
context on data constructors
-----------------------------------
Data types can have a context:
data (Eq a, Ord b) => T a b = T1 a b | T2 a
and that makes the constructors have a context too
(notice that T2's context is "thinned"):
T1 :: (Eq a, Ord b) => a -> b -> T a b
T2 :: (Eq a) => a -> T a b
Furthermore, this context pops up when pattern matching
(though GHC hasn't implemented this, but it is in H98, and
I've fixed GHC so that it now does):
f (T2 x) = x
gets inferred type
f :: Eq a => T a b -> a
I say the context is "stupid" because the dictionaries passed
are immediately discarded -- they do nothing and have no benefit.
It's a flaw in the language.
Up to now I have put this stupid context into the type of
the "wrapper" constructors functions, T1 and T2, but that turned
out to be jolly inconvenient for generics, and record update, and
other functions that build values of type T (because they don't
have suitable dictionaries available).
So now I've taken the stupid context out. I simply deal with
it separately in the type checker on occurrences of a constructor,
either in an expression or in a pattern.
To this end
* Lots of changes in DataCon, MkId
* New function Inst.tcInstDataCon to instantiate a data constructor
I also took the opportunity to
* Rename
dataConId --> dataConWorkId
for consistency.
* Tidied up MkId.rebuildConArgs quite a bit, and renamed it
mkReboxingAlt
* Add function DataCon.dataConExistentialTyVars, with the obvious meaning
simonpj [Mon, 1 Apr 2002 08:22:38 +0000 (08:22 +0000)]
[project @ 2002-04-01 08:22:38 by simonpj]
Comments
simonpj [Mon, 1 Apr 2002 08:17:57 +0000 (08:17 +0000)]
[project @ 2002-04-01 08:17:57 by simonpj]
Split out FastMutInt separately
simonpj [Mon, 1 Apr 2002 08:17:03 +0000 (08:17 +0000)]
[project @ 2002-04-01 08:17:03 by simonpj]
Comments
simonpj [Mon, 1 Apr 2002 08:16:50 +0000 (08:16 +0000)]
[project @ 2002-04-01 08:16:49 by simonpj]
Import wibbles
sof [Fri, 29 Mar 2002 21:39:39 +0000 (21:39 +0000)]
[project @ 2002-03-29 21:39:36 by sof]
Front end for External Core.
Initial go at implementing a Core front end
(enabled via -fcore); work in progress (renamer
is currently not willing to slurp in & resolve
imports.)
krasimir [Fri, 29 Mar 2002 20:46:50 +0000 (20:46 +0000)]
[project @ 2002-03-29 20:46:50 by krasimir]
Latest Win32 implementation allows dynamic loading only for *.dll libraries. This commit add checking for *.drv libraries (drivers). This allows loading of winspool.drv needed for ObjectIO
krasimir [Fri, 29 Mar 2002 20:14:31 +0000 (20:14 +0000)]
[project @ 2002-03-29 20:14:31 by krasimir]
Hack hs_libraries package info for HSobjectio[1,2,3,4]
simonmar [Thu, 28 Mar 2002 17:52:08 +0000 (17:52 +0000)]
[project @ 2002-03-28 17:52:08 by simonmar]
In lookupTopBndrRn, if we're in an interface file, then create the
binder in the cache with the correct Module (inc. package name) rather
than making a vanilla module as we do currently.
This helps to get the package names right in names from interfaces
that we've read via checkOldIface (ie. "skipped" modules), and fixes a
bug to do with unnecessary version bumping and recompilation.
(Simon P.J. will add a better comment later)
MERGE TO STABLE
simonpj [Thu, 28 Mar 2002 15:31:05 +0000 (15:31 +0000)]
[project @ 2002-03-28 15:31:05 by simonpj]
Another readHoleResult glitch (fixes rn003)
sof [Thu, 28 Mar 2002 15:11:48 +0000 (15:11 +0000)]
[project @ 2002-03-28 15:11:48 by sof]
running binary-dist without having BIN_DIST set is now a no-no, I believe.
sof [Thu, 28 Mar 2002 14:46:59 +0000 (14:46 +0000)]
[project @ 2002-03-28 14:46:59 by sof]
recognise new cygwin moniker reported by config.guess
sof [Thu, 28 Mar 2002 14:43:14 +0000 (14:43 +0000)]
[project @ 2002-03-28 14:43:14 by sof]
cygwin-specific path mangling of CWD no longer reqd
simonmar [Thu, 28 Mar 2002 09:59:03 +0000 (09:59 +0000)]
[project @ 2002-03-28 09:59:03 by simonmar]
The test suite wins again: re-enable empty contexts in data
declarations.
stolz [Thu, 28 Mar 2002 08:39:33 +0000 (08:39 +0000)]
[project @ 2002-03-28 08:39:33 by stolz]
posix/DLPrim now uses configure to check for RTLD_LOCAL.
simonmar [Wed, 27 Mar 2002 16:48:47 +0000 (16:48 +0000)]
[project @ 2002-03-27 16:48:47 by simonmar]
Sigh, recompilation checking in --make mdoe has been badly broken for
well, probably ever.
The problem is that in GHCi mode there's a restriction on the use of
object files, namely that an object file may only depend on other
up-to-date object files in order to be up-to-date itself, because we
don't have support for linking object code to interpreted code.
Unfortunately we were applying this restriction to --make compilations
too, with the result that far too much recompilation was happening.
MERGE TO STABLE
simonmar [Wed, 27 Mar 2002 12:35:44 +0000 (12:35 +0000)]
[project @ 2002-03-27 12:35:44 by simonmar]
Update the comment about how to add a new primop.
simonpj [Wed, 27 Mar 2002 12:09:02 +0000 (12:09 +0000)]
[project @ 2002-03-27 12:09:00 by simonpj]
More validity checking, esp for existential ctxt on data cons
simonpj [Wed, 27 Mar 2002 12:07:45 +0000 (12:07 +0000)]
[project @ 2002-03-27 12:07:42 by simonpj]
Comments and tracing only
sof [Tue, 26 Mar 2002 23:56:45 +0000 (23:56 +0000)]
[project @ 2002-03-26 23:56:44 by sof]
TEXT_BEFORE_HEAP & cygwin: same as for mingw
sof [Tue, 26 Mar 2002 23:51:27 +0000 (23:51 +0000)]
[project @ 2002-03-26 23:51:27 by sof]
initDefaultHandlers(): siginterrupt() not supported w/ cygwin
sof [Tue, 26 Mar 2002 23:47:17 +0000 (23:47 +0000)]
[project @ 2002-03-26 23:47:17 by sof]
re-add way 'p' to GhcLibWays
sof [Tue, 26 Mar 2002 22:09:20 +0000 (22:09 +0000)]
[project @ 2002-03-26 22:08:44 by sof]
mingw32_TARGET_OS -> mingw32_HOST_OS
sof [Tue, 26 Mar 2002 21:59:41 +0000 (21:59 +0000)]
[project @ 2002-03-26 21:59:41 by sof]
the platform-specific features to use to compile the compiler sources are dependent on the host, not the target platform
sof [Tue, 26 Mar 2002 20:14:38 +0000 (20:14 +0000)]
[project @ 2002-03-26 20:14:38 by sof]
only test for -mno-cygwin if the target is mingw32
simonpj [Tue, 26 Mar 2002 19:08:19 +0000 (19:08 +0000)]
[project @ 2002-03-26 19:08:19 by simonpj]
Fix readHoleResult bug
stolz [Tue, 26 Mar 2002 16:36:09 +0000 (16:36 +0000)]
[project @ 2002-03-26 16:36:09 by stolz]
Add dlopen() and friends to package 'posix'.
A configure-test for RTLD_NEXT is required. Record if -ldl is
required in posix.conf.
simonmar [Tue, 26 Mar 2002 11:09:34 +0000 (11:09 +0000)]
[project @ 2002-03-26 11:09:34 by simonmar]
Make the closure types consecutive
simonmar [Tue, 26 Mar 2002 10:43:15 +0000 (10:43 +0000)]
[project @ 2002-03-26 10:43:15 by simonmar]
A couple of cleanups to the previous change: we should test
TABLES_NEXT_TO_CODE rather than USE_MINIINTERPRETER to enable the
MacOSX "plan C", and use structure field selection rather than array
indexing to get the entry code ptr from the info table.
simonmar [Tue, 26 Mar 2002 10:35:20 +0000 (10:35 +0000)]
[project @ 2002-03-26 10:35:20 by simonmar]
Changes to support powerpc-apple-darwin
From: Wolfgang Thaller <wolfgang.thaller@gmx.net>
simonmar [Tue, 26 Mar 2002 10:33:46 +0000 (10:33 +0000)]
[project @ 2002-03-26 10:33:46 by simonmar]
Changes to support powerpc-apple-macosx
From: Wolfgang Thaller <wolfgang.thaller@gmx.net>
simonmar [Tue, 26 Mar 2002 10:30:44 +0000 (10:30 +0000)]
[project @ 2002-03-26 10:30:44 by simonmar]
Changes to support powerpc-apple-macosx
From: Wolfgang Thaller <wolfgang.thaller@gmx.net>
simonmar [Tue, 26 Mar 2002 10:27:35 +0000 (10:27 +0000)]
[project @ 2002-03-26 10:27:35 by simonmar]
Changes to support powerpc-apple-macosx.
From Wolfgang Thaller <wolfgang.thaller@gmx.net>.
sof [Mon, 25 Mar 2002 15:56:00 +0000 (15:56 +0000)]
[project @ 2002-03-25 15:56:00 by sof]
hc-file-bundle: removed dangling ParseIface.hs pointer
simonpj [Mon, 25 Mar 2002 15:08:39 +0000 (15:08 +0000)]
[project @ 2002-03-25 15:08:38 by simonpj]
-------------------------------
Fix bugs in rank-N polymorphism
-------------------------------
Discussion with Mark showed up some bugs in the rank-N
polymorphism stuff, especally concerning the treatment of
'hole' type variables.
See especially TcMType:
newHoleTyVar
readHoleResult
zapToType
Also the treatment of conditionals and case branches
is done right now, using zapToType
simonpj [Mon, 25 Mar 2002 14:58:32 +0000 (14:58 +0000)]
[project @ 2002-03-25 14:58:32 by simonpj]
imports
simonpj [Mon, 25 Mar 2002 14:41:05 +0000 (14:41 +0000)]
[project @ 2002-03-25 14:41:05 by simonpj]
Comments
sof [Mon, 25 Mar 2002 05:21:19 +0000 (05:21 +0000)]
[project @ 2002-03-25 05:21:19 by sof]
RTS_MINGW_ONLY_SYMBOLS: added rewinddir()
sof [Mon, 25 Mar 2002 05:11:16 +0000 (05:11 +0000)]
[project @ 2002-03-25 05:11:16 by sof]
not using -lpthread w/ mingw
sebc [Thu, 21 Mar 2002 11:24:00 +0000 (11:24 +0000)]
[project @ 2002-03-21 11:23:59 by sebc]
Implement Plan C, with correct code to detect the data and text
sections for MacOS X.
Also add a sanity check in initStorage, to make sure we are able to
make the distinction between closures and infotables.
simonpj [Thu, 21 Mar 2002 09:00:54 +0000 (09:00 +0000)]
[project @ 2002-03-21 09:00:54 by simonpj]
Restore lost imports for catchJust, ioErrors, accidentally removed
by Sigbjorn's commit. (Hard to spot -- it's only needed for 4.08 and earlier.)
sebc [Wed, 20 Mar 2002 23:07:02 +0000 (23:07 +0000)]
[project @ 2002-03-20 23:07:02 by sebc]
Update a comment only.
sof [Wed, 20 Mar 2002 20:21:15 +0000 (20:21 +0000)]
[project @ 2002-03-20 20:21:15 by sof]
findPackageMod: for source imports, restrict ourselves to looking for hi-boots only
sof [Wed, 20 Mar 2002 20:20:26 +0000 (20:20 +0000)]
[project @ 2002-03-20 20:20:26 by sof]
import tidyup
sof [Wed, 20 Mar 2002 19:42:49 +0000 (19:42 +0000)]
[project @ 2002-03-20 19:42:49 by sof]
maybeHomeModule: if chasing after a source import, _only_ look for hi-boots
simonpj [Wed, 20 Mar 2002 14:46:18 +0000 (14:46 +0000)]
[project @ 2002-03-20 14:46:17 by simonpj]
Put module dependency info in the commentary
simonpj [Wed, 20 Mar 2002 11:25:35 +0000 (11:25 +0000)]
[project @ 2002-03-20 11:24:42 by simonpj]
Unravel module loop again (tested this time; sorry)
simonpj [Tue, 19 Mar 2002 11:37:40 +0000 (11:37 +0000)]
[project @ 2002-03-19 11:37:38 by simonpj]
Unravel accidental module loop (sorry)
simonmar [Tue, 19 Mar 2002 11:24:52 +0000 (11:24 +0000)]
[project @ 2002-03-19 11:24:51 by simonmar]
Fix 64-bit shift operations.
- Move the declarations of the 64-bit "primops" from PrimOps.h to
HsBase.h where they more properly belong.
- change the names of the 64-bit shift ops to include the "unchecked"
prefix
- add checked versions of these primops to GHC.Int and GHC.Word, and
use them.
- update the FFI declarations in GHC.Int and GHC.Word while I'm there.
simonpj [Mon, 18 Mar 2002 15:27:08 +0000 (15:27 +0000)]
[project @ 2002-03-18 15:27:08 by simonpj]
More on linear implicit params
simonpj [Mon, 18 Mar 2002 15:23:07 +0000 (15:23 +0000)]
[project @ 2002-03-18 15:23:05 by simonpj]
Tidier printing routines for Rules
simonpj [Mon, 18 Mar 2002 15:22:31 +0000 (15:22 +0000)]
[project @ 2002-03-18 15:22:31 by simonpj]
Remove spurious ? in linear implicit parameter printing
simonpj [Mon, 18 Mar 2002 15:21:59 +0000 (15:21 +0000)]
[project @ 2002-03-18 15:21:59 by simonpj]
Fix grevious bug in linear implicit parameter splitting for free Insts
simonpj [Mon, 18 Mar 2002 15:21:25 +0000 (15:21 +0000)]
[project @ 2002-03-18 15:21:25 by simonpj]
Splittable class comes from GlaExts now
simonmar [Mon, 18 Mar 2002 09:47:35 +0000 (09:47 +0000)]
[project @ 2002-03-18 09:47:35 by simonmar]
PrelGHC ==> GHC.Prim, for what it's worth (this documentation is quite
out of date).
simonmar [Mon, 18 Mar 2002 09:46:35 +0000 (09:46 +0000)]
[project @ 2002-03-18 09:46:35 by simonmar]
PrelGHC ==> GHC.Prim (comments only)
simonmar [Mon, 18 Mar 2002 09:45:54 +0000 (09:45 +0000)]
[project @ 2002-03-18 09:45:54 by simonmar]
PrelGHC ==> GHC.Prim (in comments only)
simonmar [Mon, 18 Mar 2002 09:45:10 +0000 (09:45 +0000)]
[project @ 2002-03-18 09:45:10 by simonmar]
PrelGHC ==> GHC.Prim
simonmar [Mon, 18 Mar 2002 09:44:46 +0000 (09:44 +0000)]
[project @ 2002-03-18 09:44:46 by simonmar]
update mention of PrelGHC
simonpj [Fri, 15 Mar 2002 16:08:16 +0000 (16:08 +0000)]
[project @ 2002-03-15 16:08:16 by simonpj]
Import wibbles
simonmar [Fri, 15 Mar 2002 13:57:32 +0000 (13:57 +0000)]
[project @ 2002-03-15 13:57:27 by simonmar]
Take the old strictness analyser out of #ifdef DEBUG and put it
instead in #ifdef OLD_STRICTNESS. DEBUG was getting a bit slow.
simonmar [Thu, 14 Mar 2002 17:10:14 +0000 (17:10 +0000)]
[project @ 2002-03-14 17:10:14 by simonmar]
No need to compile Printf.lhs with -fvia-c now.
simonmar [Thu, 14 Mar 2002 17:09:46 +0000 (17:09 +0000)]
[project @ 2002-03-14 17:09:46 by simonmar]
The foreign declaration for snprintf was wrong, because we need to
give the type of the C function after applying C's type promotion
rules. Hence the Float argument should be a Double, because it
occurs in the vararg section of the function type.
simonmar [Thu, 14 Mar 2002 17:05:13 +0000 (17:05 +0000)]
[project @ 2002-03-14 17:05:13 by simonmar]
Back out previous fix, it was wrong.
simonmar [Thu, 14 Mar 2002 16:22:34 +0000 (16:22 +0000)]
[project @ 2002-03-14 16:22:31 by simonmar]
Misc cleanup: remove the iface pretty-printing style, and clean up
bits of StringBuffer that aren't required any more.
simonmar [Thu, 14 Mar 2002 15:52:14 +0000 (15:52 +0000)]
[project @ 2002-03-14 15:52:13 by simonmar]
undo accidental commits
simonpj [Thu, 14 Mar 2002 15:49:36 +0000 (15:49 +0000)]
[project @ 2002-03-14 15:49:36 by simonpj]
Documentation about type system extensions
simonmar [Thu, 14 Mar 2002 15:47:55 +0000 (15:47 +0000)]
[project @ 2002-03-14 15:47:52 by simonmar]
Remove the interface file parser, and move .hi-boot parsing into the
main parser. The syntax of .hi-boot files is now greatly improved in
terms of readability; here's an example:
module M where
data T
f :: T -> GHC.Base.Int
note that
(a) layout can be used
(b) there's no explcit export list; everything declared
is implicitly exported
(c) Z-encoding of names is no longer required
(d) Any identifier not declared in the current module must
still be quailified with the module which originally
defined it (eg. GHC.Base.Int above).
We'd like to relax (d), but that will come later.
simonpj [Thu, 14 Mar 2002 15:27:22 +0000 (15:27 +0000)]
[project @ 2002-03-14 15:27:15 by simonpj]
------------------------
Change
GlobalName --> ExternalName
LocalName -> InternalName
------------------------
For a long time there's been terminological confusion between
GlobalName vs LocalName (property of a Name)
GlobalId vs LocalId (property of an Id)
I've now changed the terminology for Name to be
ExternalName vs InternalName
I've also added quite a bit of documentation in the Commentary.
simonpj [Thu, 14 Mar 2002 15:26:54 +0000 (15:26 +0000)]
[project @ 2002-03-14 15:26:53 by simonpj]
Lots of stuff about external and internal names
simonmar [Thu, 14 Mar 2002 11:23:42 +0000 (11:23 +0000)]
[project @ 2002-03-14 11:23:42 by simonmar]
Turn "return e" into "return $! e" in several places to improve
performance.
simonmar [Wed, 13 Mar 2002 16:31:05 +0000 (16:31 +0000)]
[project @ 2002-03-13 16:31:05 by simonmar]
Remove -fall-strict
simonmar [Wed, 13 Mar 2002 14:37:11 +0000 (14:37 +0000)]
[project @ 2002-03-13 14:37:11 by simonmar]
Update the documentation to reflect new commands since 5.02.2:
:browse
:set args
:set prog
:show bindings
:show modules
and the new syntax for :module.
simonmar [Wed, 13 Mar 2002 13:51:35 +0000 (13:51 +0000)]
[project @ 2002-03-13 13:51:34 by simonmar]
Fix the -fasm/-fvia-C auto-selection again: now we're back to the
proper behaviour, namely -fasm is the default unless you specify -O or
-fvia-C, but only on arch's that support it.
I screwed it up in the previous commit, but it exposed a bug in the
NCG so it wasn't all bad :)
simonmar [Wed, 13 Mar 2002 13:48:32 +0000 (13:48 +0000)]
[project @ 2002-03-13 13:48:32 by simonmar]
Cope with VoidRep fields in a static constructor.
simonmar [Wed, 13 Mar 2002 13:48:04 +0000 (13:48 +0000)]
[project @ 2002-03-13 13:48:04 by simonmar]
It *is* possible to get VoidRep fields in a constructor, but their
representation should be empty (not a zero word).
simonmar [Wed, 13 Mar 2002 13:39:15 +0000 (13:39 +0000)]
[project @ 2002-03-13 13:39:15 by simonmar]
Fix panic message.
simonmar [Wed, 13 Mar 2002 11:27:11 +0000 (11:27 +0000)]
[project @ 2002-03-13 11:27:11 by simonmar]
GHC version wibble
simonmar [Tue, 12 Mar 2002 16:48:52 +0000 (16:48 +0000)]
[project @ 2002-03-12 16:48:52 by simonmar]
Fix a bug in the native code generator's handling of floating-point
arguments to ccalls: it wasn't correctly promoting float arguments to
doubles. Amazingly this has gone undetected for quite a while.
Fixes bug #523996.
simonmar [Tue, 12 Mar 2002 16:45:59 +0000 (16:45 +0000)]
[project @ 2002-03-12 16:45:59 by simonmar]
Forced commit: note that the previous revision also improved the error
message for a compiler stack overflow slightly.
simonmar [Tue, 12 Mar 2002 16:40:57 +0000 (16:40 +0000)]
[project @ 2002-03-12 16:40:57 by simonmar]
eek! Somehow, I managed to make -fvia-C the default on the HEAD and
nobody noticed for two months.
simonpj [Tue, 12 Mar 2002 15:55:27 +0000 (15:55 +0000)]
[project @ 2002-03-12 15:55:26 by simonpj]
------------------------
Fix a type-invariant bug
------------------------
We need to call Type.mkGenTyConApp from Type.mkAppTy, in
case there's a partially applied type synonym. Explanation
with Type.mkAppTy. All part of GHC's rather liberal treatment
of type synonyms.
Shown up by a program from Ralf Laemmel:
type Generic i o = forall x. i x -> o x
type Id x = x
comb :: Generic Id Id
Test is typecheck/should_compile/tc149.hs
simonmar [Tue, 12 Mar 2002 15:28:25 +0000 (15:28 +0000)]
[project @ 2002-03-12 15:28:25 by simonmar]
Add a magic number to the beginning of interface files (0x1face :-) to
avoid trying to read old text-style interfaces as binary (the usual
result is an attempt to allocate a ByteArray larger than the available
memory size and an obscure crash).
simonmar [Tue, 12 Mar 2002 13:57:14 +0000 (13:57 +0000)]
[project @ 2002-03-12 13:57:11 by simonmar]
If we are in a deadlock situation but there are signal handlers
installed, pause() instead of reporting deadlock. One of the signal
handlers may allow the process to continue after being triggered.
Fixes bug #525772.
I've made a half-hearted attempt to clean up the deadlock code in the
scheduler, it now looks slightly better.
simonmar [Tue, 12 Mar 2002 11:51:07 +0000 (11:51 +0000)]
[project @ 2002-03-12 11:50:02 by simonmar]
Main threads are now not kept alive artificially, so it is possible
for a main thread to be sent the BlockedOnDeadMVar exception. Main
threads are no longer GC roots.
This involved cleaning up the weak pointer processing somewhat, and
separating the processing of real weak pointers from the processing of
the all_threads list (which can be thought of as "weaker pointers": a
finalizer can keep a blocked thread alive, but not vice-versa). The
new story is described in a detailed comment in GC.c.
One interesting consequence is that it's much harder to get a Deadlock
exception now - many deadlock situations involving main threads will
turn into BlockedOnDeadMVar situations instead. For example, if there
are a group of threads in a circular deadlock, then they will all be
sent BlockedOnDeadMVar simultaneously, whereas before if one of them
was the main thread it would be sent Deadlock. It's really hard to
get Deadlock now - you have to somehow keep an MVar independently
reachable, eg. by using a StablePtr.
simonmar [Tue, 12 Mar 2002 10:41:48 +0000 (10:41 +0000)]
[project @ 2002-03-12 10:41:48 by simonmar]
When deciding whether the source for a module is unchanged, don't look
at the file referred to in the argument of '-o' unless it really is
the object file for this compilation (it might be the binary instead).
MERGE TO STABLE
simonmar [Tue, 12 Mar 2002 10:37:31 +0000 (10:37 +0000)]
[project @ 2002-03-12 10:37:31 by simonmar]
- Fix brokenness in foreign export.
- Remove some unused imports.
simonmar [Tue, 12 Mar 2002 09:23:01 +0000 (09:23 +0000)]
[project @ 2002-03-12 09:23:01 by simonmar]
- Add quotes around invocation of ${WithGhc-ghc}, in case the pathname
has spaces in (bug #528810).
- remove now-unused definition of is_gcc_v3.
simonpj [Tue, 12 Mar 2002 09:13:08 +0000 (09:13 +0000)]
[project @ 2002-03-12 09:13:08 by simonpj]
-----------
Fix mkSynTy
-----------
Fix a nasty and long-lived bug in mkSynTy which meant that in:
newtype A a = A a
type B = A
f :: B Double
the type (B Double) wasn't regarded properly as (A Double). This bug
has lasted for a long time because the type inference engine is fairly
forgiving about missing the invariant that a TyConApp always looks
like one right at the top level. In fact, it's so forgiving that I
don't know how to tickle this bug into showing up. (It showed up in
5.02, becuase the context-simplification for 'deriving' is done by a
different engine as all the other context simplification.)
Still, the invariant should hold, and this fix makes it so.
simonpj [Tue, 12 Mar 2002 09:12:58 +0000 (09:12 +0000)]
[project @ 2002-03-12 09:12:57 by simonpj]
Comments
simonmar [Mon, 11 Mar 2002 13:56:49 +0000 (13:56 +0000)]
[project @ 2002-03-11 13:56:49 by simonmar]
import openFileEx and IOModeEx(..)
simonmar [Mon, 11 Mar 2002 11:17:01 +0000 (11:17 +0000)]
[project @ 2002-03-11 11:17:01 by simonmar]
Add a warning about booting from .hc files on GHC 5.xx, and recommend
using 4.08.2 instead.
simonmar [Mon, 11 Mar 2002 10:55:11 +0000 (10:55 +0000)]
[project @ 2002-03-11 10:55:11 by simonmar]
Re-instate ifeq "$(way)" "" around the rule for recursively descending
into SUBDIRS that I removed a while back. This will fix a bug in
nofib whereby if NoFibWays is set to anything then we do O(n^2)
traversals of the tree, but it also means you can't sit at the top of
the tree and say 'make way=p' to just build profiling libraries (which
was the reason I made the change in the first place). We'll have to
find another way to do this.
simonpj [Fri, 8 Mar 2002 16:03:13 +0000 (16:03 +0000)]
[project @ 2002-03-08 16:03:13 by simonpj]
Documentation for more liberal class-method types
simonmar [Fri, 8 Mar 2002 16:00:39 +0000 (16:00 +0000)]
[project @ 2002-03-08 16:00:39 by simonmar]
Make this compile with various GHC versions (hopefully)
simonpj [Fri, 8 Mar 2002 15:51:19 +0000 (15:51 +0000)]
[project @ 2002-03-08 15:51:19 by simonpj]
wibble