simonpj [Tue, 8 May 2001 14:39:27 +0000 (14:39 +0000)]
[project @ 2001-05-08 14:39:27 by simonpj]
Add parallel list comp test
simonmar [Tue, 8 May 2001 14:33:01 +0000 (14:33 +0000)]
[project @ 2001-05-08 14:33:01 by simonmar]
oops, backout accidentally committed changes
simonmar [Tue, 8 May 2001 11:55:24 +0000 (11:55 +0000)]
[project @ 2001-05-08 11:55:24 by simonmar]
Fix setSrcLocP
simonmar [Tue, 8 May 2001 11:07:30 +0000 (11:07 +0000)]
[project @ 2001-05-08 11:07:30 by simonmar]
oops, remove debugging output
simonmar [Tue, 8 May 2001 10:58:48 +0000 (10:58 +0000)]
[project @ 2001-05-08 10:58:48 by simonmar]
Add
DriverPhases.haskellish_src_suffix :: String -> Bool
DriverPhases.haskellish_src_file :: String -> Bool
which return True for suffixes of Haskell source files only. The
existing haskellish_suffix and haskellish_file return True also for
.raw_s and .hc files.
We use these instead of haskellish_file in Main.main when deciding
whether to preprocess a file.
Fixes: compilation of .raw_s files, and potential bugs with
compilation of .hc files.
simonmar [Tue, 8 May 2001 08:55:18 +0000 (08:55 +0000)]
[project @ 2001-05-08 08:55:17 by simonmar]
Drop in CPUTime library replacement. Still needs to be ported to
Win32.
sof [Mon, 7 May 2001 20:23:24 +0000 (20:23 +0000)]
[project @ 2001-05-07 20:23:24 by sof]
Extraneous -O
sof [Mon, 7 May 2001 16:19:36 +0000 (16:19 +0000)]
[project @ 2001-05-07 16:19:36 by sof]
couple of bugfixes to make the script do its thing
sof [Mon, 7 May 2001 16:18:49 +0000 (16:18 +0000)]
[project @ 2001-05-07 16:18:49 by sof]
support for building .pdf docs
simonmar [Mon, 7 May 2001 14:38:15 +0000 (14:38 +0000)]
[project @ 2001-05-07 14:38:15 by simonmar]
Give slightly more accurate line numbers for certain pattern parse errors.
simonmar [Mon, 7 May 2001 14:37:00 +0000 (14:37 +0000)]
[project @ 2001-05-07 14:37:00 by simonmar]
add
setSrcLocP :: SrcLoc -> P a -> P a
simonmar [Mon, 7 May 2001 11:42:31 +0000 (11:42 +0000)]
[project @ 2001-05-07 11:42:31 by simonmar]
typo in Word64 code pointed out by Alastair Reid.
simonmar [Fri, 4 May 2001 16:36:38 +0000 (16:36 +0000)]
[project @ 2001-05-04 16:36:38 by simonmar]
comment explaining why we check the perms on . before reading ./.ghci.
simonmar [Fri, 4 May 2001 15:18:00 +0000 (15:18 +0000)]
[project @ 2001-05-04 15:18:00 by simonmar]
.raw_s is a haskellish_suffix.
simonmar [Fri, 4 May 2001 15:12:16 +0000 (15:12 +0000)]
[project @ 2001-05-04 15:12:16 by simonmar]
document :set -package
simonmar [Fri, 4 May 2001 14:56:53 +0000 (14:56 +0000)]
[project @ 2001-05-04 14:56:53 by simonmar]
- only read ~/.ghci if it is owned by the current user and isn't
writable by anyone else.
- Only read ./.ghci if both . and ./.ghci are owned by the current
user and aren't writable by anyone else. I think this is
sufficient: we don't need to check .. and ../.. etc. because "."
always refers to the same directory while a process is running.
- Don't load .so libraries in a package if that package is already
linked with GHCi. This stops us re-linking libm, libreadline etc.
- Allow packages to be loaded from within GHCi using
:set -package <name>
NOTE: this will unload all modules currently loaded into the
interpreter. I did this to be on the safe side - I think perhaps
it isn't necessary, but I haven't thought it through fully yet.
- fix CompManager.cmUnload in the process. It was wrong in several
ways.
MERGE WITH 5.00
simonpj [Fri, 4 May 2001 14:53:44 +0000 (14:53 +0000)]
[project @ 2001-05-04 14:53:44 by simonpj]
Add mutual recursion between types test
simonpj [Fri, 4 May 2001 14:44:07 +0000 (14:44 +0000)]
[project @ 2001-05-04 14:44:07 by simonpj]
Add more TC tracing
simonmar [Fri, 4 May 2001 14:43:49 +0000 (14:43 +0000)]
[project @ 2001-05-04 14:43:49 by simonmar]
touch# should be declared to have_side_effects. This fixes the
remaining problem with safe foreign imports and ForeignPtrs.
simonpj [Fri, 4 May 2001 14:43:26 +0000 (14:43 +0000)]
[project @ 2001-05-04 14:43:26 by simonpj]
**** MERGE WITH 5.00 BRANCH ********
--------------------------------
Fix a black hole when type checking type decls
--------------------------------
GHC was falling into a black hole when type checking a recursive
group of type declarations including a chain of type synonyms.
type PhraseFun = PMap -> Float
type PMap = () -> Player
data Player = P.MkT P.PhraseFun
Reason: too much consistency checking in TcMonoType.
Easily fixed using the existing wimp_out hack, but it's a mess.
This commit fixes it for the 5.00 branch but I'll do something
better in the head shortly.
simonpj [Fri, 4 May 2001 14:40:42 +0000 (14:40 +0000)]
[project @ 2001-05-04 14:40:42 by simonpj]
Comments only
rrt [Fri, 4 May 2001 14:23:52 +0000 (14:23 +0000)]
[project @ 2001-05-04 14:23:52 by rrt]
Script to change "cygwin1.dll" to something else, so that we can have our
own version of the cygwin DLL that doesn't clash with any installed DLLs,
for great justice.
simonmar [Fri, 4 May 2001 13:21:05 +0000 (13:21 +0000)]
[project @ 2001-05-04 13:21:05 by simonmar]
add
flushPackageCache :: [PackageConfig] -> IO ()
for modifying the list of available packages.
qrczak [Fri, 4 May 2001 09:37:13 +0000 (09:37 +0000)]
[project @ 2001-05-04 09:37:13 by qrczak]
Since overlapping rules (when one is more specific than the other)
seem to be handled well, add remaining fromIntegral rules to have
optimal conversions in all cases (given available primops).
simonpj [Fri, 4 May 2001 08:10:31 +0000 (08:10 +0000)]
[project @ 2001-05-04 08:10:30 by simonpj]
Comments only
simonpj [Fri, 4 May 2001 08:09:42 +0000 (08:09 +0000)]
[project @ 2001-05-04 08:09:42 by simonpj]
**** MERGE WITH 5.00 BRANCH ********
--------------------------------
Make CPR work only for small products
--------------------------------
GHC was barfing when doing CPR for programs involving very large
products. A one-line fix in MkId.mkDataCon makes it only do CPR for
smaller products (I chose 10). Comments
-- We do not treat very big tuples as CPR-ish:
-- a) for a start we get into trouble because there aren't
-- "enough" unboxed tuple types (a tiresome restriction,
-- but hard to fix),
-- b) more importantly, big unboxed tuples get returned mainly
-- on the stack, and are often then allocated in the heap
-- by the caller. So doing CPR for them may in fact make
-- things worse.
This should fix the error
Failed to find interface decl for
PrelGHC.(#,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,#)
I hope.
sof [Thu, 3 May 2001 21:07:21 +0000 (21:07 +0000)]
[project @ 2001-05-03 21:07:21 by sof]
win32 tweak
qrczak [Thu, 3 May 2001 19:03:27 +0000 (19:03 +0000)]
[project @ 2001-05-03 19:03:27 by qrczak]
Use infix syntax on lhs of some rules.
simonmar [Thu, 3 May 2001 16:33:27 +0000 (16:33 +0000)]
[project @ 2001-05-03 16:32:55 by simonmar]
silence gcc 2.96 warning
simonmar [Thu, 3 May 2001 15:53:47 +0000 (15:53 +0000)]
[project @ 2001-05-03 15:53:47 by simonmar]
oops, fix braino
simonmar [Thu, 3 May 2001 15:50:10 +0000 (15:50 +0000)]
[project @ 2001-05-03 15:50:10 by simonmar]
redirect CPP output to /dev/null; gcc 2.96 seems to behave differently
that 2.95 when the -E and -MMD flags are given.
simonmar [Thu, 3 May 2001 14:31:58 +0000 (14:31 +0000)]
[project @ 2001-05-03 14:31:58 by simonmar]
Arrange to call touch# on each ForeignObj# argument after a 'safe'
foreign import call.
This turned out to be the easiest place to implement it: if we'd done
it in CorePrep or CoreToStg, it would have been awkward to generate
the simplest code. At least doing it in the desugarer gives the
simplifier a crack at it later.
simonpj [Thu, 3 May 2001 12:33:50 +0000 (12:33 +0000)]
[project @ 2001-05-03 12:33:50 by simonpj]
**** MERGE WITH 5.00 BRANCH ********
--------------------------------
Monomorphism restriction for implicit parameters
--------------------------------
This commit tidies up the way in which monomorphic bindings
are dealt with, incidentally fixing a bug to do with implicit
parameters.
The tradeoffs concerning monomorphism and implicit paramters are
now documented in TcSimplify.lhs, and all the strategic choices
are made there (rather than in TcBinds where they were before).
I've continued with choice (B) -- which Jeff first implemented --
because that's what Hugs does, lacking any other consensus.
simonpj [Thu, 3 May 2001 12:30:35 +0000 (12:30 +0000)]
[project @ 2001-05-03 12:30:35 by simonpj]
Add another IP test
simonmar [Thu, 3 May 2001 09:36:43 +0000 (09:36 +0000)]
[project @ 2001-05-03 09:36:43 by simonmar]
Oops, xrefs to varlistentries are unsupported apparently. Xref the
section instead.
simonpj [Thu, 3 May 2001 09:35:28 +0000 (09:35 +0000)]
[project @ 2001-05-03 09:35:28 by simonpj]
Correct pretty print of HsIPVar
simonmar [Thu, 3 May 2001 09:35:09 +0000 (09:35 +0000)]
[project @ 2001-05-03 09:35:09 by simonmar]
mention, with a link, the +RTS -xc option.
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.