simonmar [Thu, 3 May 2001 09:34:40 +0000 (09:34 +0000)]
[project @ 2001-05-03 09:34:40 by simonmar]
document the +RTS -xc option
simonpj [Thu, 3 May 2001 09:32:49 +0000 (09:32 +0000)]
[project @ 2001-05-03 09:32:48 by simonpj]
------------------------------------------------
Dramatically improve the error messages arising
from failed unifications triggered by 'improvement'
------------------------------------------------
A bit more plumbing in FunDeps, and consequential wibbles elsewhere
Changes this:
Couldn't match `Int' against `[(String, Int)]'
Expected type: Int
Inferred type: [(String, Int)]
to this:
Foo.hs:8:
Couldn't match `Int' against `[(String, Int)]'
Expected type: Int
Inferred type: [(String, Int)]
When using functional dependencies to combine
?env :: Int, arising from a type signature at Foo.hs:7
?env :: [(String, Int)],
arising from use of implicit parameter `?env' at Foo.hs:8
When generalising the types for ident
simonpj [Thu, 3 May 2001 09:04:43 +0000 (09:04 +0000)]
[project @ 2001-05-03 09:04:43 by simonpj]
Improve error message when two signature tyvars get unified
simonpj [Thu, 3 May 2001 09:02:44 +0000 (09:02 +0000)]
[project @ 2001-05-03 09:02:44 by simonpj]
Error message wibble
simonpj [Thu, 3 May 2001 09:02:24 +0000 (09:02 +0000)]
[project @ 2001-05-03 09:02:24 by simonpj]
Tidy up output from -ddump-types
simonpj [Thu, 3 May 2001 09:01:50 +0000 (09:01 +0000)]
[project @ 2001-05-03 09:01:50 by simonpj]
Improve error message
simonpj [Thu, 3 May 2001 09:01:29 +0000 (09:01 +0000)]
[project @ 2001-05-03 09:01:29 by simonpj]
Wibble
simonmar [Thu, 3 May 2001 08:57:30 +0000 (08:57 +0000)]
[project @ 2001-05-03 08:57:30 by simonmar]
disable the hsc2hs suffix rules when booting from .hc files.
simonpj [Thu, 3 May 2001 08:52:52 +0000 (08:52 +0000)]
[project @ 2001-05-03 08:52:52 by simonpj]
Add a fundep fail test
simonpj [Thu, 3 May 2001 08:51:16 +0000 (08:51 +0000)]
[project @ 2001-05-03 08:51:16 by simonpj]
Remove bogus test
simonpj [Thu, 3 May 2001 08:47:06 +0000 (08:47 +0000)]
[project @ 2001-05-03 08:47:06 by simonpj]
Add implicit param test
simonpj [Thu, 3 May 2001 08:35:33 +0000 (08:35 +0000)]
[project @ 2001-05-03 08:35:33 by simonpj]
Add two more fundep tests
simonpj [Thu, 3 May 2001 08:18:35 +0000 (08:18 +0000)]
[project @ 2001-05-03 08:18:35 by simonpj]
Add a couple of tests
simonpj [Thu, 3 May 2001 08:13:39 +0000 (08:13 +0000)]
[project @ 2001-05-03 08:13:39 by simonpj]
Improve error message
simonpj [Thu, 3 May 2001 08:13:25 +0000 (08:13 +0000)]
[project @ 2001-05-03 08:13:25 by simonpj]
**** MERGE WITH 5.00 BRANCH ********
--------------------------------
Fix a bad implicit parameter bug
--------------------------------
TcSimplify.tcSimplifyIPs was just completely wrong; it wasn't
doing improvement properly nor binding values properly. Sigh.
To make this work nicely I added
Inst.instName :: Inst -> Name
simonpj [Thu, 3 May 2001 08:10:09 +0000 (08:10 +0000)]
[project @ 2001-05-03 08:10:09 by simonpj]
Comment wibble only
simonpj [Thu, 3 May 2001 08:09:52 +0000 (08:09 +0000)]
[project @ 2001-05-03 08:09:52 by simonpj]
More to allow infix exprssions on LHS of rule
simonpj [Thu, 3 May 2001 08:08:44 +0000 (08:08 +0000)]
[project @ 2001-05-03 08:08:44 by simonpj]
Allow infix exprssions on LHS of rule
simonpj [Thu, 3 May 2001 08:08:12 +0000 (08:08 +0000)]
[project @ 2001-05-03 08:08:12 by simonpj]
Comment wibble
qrczak [Wed, 2 May 2001 18:19:27 +0000 (18:19 +0000)]
[project @ 2001-05-02 18:19:27 by qrczak]
Oops, exprIsConApp_maybe should ignore only InlineMe notes.
sewardj [Wed, 2 May 2001 16:15:09 +0000 (16:15 +0000)]
[project @ 2001-05-02 16:15:09 by sewardj]
Add test to check contexts on existential types in the interpreter.
rrt [Wed, 2 May 2001 15:26:05 +0000 (15:26 +0000)]
[project @ 2001-05-02 15:26:05 by rrt]
Remove list of packages to install on Windows; the new story is that you
install all of Cygwin.
simonpj [Wed, 2 May 2001 12:14:49 +0000 (12:14 +0000)]
[project @ 2001-05-02 12:14:49 by simonpj]
A bit more about flags for generics
simonmar [Tue, 1 May 2001 16:01:06 +0000 (16:01 +0000)]
[project @ 2001-05-01 16:01:06 by simonmar]
Close files eagerly after analysing their imports.
rrt [Tue, 1 May 2001 15:12:43 +0000 (15:12 +0000)]
[project @ 2001-05-01 15:12:43 by rrt]
Add zlib to list of required packages for building.
sewardj [Tue, 1 May 2001 13:11:16 +0000 (13:11 +0000)]
[project @ 2001-05-01 13:11:16 by sewardj]
Implement bci_STKCHECK.
simonmar [Tue, 1 May 2001 12:01:01 +0000 (12:01 +0000)]
[project @ 2001-05-01 12:01:01 by simonmar]
Not quite sure what this test does, but I've had it lying around for a while.
simonmar [Tue, 1 May 2001 11:51:50 +0000 (11:51 +0000)]
[project @ 2001-05-01 11:51:50 by simonmar]
Add an item about the networking library rewrite.
simonmar [Tue, 1 May 2001 11:46:56 +0000 (11:46 +0000)]
[project @ 2001-05-01 11:46:56 by simonmar]
Start a new directory for networking tests, and add a simple test
which starts two threads which communicate via a socket.
The socket subdirectory already contains some tests, but they're about
6 years old and don't appear to be designed to run without user
intervention.
sewardj [Tue, 1 May 2001 11:37:18 +0000 (11:37 +0000)]
[project @ 2001-05-01 11:37:18 by sewardj]
Ignore tyvars on variables bound by case alts when generating unpack code.
simonmar [Tue, 1 May 2001 11:06:19 +0000 (11:06 +0000)]
[project @ 2001-05-01 11:06:19 by simonmar]
Tests for BlockedOnDeadMVar and ThreadKilled exceptions (they generate
no output by default in forked threads).
simonmar [Tue, 1 May 2001 09:26:10 +0000 (09:26 +0000)]
[project @ 2001-05-01 09:26:10 by simonmar]
Don't include the win32 and com packages unless we're building for Windows.
simonmar [Tue, 1 May 2001 09:22:45 +0000 (09:22 +0000)]
[project @ 2001-05-01 09:22:45 by simonmar]
fix HC bootstrapping after LibsReadline no longer has the -l prefixes.
qrczak [Tue, 1 May 2001 09:16:56 +0000 (09:16 +0000)]
[project @ 2001-05-01 09:16:55 by qrczak]
Inline instance dictionary functions.
Remove {-# INLINE instance #-} support and uses.
simonmar [Tue, 1 May 2001 09:10:32 +0000 (09:10 +0000)]
[project @ 2001-05-01 09:10:32 by simonmar]
Add some {-# SCC #-} annotations, and fix a space leak.
simonmar [Tue, 1 May 2001 09:06:59 +0000 (09:06 +0000)]
[project @ 2001-05-01 09:06:59 by simonmar]
SCC notes move inside other notes.
qrczak [Mon, 30 Apr 2001 20:07:49 +0000 (20:07 +0000)]
[project @ 2001-04-30 20:07:49 by qrczak]
Fix the inlining bug: exprIsConApp_maybe didn't recognize constructor
applications inside notes.
I'm not sure if it's the right place to fix. Should notes be ignored
in other uses of collectArgs? Perhaps they should be ignored inside
the loop of collectArgs? And why the function marked as inline was
not inlined even though it's not a constructor application?
rrt [Mon, 30 Apr 2001 17:24:25 +0000 (17:24 +0000)]
[project @ 2001-04-30 17:24:25 by rrt]
Remove instructions about making /etc/passwd, as it happens automatically
when installing Cygwin.
rrt [Mon, 30 Apr 2001 16:42:33 +0000 (16:42 +0000)]
[project @ 2001-04-30 16:42:33 by rrt]
Say not to install the cygwin package, rather than to install it.
sewardj [Mon, 30 Apr 2001 16:01:52 +0000 (16:01 +0000)]
[project @ 2001-04-30 16:01:52 by sewardj]
Plumb LibsReadline into extra_libraries for -package util, rather than
extra_ld_opts, so that GHCi knows to load them too.
panne [Mon, 30 Apr 2001 13:50:59 +0000 (13:50 +0000)]
[project @ 2001-04-30 13:50:59 by panne]
o=>O:-)
panne [Mon, 30 Apr 2001 13:20:54 +0000 (13:20 +0000)]
[project @ 2001-04-30 13:20:54 by panne]
Fix typo
simonpj [Mon, 30 Apr 2001 12:27:21 +0000 (12:27 +0000)]
[project @ 2001-04-30 12:27:21 by simonpj]
Fix minor typo in generics stuff; could merge with branch
simonmar [Mon, 30 Apr 2001 12:09:56 +0000 (12:09 +0000)]
[project @ 2001-04-30 12:09:56 by simonmar]
add -fwarn-misc.
simonmar [Mon, 30 Apr 2001 12:09:09 +0000 (12:09 +0000)]
[project @ 2001-04-30 12:09:09 by simonmar]
document -fwarn-misc.
simonmar [Mon, 30 Apr 2001 12:03:45 +0000 (12:03 +0000)]
[project @ 2001-04-30 12:03:45 by simonmar]
The convention for warnings currently is: standard warnings indicate
"probable bugs", whereas -W warnings indicate "style problems".
I think -fwarn-misc is more suited to -W.
rrt [Mon, 30 Apr 2001 12:00:18 +0000 (12:00 +0000)]
[project @ 2001-04-30 12:00:18 by rrt]
Added cygwin to list of required packages, and said why gdbm is needed (for
CVS).
panne [Mon, 30 Apr 2001 11:37:36 +0000 (11:37 +0000)]
[project @ 2001-04-30 11:37:36 by panne]
HSnet_cbits R.I.P.
(BTW, that's what I meant with "monolithic approach" :-)
simonpj [Mon, 30 Apr 2001 11:23:28 +0000 (11:23 +0000)]
[project @ 2001-04-30 11:23:28 by simonpj]
Fix test so that it doesnt use undecidable instances
simonpj [Mon, 30 Apr 2001 10:51:19 +0000 (10:51 +0000)]
[project @ 2001-04-30 10:51:18 by simonpj]
-----------------------------
Better filtering for warnings
-----------------------------
* Add Opt_WarnMisc, to enable warnings not otherwise covered by Opt_Warn*
in the renamer
* Add RnMonad.ifOptRn :: DynFlag -> RnM d a -> RnM d ()
and use it many places instead of the clumsy direct code
simonpj [Mon, 30 Apr 2001 10:50:00 +0000 (10:50 +0000)]
[project @ 2001-04-30 10:50:00 by simonpj]
Add comments in tcInstType
simonpj [Mon, 30 Apr 2001 10:49:38 +0000 (10:49 +0000)]
[project @ 2001-04-30 10:49:38 by simonpj]
Add comments
simonpj [Mon, 30 Apr 2001 10:49:21 +0000 (10:49 +0000)]
[project @ 2001-04-30 10:48:57 by simonpj]
Improve error message
simonmar [Mon, 30 Apr 2001 10:08:14 +0000 (10:08 +0000)]
[project @ 2001-04-30 10:08:14 by simonmar]
Makefile.config should be in a source dist.
simonmar [Mon, 30 Apr 2001 09:50:49 +0000 (09:50 +0000)]
[project @ 2001-04-30 09:50:49 by simonmar]
better "#define IN_STG_CODE 0" before including the standard HC header
in a foreign export dynamic stub, because this isn't really HC code.
simonmar [Mon, 30 Apr 2001 09:46:07 +0000 (09:46 +0000)]
[project @ 2001-04-30 09:46:07 by simonmar]
Fix the documentation about the -i<dirs> option. These are scanned
left to right, but before the package directories. Also add a
suitably severe warning about having a module with the same name as a
package module.
simonmar [Mon, 30 Apr 2001 09:40:16 +0000 (09:40 +0000)]
[project @ 2001-04-30 09:40:16 by simonmar]
Reverse the directory list when building the home package directory
cache, so that earlier entries override later ones.
simonpj [Mon, 30 Apr 2001 08:26:54 +0000 (08:26 +0000)]
[project @ 2001-04-30 08:26:54 by simonpj]
Improve error message
simonpj [Mon, 30 Apr 2001 06:53:15 +0000 (06:53 +0000)]
[project @ 2001-04-30 06:53:15 by simonpj]
Add a rank-2 poly test
rrt [Sun, 29 Apr 2001 16:26:32 +0000 (16:26 +0000)]
[project @ 2001-04-29 16:26:32 by rrt]
Add gdbm to list of Cygwin packages needed for building from CVS.
qrczak [Sun, 29 Apr 2001 11:01:13 +0000 (11:01 +0000)]
[project @ 2001-04-29 11:01:13 by qrczak]
Cosmetics.
qrczak [Sat, 28 Apr 2001 11:21:47 +0000 (11:21 +0000)]
[project @ 2001-04-28 11:21:47 by qrczak]
Enable primop rules - they work now.
qrczak [Sat, 28 Apr 2001 11:21:32 +0000 (11:21 +0000)]
[project @ 2001-04-28 11:21:32 by qrczak]
Add a builtin rule to a primop only if it does something.
qrczak [Sat, 28 Apr 2001 11:20:46 +0000 (11:20 +0000)]
[project @ 2001-04-28 11:20:46 by qrczak]
Fix the bug that source rules of primops shadowed builtin rules: let
extendRuleBase take the old rules from the id passed as the argument
when the id is absent in RuleBase.
I hope this is correct: I don't know what difference can be between
the id passed as extendRuleBase's argument and the id found in RuleBase.
Also use standard isJust, isNothing instead of non-standard
Maybes.maybeToBool.
qrczak [Sat, 28 Apr 2001 11:20:26 +0000 (11:20 +0000)]
[project @ 2001-04-28 11:20:26 by qrczak]
Remove bogus comment.
qrczak [Sat, 28 Apr 2001 04:44:05 +0000 (04:44 +0000)]
[project @ 2001-04-28 04:44:05 by qrczak]
Checking 0..0x10FFFF range can be done by a single unsigned comparison.
qrczak [Fri, 27 Apr 2001 20:30:55 +0000 (20:30 +0000)]
[project @ 2001-04-27 20:30:55 by qrczak]
Add various rules for primops (x# <=# x#, x# *# 1# etc.).
But they are commented out for now. Please uncomment parts marked
with XXX when the bug with source primop rules shadowing builtin
primop rules is fixed.
qrczak [Fri, 27 Apr 2001 19:35:50 +0000 (19:35 +0000)]
[project @ 2001-04-27 19:35:50 by qrczak]
Add builtin rules for {intToInt,wordToWord}{8,16,32}# applied to literals.
sewardj [Fri, 27 Apr 2001 16:30:08 +0000 (16:30 +0000)]
[project @ 2001-04-27 16:30:08 by sewardj]
When configuring GMP, restrict to the 486 instruction set. Doing otherwise
produces GMPs which expect to run on the P6 core on which they were built,
and so die with Illegal Instruction exceptions on Pentium (P5) and 486s.
sewardj [Fri, 27 Apr 2001 15:41:49 +0000 (15:41 +0000)]
[project @ 2001-04-27 15:41:49 by sewardj]
Avoid pattern match failure in getValidLinkable.maybe_old_linkable.
sewardj [Fri, 27 Apr 2001 15:39:18 +0000 (15:39 +0000)]
[project @ 2001-04-27 15:39:18 by sewardj]
merge rev 1.69.2.1, which was:
Remove x86-specific implementation of {intToInt,wordToWord}{8,16,32}#
primops, and replace them with platform-independent versions expressed
purely in Stix terms.
sewardj [Fri, 27 Apr 2001 15:38:39 +0000 (15:38 +0000)]
[project @ 2001-04-27 15:38:39 by sewardj]
merge rev 1.63.2.2, which was:
Remove x86-specific implementation of {intToInt,wordToWord}{8,16,32}#
primops, and replace them with platform-independent versions expressed
purely in Stix terms.
simonmar [Fri, 27 Apr 2001 15:17:16 +0000 (15:17 +0000)]
[project @ 2001-04-27 15:17:16 by simonmar]
update for new headers
simonmar [Fri, 27 Apr 2001 14:30:48 +0000 (14:30 +0000)]
[project @ 2001-04-27 14:30:48 by simonmar]
add a few extra headers
simonmar [Fri, 27 Apr 2001 14:13:43 +0000 (14:13 +0000)]
[project @ 2001-04-27 14:13:43 by simonmar]
SplitObjs=NO if GhcUnregisterised==YES
simonmar [Fri, 27 Apr 2001 11:23:48 +0000 (11:23 +0000)]
[project @ 2001-04-27 11:23:48 by simonmar]
er.. wibble
simonmar [Fri, 27 Apr 2001 10:03:50 +0000 (10:03 +0000)]
[project @ 2001-04-27 10:03:50 by simonmar]
- Generalise GHC-specific messages in the post-installation
announcement, and make it stand out a bit more.
- Fix documentation installation for non-GHC packages.
simonmar [Fri, 27 Apr 2001 08:52:19 +0000 (08:52 +0000)]
[project @ 2001-04-27 08:52:19 by simonmar]
fix markup
simonmar [Fri, 27 Apr 2001 08:50:59 +0000 (08:50 +0000)]
[project @ 2001-04-27 08:50:59 by simonmar]
add a note about requiring 'main' to be defined in module 'Main'.
simonmar [Fri, 27 Apr 2001 08:31:54 +0000 (08:31 +0000)]
[project @ 2001-04-27 08:31:54 by simonmar]
oops, can't use inCharRange here because of recursive dep.
qrczak [Fri, 27 Apr 2001 03:11:25 +0000 (03:11 +0000)]
[project @ 2001-04-27 03:11:25 by qrczak]
Don't delete ghc/configure on maintainer-clean.
sewardj [Thu, 26 Apr 2001 15:42:06 +0000 (15:42 +0000)]
[project @ 2001-04-26 15:42:06 by sewardj]
Fix bug in which *primitive* string literals were being checked for
Unicode-ness, even though they are not allowed to be; literals
containing zero bytes were then unicodified, which crashes the
bytecode generator.
simonmar [Thu, 26 Apr 2001 14:33:44 +0000 (14:33 +0000)]
[project @ 2001-04-26 14:33:44 by simonmar]
Don't fail during dependency generation if one of the search paths
doesn't exist.
simonmar [Thu, 26 Apr 2001 14:23:37 +0000 (14:23 +0000)]
[project @ 2001-04-26 14:23:37 by simonmar]
Release notes for 5.02. Let's not leave it till the last minute this
time, please folks!
simonmar [Thu, 26 Apr 2001 13:52:57 +0000 (13:52 +0000)]
[project @ 2001-04-26 13:52:57 by simonmar]
correct the sanity checking for -ohi
simonmar [Thu, 26 Apr 2001 13:38:01 +0000 (13:38 +0000)]
[project @ 2001-04-26 13:38:01 by simonmar]
Checking -ohi when looking for .hi files was the wrong thing to do.
simonmar [Thu, 26 Apr 2001 12:16:57 +0000 (12:16 +0000)]
[project @ 2001-04-26 12:16:57 by simonmar]
Allow out-of-range character literals to appear in interface-file
unfoldings. They occasionally pop up in Core.
qrczak [Thu, 26 Apr 2001 11:38:53 +0000 (11:38 +0000)]
[project @ 2001-04-26 11:38:53 by qrczak]
Don't write to stdin when there is no Readline.
sewardj [Thu, 26 Apr 2001 11:08:32 +0000 (11:08 +0000)]
[project @ 2001-04-26 11:08:32 by sewardj]
Detect the presence or absence of readline the right way.
simonmar [Wed, 25 Apr 2001 14:36:48 +0000 (14:36 +0000)]
[project @ 2001-04-25 14:36:48 by simonmar]
fix another sign problem in toClockTime.
simonmar [Wed, 25 Apr 2001 10:00:29 +0000 (10:00 +0000)]
[project @ 2001-04-25 10:00:29 by simonmar]
never delete configure, even for maintainer-clean.
andy [Tue, 24 Apr 2001 23:51:11 +0000 (23:51 +0000)]
[project @ 2001-04-24 23:51:11 by andy]
Adding tests for Arrays that use quickcheck to compare arrays
with a reference implementation (from the Haskell report).
lewie [Tue, 24 Apr 2001 20:12:18 +0000 (20:12 +0000)]
[project @ 2001-04-24 20:12:18 by lewie]
Eh hem... Wibble.
qrczak [Tue, 24 Apr 2001 15:49:19 +0000 (15:49 +0000)]
[project @ 2001-04-24 15:49:19 by qrczak]
Remove spaces after \ at eol.
Generate declarations for Posix symbols too.
simonmar [Tue, 24 Apr 2001 15:06:32 +0000 (15:06 +0000)]
[project @ 2001-04-24 15:06:32 by simonmar]
hc bootstrapping fixes
simonmar [Tue, 24 Apr 2001 15:03:37 +0000 (15:03 +0000)]
[project @ 2001-04-24 15:03:37 by simonmar]
- hc bootstraping fixes
- distclean & maintainer-clean should descend into gmp.
simonmar [Tue, 24 Apr 2001 13:48:01 +0000 (13:48 +0000)]
[project @ 2001-04-24 13:48:01 by simonmar]
remove some unnecessary hacks (eg. building in ghc/utils/unlit early).
sewardj [Tue, 24 Apr 2001 13:29:05 +0000 (13:29 +0000)]
[project @ 2001-04-24 13:29:05 by sewardj]
merge rev 1.1.2.2, which was:
Fix readline arg to pkgconf.
simonmar [Tue, 24 Apr 2001 13:24:45 +0000 (13:24 +0000)]
[project @ 2001-04-24 13:24:45 by simonmar]
SUBDIRS should include utils when BootingFromHc.
simonmar [Tue, 24 Apr 2001 13:05:51 +0000 (13:05 +0000)]
[project @ 2001-04-24 13:05:51 by simonmar]
ShowTiming should not be on by default.