panne [Mon, 11 Jul 2005 20:33:45 +0000 (20:33 +0000)]
[project @ 2005-07-11 20:33:45 by panne]
After some experiments, it seems like we're stealing too many registers from
newer GCCs on SPARC, leading to
"unable to find a register to spill in class `GENERAL_REGS'"
errors. The fix is to leave l6 and l7 to GCC. Tested with a full 2-stage
bootstrap (including OpenGL/GLUT packages) on SPARC Solaris 8 with GCC 3.4.4.
A test case for this (which I'm too lazy/tired to commit) is:
module Blah ( foo ) where
import Foreign.Ptr ( FunPtr )
type Bar = Int -> Double -> Double -> Double -> IO ()
foreign import ccall unsafe "dynamic" foo :: FunPtr Bar -> Bar
SimonM: MERGE TO STABLE (if nobody yells)
simonmar [Mon, 11 Jul 2005 15:57:39 +0000 (15:57 +0000)]
[project @ 2005-07-11 15:57:38 by simonmar]
Avoid calling threadPaused() on exit from STG land if we're just
switching to the interpreter, and conversely call threadPaused() in
the interpreter if we're returing to the scheduler for anything other
than switching to STG.
This will probably fix the recent slowdown in GHCi (ioref001 test, for
example). It was broken when we moved the threadPaused() call into
STG from the scheduler, so it only affects the HEAD.
simonmar [Mon, 11 Jul 2005 15:34:07 +0000 (15:34 +0000)]
[project @ 2005-07-11 15:34:07 by simonmar]
make_constr_itbls: 64-bit fix (size of info table was hardcoded)
simonmar [Mon, 11 Jul 2005 14:21:54 +0000 (14:21 +0000)]
[project @ 2005-07-11 14:21:54 by simonmar]
byte code info tables for x86_64 (same as i386)
simonmar [Mon, 11 Jul 2005 14:08:07 +0000 (14:08 +0000)]
[project @ 2005-07-11 14:08:07 by simonmar]
Turn on GHCi for x86_64
simonmar [Mon, 11 Jul 2005 13:53:24 +0000 (13:53 +0000)]
[project @ 2005-07-11 13:53:24 by simonmar]
GHCi staggers to its feet on x86_64.
The problem is that in the small code model on x86_64, all symbol
relocations are 32-bit, because the program is assumed to fit into
2Gb. However, shared libraries are linked outside the 2Gb range, and
the linker arranges that references to shared library symbols either
go via a jump table (for code references) or are copied into the 2Gb
area (for data references).
In GHCi's linker, We can use a jump table for the function symbols,
but we can't copy the data symbols because they've already been
relocated to point to the shared library. What's more, we can't tell
whether a symbol reference is to code or data - this information is
only available from the shared library itself.
Fortunately, at least HSbase.o doesn't have any data references to
shared libraries (at least on the Linux distro I'm using), so I can at
least get GHCi up and limping.
simonmar [Mon, 11 Jul 2005 12:29:28 +0000 (12:29 +0000)]
[project @ 2005-07-11 12:29:28 by simonmar]
awakenBlockedQueue(): check for NULL. This is a hack to workaround a
bug that occurs when async exceptions, unsafePerformIO, and
interruptible operations are used together. See the comment in
Exceptions.cmm and bug #1235728 for more details.
simonpj [Mon, 11 Jul 2005 10:47:21 +0000 (10:47 +0000)]
[project @ 2005-07-11 10:47:20 by simonpj]
Wibbles to unifyFunTy error messages
simonpj [Mon, 11 Jul 2005 10:46:43 +0000 (10:46 +0000)]
[project @ 2005-07-11 10:46:42 by simonpj]
Improvements to speakN, define speakNOf, move plural from TcSimplify
simonmar [Mon, 11 Jul 2005 10:25:43 +0000 (10:25 +0000)]
[project @ 2005-07-11 10:25:43 by simonmar]
mingw32: ignore isDoesNotExistError failure from
GHC.ConsoleHandler.flushConsole
Submitted-by: Brian Smith <brianlsmith at gmail.com>
simonpj [Mon, 11 Jul 2005 09:54:44 +0000 (09:54 +0000)]
[project @ 2005-07-11 09:54:43 by simonpj]
Improve the error message from unifyFunTys. Previously we got a really
horrible message from this:
t = ((\Just x -> x) :: Maybe a -> a) (Just 1)
Try.hs:1:6:
Couldn't match the rigid variable `a' against `t -> t1'
Expected type: a
Inferred type: t -> t1
Now it's much better:
Try.hs:14:6:
The lambda expression `\ Just x -> ...' has two arguments,
but its type `Maybe a -> a' has only one
In the expression: (\ Just x -> x) :: Maybe a -> a
tcfail140 tests some cases
simonpj [Mon, 11 Jul 2005 09:48:57 +0000 (09:48 +0000)]
[project @ 2005-07-11 09:48:57 by simonpj]
Fix a bug in the renamer for parallel list comprehensions
MERGE TO STABLE
It's surprinsingly tricky to combine
a) The parallel scopes for par-list-comps
with
b) The general form of the renamer types, whereby
scoped constructs work like
rnPat :: Pat -> RnM (thing,FreeVars)
-> RnM ((Pat,thing), FreeVars)
This general shape neatly allows rnPat to
extend the envt, report unused variables from
the 'thing' inside, and return the correct set
of free variables
But combining (a) and (b) is tricky, and was plain wrong before.
simonpj [Mon, 11 Jul 2005 09:48:19 +0000 (09:48 +0000)]
[project @ 2005-07-11 09:48:19 by simonpj]
Add speakN, and the ability to set printing depth
simonmar [Mon, 11 Jul 2005 09:17:41 +0000 (09:17 +0000)]
[project @ 2005-07-11 09:17:41 by simonmar]
enable splitting on x86_64
simonmar [Mon, 11 Jul 2005 09:10:58 +0000 (09:10 +0000)]
[project @ 2005-07-11 09:10:58 by simonmar]
x86_64: Pass -fno-asynchronous-unwind-tables to gcc, which eliminates
some unnecessary junk from the via-C generated code and allows
-split-objs to work.
panne [Sat, 9 Jul 2005 14:44:06 +0000 (14:44 +0000)]
[project @ 2005-07-09 14:44:06 by panne]
Fixed & simplified previous commit.
panne [Sat, 9 Jul 2005 14:35:51 +0000 (14:35 +0000)]
[project @ 2005-07-09 14:35:51 by panne]
Silence the error message when ld doesn't understand the -x option.
panne [Sat, 9 Jul 2005 14:33:01 +0000 (14:33 +0000)]
[project @ 2005-07-09 14:33:01 by panne]
Solaris' sed obviously doesn't like nested \(\), so do the gcc version
detection magic in two steps instead of one.
igloo [Sat, 9 Jul 2005 00:13:14 +0000 (00:13 +0000)]
[project @ 2005-07-09 00:13:14 by igloo]
Fix building on IA64.
Please merge to stable.
simonpj [Fri, 8 Jul 2005 19:49:24 +0000 (19:49 +0000)]
[project @ 2005-07-08 19:49:24 by simonpj]
Revert accidental commit (merge to stable if bogus commit was merged)
simonpj [Fri, 8 Jul 2005 16:16:37 +0000 (16:16 +0000)]
[project @ 2005-07-08 16:16:37 by simonpj]
MERGE TO STABLE (once I"ve checked it works)
The dictionary-floating code in Specialise wasn't taking
variables free in the RULES into account, which resulted in
such variables perhaps going out of scope.
simonpj [Fri, 8 Jul 2005 15:05:16 +0000 (15:05 +0000)]
[project @ 2005-07-08 15:05:15 by simonpj]
MERGE TO STABLE
Add a check for Haskell-98 mode, to check that there is no type
synonym in an instance declaration.
tcfail139 tests this case
simonmar [Fri, 8 Jul 2005 13:57:50 +0000 (13:57 +0000)]
[project @ 2005-07-08 13:57:50 by simonmar]
genOutputFilenameFunc: fix output filename generated for non-Haskell
compilations with -odir.
simonmar [Fri, 8 Jul 2005 11:16:00 +0000 (11:16 +0000)]
[project @ 2005-07-08 11:16:00 by simonmar]
Clean .hi-boot and .o-boot files too
simonmar [Thu, 7 Jul 2005 13:50:40 +0000 (13:50 +0000)]
[project @ 2005-07-07 13:50:40 by simonmar]
small performance fix: in via-C mode we previously always created a
switch instead of an conditional-tree for a multi-branch case. Refine
this slightly so that 2-branch switches turn into conditionals again,
since gcc doesn't do a good job of optimising the equivalent switch.
panne [Wed, 6 Jul 2005 11:31:53 +0000 (11:31 +0000)]
[project @ 2005-07-06 11:31:53 by panne]
DocBook validation police
simonmar [Wed, 6 Jul 2005 10:43:36 +0000 (10:43 +0000)]
[project @ 2005-07-06 10:43:36 by simonmar]
ghc -e should exit(1) if the statement fails to compile.
Fixes #1233146 (this was already partially fixed, in that ghc -e would
exit(1) if the modules fail to compile, but if the expression itself
was invalid it would still exit(0)).
dons [Tue, 5 Jul 2005 04:55:30 +0000 (04:55 +0000)]
[project @ 2005-07-05 04:55:30 by dons]
Fix ffi on OpenBSD by dynamically allocating the obscure_ccall_ret_code.
Also merge in SimonM's wrapper over inline asm patch.
simonmar [Fri, 1 Jul 2005 09:41:24 +0000 (09:41 +0000)]
[project @ 2005-07-01 09:41:24 by simonmar]
setContextAfterLoad: include the Prelude if the top module is compiled
(this broke at some point in the HEAD, 6.4 works fine).
simonpj [Wed, 29 Jun 2005 16:04:04 +0000 (16:04 +0000)]
[project @ 2005-06-29 16:04:04 by simonpj]
Vital wibble to last commit!
simonpj [Wed, 29 Jun 2005 15:41:27 +0000 (15:41 +0000)]
[project @ 2005-06-29 15:41:27 by simonpj]
MERGE TO STABLE
Fix a long-lurking renamer bug, concerning the reporting of ambiguous
name occurrences.
(the merge may require a little fiddling)
simonmar [Wed, 29 Jun 2005 08:47:21 +0000 (08:47 +0000)]
[project @ 2005-06-29 08:47:21 by simonmar]
Make it compile on Alpha.
simonmar [Tue, 28 Jun 2005 13:44:28 +0000 (13:44 +0000)]
[project @ 2005-06-28 13:44:28 by simonmar]
Add a comment that grabbing all the capabilities before GC causes the
thread->capability hash table to acquire multiple entries for the
current thread, which seems to be harmless.
simonmar [Tue, 28 Jun 2005 13:43:41 +0000 (13:43 +0000)]
[project @ 2005-06-28 13:43:41 by simonmar]
Disable the assertion that checks for multiple entries with the same
key in the hash table. It's useful to be able to do this sometimes.
simonpj [Mon, 27 Jun 2005 12:59:52 +0000 (12:59 +0000)]
[project @ 2005-06-27 12:59:52 by simonpj]
MERGE TO STABLE
Fix a typechecker bug, which made the typechecker loop under certain
circumstances, notably when we have
type Foo a = a
and try to unify
b :=: Foo b
typecheck/should_compile/tc195 tests this case now.
simonmar [Mon, 27 Jun 2005 09:17:35 +0000 (09:17 +0000)]
[project @ 2005-06-27 09:17:35 by simonmar]
Update docs for :ctags, :etags.
simonmar [Mon, 27 Jun 2005 08:54:51 +0000 (08:54 +0000)]
[project @ 2005-06-27 08:54:51 by simonmar]
help text wibble
simonmar [Mon, 27 Jun 2005 08:53:03 +0000 (08:53 +0000)]
[project @ 2005-06-27 08:53:03 by simonmar]
Rename :tags to :etags and :ctags. The problem was that :tags
prevented the common abbreviation of :type, namely :t.
Also, :etags and :ctags match the *nix commands of the same name, and
this way makes it easier for them to take an optional filename
argument (which they now do).
simonmar [Thu, 23 Jun 2005 09:17:30 +0000 (09:17 +0000)]
[project @ 2005-06-23 09:17:30 by simonmar]
Add a 'U' suffix to all integer literals to make them explicitly
unsigned. This avoids some warnings from gcc, but I don't think it
fixes any actual bugs (I could be wrong, though).
simonmar [Wed, 22 Jun 2005 08:25:38 +0000 (08:25 +0000)]
[project @ 2005-06-22 08:25:38 by simonmar]
pkgIdMap should include adjustments made by -package flags (it used
to; I broke this yesterday). Also add origPkgIdMap for keeping the
original package database - this might be needed in the future.
simonmar [Wed, 22 Jun 2005 08:24:22 +0000 (08:24 +0000)]
[project @ 2005-06-22 08:24:22 by simonmar]
Check the result of GHC.depanal for errors.
ross [Tue, 21 Jun 2005 15:11:40 +0000 (15:11 +0000)]
[project @ 2005-06-21 15:11:38 by ross]
split Distribution.Extension between Language.Haskell.Extension (just
the type, which will also be useful when haskell-src-exts is merged)
and Distribution.Compiler (mappings to compiler options).
simonmar [Tue, 21 Jun 2005 12:03:25 +0000 (12:03 +0000)]
[project @ 2005-06-21 12:03:25 by simonmar]
Document changes to the package system.
A nice side effect of the relaxed restrictions is that the
-ignore-package flag is no longer required when compiling a package
(unless the package is "base", and even in that case we might be able
to get away with -hide-package base). For now, I've removed
references that talk about using -ignore-package when compiling a
package, and simplified the documentation for -ignore-package.
simonmar [Tue, 21 Jun 2005 11:57:00 +0000 (11:57 +0000)]
[project @ 2005-06-21 11:57:00 by simonmar]
fix Windows build
simonmar [Tue, 21 Jun 2005 10:44:42 +0000 (10:44 +0000)]
[project @ 2005-06-21 10:44:37 by simonmar]
Relax the restrictions on conflicting packages. This should address
many of the traps that people have been falling into with the current
package story.
Now, a local module can shadow a module in an exposed package, as long
as the package is not otherwise required by the program. GHC checks
for conflicts when it knows the dependencies of the module being
compiled.
Also, we now check for module conflicts in exposed packages only when
importing a module: if an import can be satisfied from multiple
packages, that's an error. It's not possible to prevent GHC from
starting by installing packages now (unless you install another base
package).
It seems to be possible to confuse GHCi by having a local module
shadowing a package module that goes away and comes back again. I
think it's nearly right, but strange happenings have been observed.
I'll try to merge this into the STABLE branch.
simonmar [Tue, 21 Jun 2005 10:30:41 +0000 (10:30 +0000)]
[project @ 2005-06-21 10:30:41 by simonmar]
we should be using PprTyThingInContext instead of PprTyThing here
krasimir [Sun, 19 Jun 2005 08:41:40 +0000 (08:41 +0000)]
[project @ 2005-06-19 08:41:40 by krasimir]
Add pprTyThingHdr function.
krasimir [Sun, 19 Jun 2005 08:40:50 +0000 (08:40 +0000)]
[project @ 2005-06-19 08:40:50 by krasimir]
Add PprTyThing to modules list
chak [Sun, 19 Jun 2005 03:08:23 +0000 (03:08 +0000)]
[project @ 2005-06-19 03:08:23 by chak]
Small improvement to the text
simonmar [Thu, 16 Jun 2005 09:51:45 +0000 (09:51 +0000)]
[project @ 2005-06-16 09:51:45 by simonmar]
oops, bring runghc in on the shared-compat.mk game
simonmar [Thu, 16 Jun 2005 09:45:29 +0000 (09:45 +0000)]
[project @ 2005-06-16 09:45:28 by simonmar]
Move the boilerplate Makefile code for using libghccompat.a into a
shared .mk file, lib/compat/compat.mk. libghccompat.a is really a
poor-mans package, but to make it a real package would mean dealing
with variationg in the package support of different GHC versions, so
this is easier for now.
simonmar [Thu, 16 Jun 2005 09:40:27 +0000 (09:40 +0000)]
[project @ 2005-06-16 09:40:27 by simonmar]
Use -optdep--exclude-module to fix building HEAD with itself.
simonmar [Thu, 16 Jun 2005 09:36:15 +0000 (09:36 +0000)]
[project @ 2005-06-16 09:36:15 by simonmar]
Fix -optdep--exclude-module (looks like this has been broken for a while)
simonmar [Thu, 16 Jun 2005 09:33:41 +0000 (09:33 +0000)]
[project @ 2005-06-16 09:33:41 by simonmar]
Fix stage1 compilation
ross [Thu, 16 Jun 2005 01:17:11 +0000 (01:17 +0000)]
[project @ 2005-06-16 01:17:09 by ross]
refactoring only: split Compiler type from Distribution.Setup,
to reduce dependencies.
simonmar [Wed, 15 Jun 2005 13:50:14 +0000 (13:50 +0000)]
[project @ 2005-06-15 13:50:14 by simonmar]
Undo accidental commit
simonmar [Wed, 15 Jun 2005 12:03:46 +0000 (12:03 +0000)]
[project @ 2005-06-15 12:03:19 by simonmar]
Re-implement GHCi's :info and :browse commands in terms of TyThings
rather than IfaceSyn.
The GHC API now exposes its internal types for Haskell entities:
TyCons, Classes, DataCons, Ids and Instances (collectively known as
TyThings), so we can inspect these directly to pretty-print
information about an entity. Previously the internal representations
were converted to IfaceSyn for passing to InteractiveUI, but we can
now remove that code.
Some of the new code comes via Visual Haskell, but I've changed it
around a lot to fix various dark corners and properly print things
like GADTs.
The pretty-printing interfaces for TyThings are exposed by a new
module PprTyThing, which is implemented purely in terms of the GHC API
(and is probably a good source of sample code). Visual Haskell should
be able to use the functions exported by this module directly.
Lots of new goodies are exported by the GHC module, mainly for
inspecting TyThings.
tharris [Tue, 14 Jun 2005 10:02:11 +0000 (10:02 +0000)]
[project @ 2005-06-14 10:02:11 by tharris]
Assert on nested atomic blocks
simonmar [Mon, 13 Jun 2005 14:36:01 +0000 (14:36 +0000)]
[project @ 2005-06-13 14:36:01 by simonmar]
- Fix up documentation for about new automatic printing semantics
- Document :tags
simonmar [Mon, 13 Jun 2005 14:16:03 +0000 (14:16 +0000)]
[project @ 2005-06-13 14:16:03 by simonmar]
fix layout in the help text
simonmar [Mon, 13 Jun 2005 14:12:59 +0000 (14:12 +0000)]
[project @ 2005-06-13 14:12:59 by simonmar]
Implement :tags command
Patch supplied by Claus Reinke, with some modifications by me.
Ideally we'd like this to be a command line option too, and we'd like
to drop the restriction that all the source files must be interpreted,
but that needs some work elsewhere (interface files have to store
definition source locations).
simonmar [Mon, 13 Jun 2005 13:46:39 +0000 (13:46 +0000)]
[project @ 2005-06-13 13:46:39 by simonmar]
unused imports
simonmar [Mon, 13 Jun 2005 13:44:48 +0000 (13:44 +0000)]
[project @ 2005-06-13 13:44:48 by simonmar]
- Eliminate some warnings, remove dead code
- export PrintUnqualified, alwaysQualify
simonmar [Mon, 13 Jun 2005 12:29:49 +0000 (12:29 +0000)]
[project @ 2005-06-13 12:29:48 by simonmar]
Block allocator performance fix: instead of keeping the free list
ordered, keep it doubly-linked, and introduce a new flag BF_FREE so we
can tell when a block is free. We can still coalesce blocks on the
free list because block descriptors are kept consecutively in memory,
so we can tell based on the BF_FREE flag whether to coalesce with the
next higher/lower blocks when freeing a block.
This (almost) make freeChain O(n) rather than O(n^2), and has been
reported to help a lot when dealing with very large heaps.
simonmar [Mon, 13 Jun 2005 10:21:09 +0000 (10:21 +0000)]
[project @ 2005-06-13 10:21:09 by simonmar]
Use perl rather than sed to munge the package.conf file; avoids
portability problems with sed (previous version didn't work on Solaris).
wolfgang [Mon, 13 Jun 2005 02:44:22 +0000 (02:44 +0000)]
[project @ 2005-06-13 02:44:22 by wolfgang]
Darwin:
Deal with the fact that the code and data in a .o file might not be
16-byte aligned even if it contains instructions that require 16-byte
alignment.
This fixes floating point related crashes on Darwin/x86; there might
also have been problems on Darwin/ppc if people load .o files with
AltiVec code into GHCi.
wolfgang [Mon, 13 Jun 2005 02:03:42 +0000 (02:03 +0000)]
[project @ 2005-06-13 02:03:42 by wolfgang]
Darwin/x86:
Instead of aligning all literals at 16 bytes, reuse the hack from x86-64.
wolfgang [Mon, 13 Jun 2005 00:16:44 +0000 (00:16 +0000)]
[project @ 2005-06-13 00:16:44 by wolfgang]
Darwin/x86: support GHCi.
wolfgang [Mon, 13 Jun 2005 00:15:58 +0000 (00:15 +0000)]
[project @ 2005-06-13 00:15:58 by wolfgang]
Darwin/x86:
Fix two causes for crashes:
*) align literals to 16 bytes, because Apple's GCC likes to use
SSE instructions which require this alignment.
*) In print_doctored, recognize global jumps that masquerade as
local jumps by going via Lfoo$stub or Lfoo$non_lazy_ptr.
simonpj [Fri, 10 Jun 2005 13:33:48 +0000 (13:33 +0000)]
[project @ 2005-06-10 13:33:48 by simonpj]
tcTrace wibble
simonpj [Fri, 10 Jun 2005 13:33:27 +0000 (13:33 +0000)]
[project @ 2005-06-10 13:33:27 by simonpj]
Comments only
wolfgang [Thu, 9 Jun 2005 16:08:16 +0000 (16:08 +0000)]
[project @ 2005-06-09 16:08:16 by wolfgang]
Fix a typo: powerpc32_TARGET_OS -> powerpc64_TARGET_OS
This didn't do any actual damage, because powerpc64 is not yet supported
by the NCG and powerpc32 is called just 'powerpc'.
MERGE TO STABLE
wolfgang [Thu, 9 Jun 2005 06:01:51 +0000 (06:01 +0000)]
[project @ 2005-06-09 06:01:51 by wolfgang]
Support i386-apple-darwin for binary dists.
MERGE TO STABLE
wolfgang [Thu, 9 Jun 2005 05:55:42 +0000 (05:55 +0000)]
[project @ 2005-06-09 05:55:40 by wolfgang]
Registerised support for Darwin/x86, both NCG and mangled.
*) -fPIC doesn't work yet with -fvia-C.
*) Apple officially requires the stack to be 16-byte-aligned,
GHC ignores this for now.
wolfgang [Thu, 9 Jun 2005 05:35:28 +0000 (05:35 +0000)]
[project @ 2005-06-09 05:35:28 by wolfgang]
Following Apple's announcement to switch to Intel processors,
add i[3456]86-apple-darwin platform.
MERGE TO STABLE
simonmar [Wed, 8 Jun 2005 07:56:55 +0000 (07:56 +0000)]
[project @ 2005-06-08 07:56:55 by simonmar]
use test -f instead of -s, for portability.
simonmar [Tue, 7 Jun 2005 15:06:59 +0000 (15:06 +0000)]
[project @ 2005-06-07 15:06:59 by simonmar]
Remove some non-portable uses of /bin/test, from Christian Maeder.
simonmar [Tue, 7 Jun 2005 10:58:31 +0000 (10:58 +0000)]
[project @ 2005-06-07 10:58:31 by simonmar]
Various updates and improvements.
simonmar [Tue, 7 Jun 2005 09:55:03 +0000 (09:55 +0000)]
[project @ 2005-06-07 09:55:03 by simonmar]
-ddump-hi-diffs shouldn't turn off recompilation checking
simonmar [Tue, 7 Jun 2005 08:56:23 +0000 (08:56 +0000)]
[project @ 2005-06-07 08:56:23 by simonmar]
add filename to some error messages on mingw32
simonpj [Tue, 7 Jun 2005 08:19:50 +0000 (08:19 +0000)]
[project @ 2005-06-07 08:19:50 by simonpj]
Mention that type splices are not implemented; MERGE to STABLE
simonmar [Mon, 6 Jun 2005 13:19:41 +0000 (13:19 +0000)]
[project @ 2005-06-06 13:19:41 by simonmar]
Hopefully fix more compilation problems with various versions of GHC
simonmar [Mon, 6 Jun 2005 09:10:41 +0000 (09:10 +0000)]
[project @ 2005-06-06 09:10:41 by simonmar]
Make this build with GHC < 6.03 again
tharris [Mon, 6 Jun 2005 08:49:07 +0000 (08:49 +0000)]
[project @ 2005-06-06 08:49:07 by tharris]
Remove SMP-only fields from STM data structures from non-SMP builds
simonmar [Fri, 3 Jun 2005 10:20:34 +0000 (10:20 +0000)]
[project @ 2005-06-03 10:20:34 by simonmar]
Allow calls to __alloca in the prologue on mingw32 (previously only
allowed for cygwin32, I guess it hasn't happened for a while).
simonmar [Fri, 3 Jun 2005 10:08:55 +0000 (10:08 +0000)]
[project @ 2005-06-03 10:08:55 by simonmar]
Check for reserved stack space blown.
simonmar [Fri, 3 Jun 2005 09:56:38 +0000 (09:56 +0000)]
[project @ 2005-06-03 09:56:38 by simonmar]
Profiling doesn't require -fvia-C any more. Also, I optimistically
removed -fvia-C from all the other ways except unreg.
simonmar [Fri, 3 Jun 2005 08:47:58 +0000 (08:47 +0000)]
[project @ 2005-06-03 08:47:58 by simonmar]
Fix crash in LDV profiling on the HEAD
sof [Thu, 2 Jun 2005 16:52:58 +0000 (16:52 +0000)]
[project @ 2005-06-02 16:52:58 by sof]
add .svn/ to list of ignorable dirs
simonmar [Thu, 2 Jun 2005 08:51:17 +0000 (08:51 +0000)]
[project @ 2005-06-02 08:51:17 by simonmar]
Make GHC.depanal store the module graph in the session again. Fixes
ghc -M.
simonmar [Wed, 1 Jun 2005 13:17:12 +0000 (13:17 +0000)]
[project @ 2005-06-01 13:17:12 by simonmar]
Fix a regex bug
simonmar [Tue, 31 May 2005 14:14:26 +0000 (14:14 +0000)]
[project @ 2005-05-31 14:14:26 by simonmar]
Make more error messages from the downsweep into ErrMsg exceptions.
simonmar [Tue, 31 May 2005 13:10:39 +0000 (13:10 +0000)]
[project @ 2005-05-31 13:10:39 by simonmar]
oops, fix updating the module graph
simonmar [Tue, 31 May 2005 12:45:04 +0000 (12:45 +0000)]
[project @ 2005-05-31 12:45:03 by simonmar]
Fix some reporting of errors in the GHC API: errors during the
downsweep were thrown as exceptions; now they're reported via the
(Messages->IO ()) callback in the same way as other errors.
getModuleInfo no longer prints anything on stdout. It does ignore
error messages and return Nothing, however - we should fix this and
return the error messages at some point.
The ErrMsg type can now be thrown as an exception. This can be a
convenient alternative if collecting multiple error messages isn't
required. We do this in the downsweep now.
simonmar [Tue, 31 May 2005 09:11:27 +0000 (09:11 +0000)]
[project @ 2005-05-31 09:11:27 by simonmar]
Fix the names of a few fields.
tharris [Fri, 27 May 2005 14:47:10 +0000 (14:47 +0000)]
[project @ 2005-05-27 14:47:08 by tharris]
Update STM implementation for SMP builds
simonpj [Thu, 26 May 2005 21:37:13 +0000 (21:37 +0000)]
[project @ 2005-05-26 21:37:13 by simonpj]
MERGE TO STABLE
Put back in a missing case for higher-rank types. When the
definition is
a) non-recursive
b) a function binding
c) lacks a type signature
we want to *infer* a perhaps-higher-rank type for the RHS,
before making a monomorphically-typed Id for the LHS.
E.g. f = \(x :: forall a. a->a) -> (x True, x 'c')
This case got lost in the transition to 6.4
tc194 tests it
simonmar [Wed, 25 May 2005 20:28:26 +0000 (20:28 +0000)]
[project @ 2005-05-25 20:28:26 by simonmar]
Fix Linker on Windows: there was one more place where we had to check
for ".ctors" sections.
simonpj [Wed, 25 May 2005 12:38:14 +0000 (12:38 +0000)]
[project @ 2005-05-25 12:38:14 by simonpj]
Fix url
simonmar [Wed, 25 May 2005 08:33:15 +0000 (08:33 +0000)]
[project @ 2005-05-25 08:33:15 by simonmar]
something very strange happened with previous commit; try again