simonpj [Wed, 3 Jan 2001 11:40:04 +0000 (11:40 +0000)]
[project @ 2001-01-03 11:40:04 by simonpj]
Dont quantify over monomorphic type variables
simonmar [Wed, 3 Jan 2001 11:32:33 +0000 (11:32 +0000)]
[project @ 2001-01-03 11:32:33 by simonmar]
Add a test for mixing unlifted types w/ polymorphic functions.
simonmar [Wed, 3 Jan 2001 11:18:53 +0000 (11:18 +0000)]
[project @ 2001-01-03 11:18:51 by simonmar]
s/boxed/lifted/
The typechecker's notion of "boxed" versus "unboxed" kind should
really have been "unlifted" versus "lifted" instead. It is illegal to
unify an unlifted (but boxed) type with a polymorphic type variable,
since an unlifted/boxed type is always assumed to be a pointer to the
object itself, never a thunk or indirection.
This commit removes isUnboxedType, and renames a bunch of things that
were previously boxed/unboxed to unlifted/lifted.
simonmar [Wed, 3 Jan 2001 11:13:43 +0000 (11:13 +0000)]
[project @ 2001-01-03 11:13:43 by simonmar]
Hopefully fix the driver problems I introduced yesterday.
simonpj [Wed, 3 Jan 2001 10:57:41 +0000 (10:57 +0000)]
[project @ 2001-01-03 10:57:41 by simonpj]
Dont apply rules for a loop breaker
simonpj [Wed, 3 Jan 2001 08:34:32 +0000 (08:34 +0000)]
[project @ 2001-01-03 08:34:32 by simonpj]
Remove bogus zonkInst
chak [Wed, 3 Jan 2001 03:10:32 +0000 (03:10 +0000)]
[project @ 2001-01-03 03:10:32 by chak]
* Deprecated `Addr' and `freeHaskellFunctionPtr'
I deprecated them only in the comments and docu. Using a DEPRECATED pragma
on the `Addr' functions doesn't make sense, because `Ptr' internally is
build on top of `Addr'.
* Added `HsPtr' and `HsFunPtr' to `HsFFI.h'; deprecated `HsAddr'
* Updated the docu to reflect these changes
simonpj [Tue, 2 Jan 2001 16:42:10 +0000 (16:42 +0000)]
[project @ 2001-01-02 16:42:10 by simonpj]
Add a necessary isUnliftedType to completeBinding (coerce case)
simonmar [Tue, 2 Jan 2001 16:13:11 +0000 (16:13 +0000)]
[project @ 2001-01-02 16:13:11 by simonmar]
Remove redundant flag test
simonmar [Tue, 2 Jan 2001 15:30:57 +0000 (15:30 +0000)]
[project @ 2001-01-02 15:30:57 by simonmar]
Split the compilation pipeline into two stages, preprocessing and
compilation, so that OPTIONS pragmas which may affect the pipeline
work properly. (now {-# OPTIONS -fvia-C #-} does the right thing in
one-shot mode as well as ghc --make mode).
simonmar [Tue, 2 Jan 2001 14:02:16 +0000 (14:02 +0000)]
[project @ 2001-01-02 14:02:16 by simonmar]
Be a bit stricter about what we treat as a #line pragma.
simonmar [Tue, 2 Jan 2001 12:31:25 +0000 (12:31 +0000)]
[project @ 2001-01-02 12:30:51 by simonmar]
revert last commit: don't import PprCore
simonmar [Tue, 2 Jan 2001 12:20:52 +0000 (12:20 +0000)]
[project @ 2001-01-02 12:20:52 by simonmar]
Update the comment next to the (disabled) epilogue junk test to
reflect the real reason this test should be disabled.
simonmar [Tue, 2 Jan 2001 11:20:35 +0000 (11:20 +0000)]
[project @ 2001-01-02 11:20:35 by simonmar]
GhcWithInterpreter defaults to NO for the time being. (enable by hand
in build.mk to turn it on).
panne [Sun, 31 Dec 2000 16:58:05 +0000 (16:58 +0000)]
[project @ 2000-12-31 16:58:05 by panne]
Automagically add a GHC #define. These are the final changes to get a
bootstrapping GHC without a build.mk, thus enabling people (like me :-)
who forget obscure options quite often to build GHC painlessly.
Happy New Year!
panne [Sat, 30 Dec 2000 20:42:03 +0000 (20:42 +0000)]
[project @ 2000-12-30 20:42:03 by panne]
Don't install genprimopcode, it's not *that* interesting for the
average user... :-)
panne [Sat, 30 Dec 2000 20:35:37 +0000 (20:35 +0000)]
[project @ 2000-12-30 20:35:37 by panne]
- Only build interpreter with version >= 4.11, not 4.09. The latter
doesn't work because of some BCO# trouble. This shouldn't make a
real difference to (sane) compiler people, who always do at least
a two-stage bootstrap.
- Nuke some -K2m options when building with GHC >= 4.11, because it's
not understood (yet) and doesn't seem to be necessary anymore.
qrczak [Sat, 30 Dec 2000 20:06:00 +0000 (20:06 +0000)]
[project @ 2000-12-30 20:06:00 by qrczak]
Add -I and --include options.
Small corrections and clarifications in the documentation.
qrczak [Thu, 28 Dec 2000 10:34:56 +0000 (10:34 +0000)]
[project @ 2000-12-28 10:34:56 by qrczak]
Implemented #undef, #error, and #let (macros to be applied to the
Haskell source, although using somewhat ugly stringified syntax).
s/hs2c/hsc2hs/
Fixed some bugs (user-supplied --cc option, macros with parameters).
qrczak [Mon, 25 Dec 2000 23:45:30 +0000 (23:45 +0000)]
[project @ 2000-12-25 23:45:30 by qrczak]
s/moduleNameString/moduleNameUserString/ to correctly handle modules
with 'z' in their names which come from packages.
The function Module.moduleNameString is no longer used. Perhaps it
should be removed so nobody tries to introduce such bug again :-)
If the letter 'e' was chosen for escape instead of 'z', such bugs
would be more quickly spotted :-)
qrczak [Sat, 23 Dec 2000 17:45:03 +0000 (17:45 +0000)]
[project @ 2000-12-23 17:45:03 by qrczak]
Don't include HsData.h and HsConcurrent.h
qrczak [Fri, 22 Dec 2000 19:51:09 +0000 (19:51 +0000)]
[project @ 2000-12-22 19:51:09 by qrczak]
Make hsc2hs dependent on mk/config.mk.
Pass --cc=$(bindir)/ghc-$(ProjectVersion) in the driver.
simonmar [Fri, 22 Dec 2000 13:29:29 +0000 (13:29 +0000)]
[project @ 2000-12-22 13:29:29 by simonmar]
Recent versions of gcc seem to output strings as sequences of .bytes,
which the splitter didn't recognise. The result was that constant
strings were being duplicated in all the split .o files (again... this
is a particularly fragile "optimisation" and breaks on a regular basis).
simonmar [Fri, 22 Dec 2000 12:21:35 +0000 (12:21 +0000)]
[project @ 2000-12-22 12:21:35 by simonmar]
add %.hs : %.y suffix rule
qrczak [Wed, 20 Dec 2000 18:32:00 +0000 (18:32 +0000)]
[project @ 2000-12-20 18:32:00 by qrczak]
import PprCore
qrczak [Wed, 20 Dec 2000 18:25:59 +0000 (18:25 +0000)]
[project @ 2000-12-20 18:25:59 by qrczak]
Correct typos in code in a comment.
sewardj [Wed, 20 Dec 2000 16:42:28 +0000 (16:42 +0000)]
[project @ 2000-12-20 16:42:28 by sewardj]
Put string literals in read-only data segments on platforms which
understand that.
simonmar [Wed, 20 Dec 2000 15:58:35 +0000 (15:58 +0000)]
[project @ 2000-12-20 15:58:35 by simonmar]
Don't duplicate strings semi-willy-nilly. Literal strings now have a
size dependent on their length.
rrt [Wed, 20 Dec 2000 15:54:51 +0000 (15:54 +0000)]
[project @ 2000-12-20 15:54:51 by rrt]
Added -K2M for ParserIface and Parser, which don't build with 4.08.1 under
Windows otherwise.
rrt [Wed, 20 Dec 2000 15:45:10 +0000 (15:45 +0000)]
[project @ 2000-12-20 15:45:10 by rrt]
Add GreenCard and correct win32 details.
rrt [Wed, 20 Dec 2000 15:44:29 +0000 (15:44 +0000)]
[project @ 2000-12-20 15:44:29 by rrt]
#include config.hs so that tests of mingw32_TARGET_OS work.
rrt [Wed, 20 Dec 2000 15:44:01 +0000 (15:44 +0000)]
[project @ 2000-12-20 15:44:01 by rrt]
Allow multiple OPTIONS pragmas for GreenCard's benefit.
rrt [Wed, 20 Dec 2000 15:26:50 +0000 (15:26 +0000)]
[project @ 2000-12-20 15:26:50 by rrt]
#ifdef declaration of stg_BCO on GHCI (because otherwise it's not defined)
rrt [Wed, 20 Dec 2000 15:18:47 +0000 (15:18 +0000)]
[project @ 2000-12-20 15:18:47 by rrt]
Seems to need -monly-3-regs
rrt [Wed, 20 Dec 2000 15:17:55 +0000 (15:17 +0000)]
[project @ 2000-12-20 15:17:55 by rrt]
newBCOzh_fast ifdefed on GHCI (as it is only defined in that case).
rrt [Wed, 20 Dec 2000 15:00:01 +0000 (15:00 +0000)]
[project @ 2000-12-20 15:00:01 by rrt]
Fixed GreenCard rules and flags (from GreenCard source).
sewardj [Wed, 20 Dec 2000 14:47:22 +0000 (14:47 +0000)]
[project @ 2000-12-20 14:47:22 by sewardj]
First shot at the new interpreter and disassembler.
sewardj [Wed, 20 Dec 2000 14:44:31 +0000 (14:44 +0000)]
[project @ 2000-12-20 14:44:31 by sewardj]
sync with immediately following ghc/rts/Interpreter.c commit
simonmar [Wed, 20 Dec 2000 13:40:08 +0000 (13:40 +0000)]
[project @ 2000-12-20 13:40:08 by simonmar]
on second thoughts, -Rghc-timing should really go in config.mk.in.
simonmar [Wed, 20 Dec 2000 13:33:00 +0000 (13:33 +0000)]
[project @ 2000-12-20 13:33:00 by simonmar]
add back -Rghc-timing
simonmar [Wed, 20 Dec 2000 13:18:37 +0000 (13:18 +0000)]
[project @ 2000-12-20 13:18:37 by simonmar]
Comment out definition of i_LABEL, which referred to non-existent bci_LABEL.
simonmar [Wed, 20 Dec 2000 11:44:01 +0000 (11:44 +0000)]
[project @ 2000-12-20 11:44:01 by simonmar]
Sigh. We have to duplicate isDllConApp here to detect those top-level
constructor applications which we're not going to compile into static
ConApps.
simonpj [Wed, 20 Dec 2000 11:10:17 +0000 (11:10 +0000)]
[project @ 2000-12-20 11:10:17 by simonpj]
Remove redundant seq
simonpj [Wed, 20 Dec 2000 11:02:17 +0000 (11:02 +0000)]
[project @ 2000-12-20 11:02:17 by simonpj]
Add comments and tidy
simonpj [Wed, 20 Dec 2000 11:00:15 +0000 (11:00 +0000)]
[project @ 2000-12-20 11:00:15 by simonpj]
Fix -ddump-types
simonmar [Wed, 20 Dec 2000 11:00:08 +0000 (11:00 +0000)]
[project @ 2000-12-20 11:00:08 by simonmar]
exprIsValue wasn't quite the right thing. Use our own version.
simonmar [Wed, 20 Dec 2000 10:46:12 +0000 (10:46 +0000)]
[project @ 2000-12-20 10:46:12 by simonmar]
GC empty _HC_OPTS lines.
simonmar [Wed, 20 Dec 2000 10:44:17 +0000 (10:44 +0000)]
[project @ 2000-12-20 10:44:17 by simonmar]
wibble
simonmar [Wed, 20 Dec 2000 10:43:47 +0000 (10:43 +0000)]
[project @ 2000-12-20 10:43:47 by simonmar]
GHC_STATS is unused.
simonmar [Wed, 20 Dec 2000 10:43:17 +0000 (10:43 +0000)]
[project @ 2000-12-20 10:43:17 by simonmar]
remove unused GHC_STATS
simonmar [Wed, 20 Dec 2000 10:42:54 +0000 (10:42 +0000)]
[project @ 2000-12-20 10:42:54 by simonmar]
Remove now-unused stats script.
simonmar [Wed, 20 Dec 2000 10:38:18 +0000 (10:38 +0000)]
[project @ 2000-12-20 10:38:18 by simonmar]
Simon's renamer fixes from yesterday.
simonmar [Wed, 20 Dec 2000 10:37:38 +0000 (10:37 +0000)]
[project @ 2000-12-20 10:37:38 by simonmar]
use `mayHaveCafRefs'.
simonmar [Wed, 20 Dec 2000 10:36:55 +0000 (10:36 +0000)]
[project @ 2000-12-20 10:36:55 by simonmar]
simplify the test for a CAF, using exprIsValue.
simonmar [Wed, 20 Dec 2000 10:36:23 +0000 (10:36 +0000)]
[project @ 2000-12-20 10:36:23 by simonmar]
add predicate on CafInfo: mayHaveCafRefs :: CafInfo -> Bool
simonmar [Wed, 20 Dec 2000 10:35:33 +0000 (10:35 +0000)]
[project @ 2000-12-20 10:35:33 by simonmar]
ASSERT that thunks have the right CafInfo.
simonmar [Wed, 20 Dec 2000 10:33:25 +0000 (10:33 +0000)]
[project @ 2000-12-20 10:33:25 by simonmar]
oops, better exit(1) if we bomb out with an uncaught exception.
simonmar [Wed, 20 Dec 2000 09:56:26 +0000 (09:56 +0000)]
[project @ 2000-12-20 09:56:26 by simonmar]
#include "HsFFI.h" for ghc-4.08.1
simonpj [Tue, 19 Dec 2000 17:44:26 +0000 (17:44 +0000)]
[project @ 2000-12-19 17:44:26 by simonpj]
Remove extra tracing
simonpj [Tue, 19 Dec 2000 17:42:13 +0000 (17:42 +0000)]
[project @ 2000-12-19 17:42:13 by simonpj]
Fix the tcAddImportedIdInfo problem
simonpj [Tue, 19 Dec 2000 17:32:45 +0000 (17:32 +0000)]
[project @ 2000-12-19 17:32:44 by simonpj]
Mainly rename rnDecl to rnSourceDecl; and add more tracing to renamer
sewardj [Tue, 19 Dec 2000 16:48:58 +0000 (16:48 +0000)]
[project @ 2000-12-19 16:48:58 by sewardj]
Try to get the repo includes into a buildable state.
sewardj [Tue, 19 Dec 2000 16:48:35 +0000 (16:48 +0000)]
[project @ 2000-12-19 16:48:35 by sewardj]
Try to get the repo rts into a buildable state.
sewardj [Tue, 19 Dec 2000 16:38:15 +0000 (16:38 +0000)]
[project @ 2000-12-19 16:38:15 by sewardj]
Evaluator.h ---> Interpreter.h
simonmar [Tue, 19 Dec 2000 14:30:58 +0000 (14:30 +0000)]
[project @ 2000-12-19 14:30:58 by simonmar]
match changes in the Stats API
simonmar [Tue, 19 Dec 2000 14:30:39 +0000 (14:30 +0000)]
[project @ 2000-12-19 14:30:39 by simonmar]
cleanups
simonmar [Tue, 19 Dec 2000 14:30:17 +0000 (14:30 +0000)]
[project @ 2000-12-19 14:30:17 by simonmar]
- implement +RTS -t (one-line GC stats)
- clean up: use integer variables (counting ticks) rather than doubles
to store time values, and only call times() once on entry & exit
from GC instead of twice. Carry on using times() rather than
gettimeofday(), since we don't really need the increased accuracy.
simonmar [Tue, 19 Dec 2000 14:24:24 +0000 (14:24 +0000)]
[project @ 2000-12-19 14:24:24 by simonmar]
wibble
simonmar [Tue, 19 Dec 2000 14:19:24 +0000 (14:19 +0000)]
[project @ 2000-12-19 14:19:24 by simonmar]
The CafInfo on a record selector may in fact need to be
MayHaveCafRefs, if the record selector in question has a default
failure case that calls recSelError.
Thanks to the ASSERT in SRT.lhs, this was caught before it could do
any real damage.
simonmar [Tue, 19 Dec 2000 13:16:53 +0000 (13:16 +0000)]
[project @ 2000-12-19 13:16:53 by simonmar]
wibble
simonmar [Tue, 19 Dec 2000 13:13:11 +0000 (13:13 +0000)]
[project @ 2000-12-19 13:13:11 by simonmar]
remove accidentally committed wibble
sewardj [Tue, 19 Dec 2000 13:09:52 +0000 (13:09 +0000)]
[project @ 2000-12-19 13:09:52 by sewardj]
RENAME fptools/ghc/rts/Evaluator.h
to fptools/ghc/rts/Interpreter.h
sewardj [Tue, 19 Dec 2000 13:07:07 +0000 (13:07 +0000)]
[project @ 2000-12-19 13:07:07 by sewardj]
stg_ctoi_ret_R1_info et al
simonmar [Tue, 19 Dec 2000 13:06:50 +0000 (13:06 +0000)]
[project @ 2000-12-19 13:06:50 by simonmar]
- support -Rghc-timing in a bootstrapped compiler
- support -H<size> in compilers built with ghc 4.08+
simonmar [Tue, 19 Dec 2000 12:58:50 +0000 (12:58 +0000)]
[project @ 2000-12-19 12:58:50 by simonmar]
remove old comment
simonmar [Tue, 19 Dec 2000 12:55:18 +0000 (12:55 +0000)]
[project @ 2000-12-19 12:55:18 by simonmar]
- Add setHeapSize (for -H support, works with ghc-4.08+)
- Add enableGhcTiming (for -Rghc-timing, works with ghc-4.11+)
Both of these are no-ops for older compilers.
simonmar [Tue, 19 Dec 2000 12:51:58 +0000 (12:51 +0000)]
[project @ 2000-12-19 12:51:58 by simonmar]
Remove setHeapSize, we'll do this in the compiler proper now.
simonmar [Tue, 19 Dec 2000 12:50:37 +0000 (12:50 +0000)]
[project @ 2000-12-19 12:50:37 by simonmar]
new flag: +RTS -t
Prints one-line GC stats, in the style of -Rghc-timing.
sewardj [Tue, 19 Dec 2000 12:36:12 +0000 (12:36 +0000)]
[project @ 2000-12-19 12:36:12 by sewardj]
Start to get the bytecode assembler working
sewardj [Tue, 19 Dec 2000 12:34:01 +0000 (12:34 +0000)]
[project @ 2000-12-19 12:34:00 by sewardj]
tweaks to BCO infrastructure
simonmar [Tue, 19 Dec 2000 12:27:09 +0000 (12:27 +0000)]
[project @ 2000-12-19 12:27:09 by simonmar]
Makefile cleanup
sewardj [Tue, 19 Dec 2000 12:17:53 +0000 (12:17 +0000)]
[project @ 2000-12-19 12:17:53 by sewardj]
isFollowableRep BCORep = True
simonpj [Tue, 19 Dec 2000 10:50:51 +0000 (10:50 +0000)]
[project @ 2000-12-19 10:50:51 by simonpj]
Add two tests
sewardj [Tue, 19 Dec 2000 10:36:10 +0000 (10:36 +0000)]
[project @ 2000-12-19 10:36:10 by sewardj]
Abstractify the concept 'sized sequence of elements' and other cleanups
simonpj [Tue, 19 Dec 2000 08:38:20 +0000 (08:38 +0000)]
[project @ 2000-12-19 08:38:20 by simonpj]
Print tuple parens correctly in types. This has been wrong for
ages! Quite how it has survived is beyond me.
*** BACK-PATCH TO 4.08 PLEASE (I THINK) ***
simonpj [Tue, 19 Dec 2000 08:37:18 +0000 (08:37 +0000)]
[project @ 2000-12-19 08:37:18 by simonpj]
Use classesOfPreds instead of DIY
simonpj [Tue, 19 Dec 2000 08:36:34 +0000 (08:36 +0000)]
[project @ 2000-12-19 08:36:34 by simonpj]
Give the correct type and unfolding for a record selector
where the field is overloaded. This fixes a bug reported
by Victor Stolz.
*** BACK-PATCH TO 4.08 PLEASE ***
simonpj [Tue, 19 Dec 2000 08:34:40 +0000 (08:34 +0000)]
[project @ 2000-12-19 08:34:40 by simonpj]
Add comment
qrczak [Mon, 18 Dec 2000 20:42:14 +0000 (20:42 +0000)]
[project @ 2000-12-18 20:42:14 by qrczak]
Fix the order of arguments to kludgedSystem.
sewardj [Mon, 18 Dec 2000 15:44:46 +0000 (15:44 +0000)]
[project @ 2000-12-18 15:44:46 by sewardj]
invert sense of warnSelfImport guard
simonmar [Mon, 18 Dec 2000 15:18:11 +0000 (15:18 +0000)]
[project @ 2000-12-18 15:18:11 by simonmar]
Make it compile w/out -DGHCI
simonmar [Mon, 18 Dec 2000 15:17:46 +0000 (15:17 +0000)]
[project @ 2000-12-18 15:17:46 by simonmar]
fix for -S w/ -split-objs
simonpj [Mon, 18 Dec 2000 14:54:08 +0000 (14:54 +0000)]
[project @ 2000-12-18 14:54:08 by simonpj]
Fix error message
simonpj [Mon, 18 Dec 2000 14:19:35 +0000 (14:19 +0000)]
[project @ 2000-12-18 14:19:35 by simonpj]
A module's dependencies in its .hi file should not include itself!
sewardj [Mon, 18 Dec 2000 14:03:30 +0000 (14:03 +0000)]
[project @ 2000-12-18 14:03:30 by sewardj]
Change the literal pool to be an array of host-wide-Words rather than Word32s.
sewardj [Mon, 18 Dec 2000 12:43:04 +0000 (12:43 +0000)]
[project @ 2000-12-18 12:43:04 by sewardj]
Wire in the bytecode interpreter and delete the old one.
qrczak [Sat, 16 Dec 2000 17:46:57 +0000 (17:46 +0000)]
[project @ 2000-12-16 17:46:57 by qrczak]
Specialize show[EFG]Float to Float and Double.
Specialize Ratio instances to Rational.
This speeds up a show[EFG]Float call by about 50000 processor cycles.
panne [Sat, 16 Dec 2000 15:20:30 +0000 (15:20 +0000)]
[project @ 2000-12-16 15:20:30 by panne]
Merge rev. 1.18.2.2
simonmar [Sat, 16 Dec 2000 13:26:13 +0000 (13:26 +0000)]
[project @ 2000-12-16 13:26:13 by simonmar]
remove duplicate comment
simonmar [Sat, 16 Dec 2000 13:24:55 +0000 (13:24 +0000)]
[project @ 2000-12-16 13:24:55 by simonmar]
GC unused consistency checking options, and update the comments for
HscIfaceFileVersion.