Ian Lynagh [Thu, 14 May 2009 00:54:50 +0000 (00:54 +0000)]
Hide warnings from alex/happy sources
Ian Lynagh [Wed, 13 May 2009 23:40:42 +0000 (23:40 +0000)]
Fix some warnings in Lexer
Ian Lynagh [Wed, 13 May 2009 16:05:31 +0000 (16:05 +0000)]
Fix building dph in the new build system
simonpj@microsoft.com [Wed, 13 May 2009 15:11:30 +0000 (15:11 +0000)]
Improve error reporting for kind errors (fix Trac #1633)
A long-standing improvement to the error message for kinds. Now instead of
Expected kind `* -> *', but `Int' has kind `*'
we get
The first argument of `T' should have kind `* -> *',
but `Int' has kind `*'
Ha!
simonpj@microsoft.com [Wed, 13 May 2009 15:09:22 +0000 (15:09 +0000)]
Fix Trac #3219: type of a record update
Record updates are amazingly hard to typecheck right. This is one place
where GHC's policy of typechecking the original source is much harder than
desugaring and typechecking that!
Anyway, the bug here is that to compute the 'fixed' type variables I was
only looking at one constructor rather than all the relevant_cons
Test is typecheck/should_compile/T3219, which GHC 6.10 barfs on (with Lint).
simonpj@microsoft.com [Wed, 13 May 2009 14:59:44 +0000 (14:59 +0000)]
Add comments
Duncan Coutts [Fri, 1 May 2009 23:58:24 +0000 (23:58 +0000)]
Link the rts shared libs against gmp and the other C libs
When using shared libs we should link each lib against its deps. This allows
the dynamic linker to chase dependencies and means we do not have to specify
all indirect dependencies (as we must do for static libs).
Duncan Coutts [Fri, 1 May 2009 12:14:45 +0000 (12:14 +0000)]
Make ghc -dynamic imply -fPIC for C code
As is already the case for ghc -fPIC. This is needed because ghc -dynamic
means to generate code that is capable of being linked to Haskell shared
libs and for C code the equivalent is -fPIC. Normally C code does not need
-fPIC merely to link to shared libs however Haskell shared libs do not
follow common conventions. In particular the static data cannot be
referenced statically because it cannot be copied by the static linker.
The linker cannot copy them because we do not specify a .size for the
_closure entries (in the .data section) though in principle we could.
Simon Marlow [Wed, 13 May 2009 10:20:44 +0000 (10:20 +0000)]
validate does "exit 1" if it fails
Simon Marlow [Wed, 13 May 2009 10:16:49 +0000 (10:16 +0000)]
fix warning
Simon Marlow [Wed, 13 May 2009 10:03:17 +0000 (10:03 +0000)]
remove old unused fop/dvips/xmltex stuff
Simon Marlow [Wed, 13 May 2009 10:01:42 +0000 (10:01 +0000)]
build Haddock docs
y.zhuang5@lse.ac.uk [Wed, 22 Apr 2009 20:19:37 +0000 (20:19 +0000)]
enable LinkDynLib in compilier phase
Simon Marlow [Wed, 13 May 2009 07:59:03 +0000 (07:59 +0000)]
expand hack to include PS docs too
Simon Marlow [Mon, 11 May 2009 14:51:22 +0000 (14:51 +0000)]
stub Makefile
Simon Marlow [Mon, 11 May 2009 14:50:06 +0000 (14:50 +0000)]
GhcBootLibs is no more
Simon Marlow [Mon, 11 May 2009 14:49:35 +0000 (14:49 +0000)]
updates to the section describing the +RTS -s/-S output (#3211)
Simon Marlow [Fri, 8 May 2009 09:22:00 +0000 (09:22 +0000)]
multi-slurp protection
simonpj@microsoft.com [Tue, 12 May 2009 17:12:29 +0000 (17:12 +0000)]
Improve error messages for type functions
Following a suggestion of Claus Reinke, this patch improves the error
messages involving type functions. Here's the relevant note from TcTyFuns.
Note [Non-injective type functions]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
It's very confusing to get a message like
Couldn't match expected type `Depend s'
against inferred type `Depend s1'
so pp_open_tc adds:
NB: `Depend' is a (non-injective) type function
Currently we add this independently for each argument, so we also get
Couldn't match expected type `a'
against inferred type `Dual (Dual a)'
NB: `Dual' is a (non-injective) type function
which is arguably redundant. But on the other hand, it's probably
a good idea for the programmer to know the error involves type functions
so I've left it in for now. The obvious alternative is to only add
this NB in the case of matching (T ...) ~ (T ...).
Simon Marlow [Mon, 11 May 2009 13:36:15 +0000 (13:36 +0000)]
stub makefile
Simon Marlow [Mon, 11 May 2009 13:35:23 +0000 (13:35 +0000)]
Hack to make the user's guide build in a linked build tree
See comment for details
Simon Marlow [Mon, 11 May 2009 12:02:56 +0000 (12:02 +0000)]
make it so that 'make html', 'make pdf', and 'make ps' work for docs
Simon Marlow [Fri, 8 May 2009 08:38:11 +0000 (08:38 +0000)]
correct the +RTS -? docs for -A (default is 512k not 256k)
Simon Marlow [Fri, 8 May 2009 08:37:38 +0000 (08:37 +0000)]
Use a more compact +RTS -s output for Tasks
MUT time (elapsed) GC time (elapsed)
Task 0 (worker) : 0.00s ( 0.00s) 0.00s ( 0.00s)
Task 1 (worker) : 0.00s ( 0.01s) 0.00s ( 0.00s)
Task 2 (worker) : 0.00s ( 0.03s) 0.00s ( 0.00s)
Task 3 (bound) : 0.00s ( 0.00s) 0.02s ( 0.04s)
Simon Marlow [Tue, 5 May 2009 09:20:15 +0000 (09:20 +0000)]
disable a warning
Simon Marlow [Tue, 5 May 2009 09:20:09 +0000 (09:20 +0000)]
docbook PDF item is done
Simon Marlow [Fri, 1 May 2009 09:56:27 +0000 (09:56 +0000)]
add a .c --> .s rule
Ian Lynagh [Sat, 9 May 2009 20:07:08 +0000 (20:07 +0000)]
Remove libraries/ifBuildable.hs; it's no longer used
Ian Lynagh [Sat, 9 May 2009 18:46:34 +0000 (18:46 +0000)]
Fix configure
Ian Lynagh [Sat, 9 May 2009 14:29:36 +0000 (14:29 +0000)]
Build system tweak
Ian Lynagh [Fri, 8 May 2009 23:29:20 +0000 (23:29 +0000)]
Add a Makefile in libraries/
Ian Lynagh [Fri, 8 May 2009 23:02:36 +0000 (23:02 +0000)]
Tweak ./boot
Ian Lynagh [Fri, 8 May 2009 22:48:57 +0000 (22:48 +0000)]
Partially fix "make framework-pkg"
We still need to sort out the "install-docs" story to get this working
properly.
Ian Lynagh [Fri, 8 May 2009 00:06:03 +0000 (00:06 +0000)]
Handle deciding what docs to build better
Now we have variables for whether or not to build the docbook docs as
HTML, as PS, and as PDF. The configure script output now matches what
the build system will do (except it cannot take account of any
mk/build.mk settings, of course).
Ian Lynagh [Thu, 7 May 2009 15:06:41 +0000 (15:06 +0000)]
Remove oldconfig.mk.in
Ian Lynagh [Thu, 7 May 2009 13:50:34 +0000 (13:50 +0000)]
Rename pwd to ghc-pwd
Ian Lynagh [Thu, 7 May 2009 13:43:56 +0000 (13:43 +0000)]
Remove pwd's Makefile from the old build system
Ian Lynagh [Thu, 7 May 2009 13:42:59 +0000 (13:42 +0000)]
Clean utils/pwd
Ian Lynagh [Wed, 6 May 2009 01:04:45 +0000 (01:04 +0000)]
Use more portable shell in ./boot; fixes booting on Solaris
Ian Lynagh [Tue, 5 May 2009 22:34:32 +0000 (22:34 +0000)]
Simplify utils/pwd
We only need the forwardslash mode now, so always use that mode and
don't accept any arguments.
Ian Lynagh [Mon, 4 May 2009 15:02:09 +0000 (15:02 +0000)]
More rules for bootstrapping
Ian Lynagh [Mon, 4 May 2009 14:26:05 +0000 (14:26 +0000)]
Bootstrapping fix
Ian Lynagh [Mon, 4 May 2009 14:25:11 +0000 (14:25 +0000)]
Bootstrapping fixes
Ian Lynagh [Mon, 4 May 2009 10:53:24 +0000 (10:53 +0000)]
Test "ghc-pkg check" passes in bindisttest
Also fixes it so that it really does pass (we weren't substituting the
GMP variables in the RTS package config).
Ian Lynagh [Mon, 4 May 2009 10:40:26 +0000 (10:40 +0000)]
Put install-sh into bindists
Ian Lynagh [Mon, 4 May 2009 10:35:04 +0000 (10:35 +0000)]
Test bindists in a deeper subdirectory
configure looks for install-sh in . .. ../.. and we don't want it to
find the build system's install-sh.
Ian Lynagh [Sun, 3 May 2009 20:53:44 +0000 (20:53 +0000)]
Use "-x c" when compiling hc files
Ian Lynagh [Sun, 3 May 2009 20:37:33 +0000 (20:37 +0000)]
Makefile rules tweak for BootingFromHc
Ian Lynagh [Sun, 3 May 2009 20:18:12 +0000 (20:18 +0000)]
More bootstrapping rules
Ian Lynagh [Sun, 3 May 2009 19:05:08 +0000 (19:05 +0000)]
Add a .hc building rules for bootstrapping
Ian Lynagh [Sun, 3 May 2009 11:10:09 +0000 (11:10 +0000)]
Tweak rts ghc.mk for bootstrapping
Ian Lynagh [Sun, 3 May 2009 22:46:27 +0000 (22:46 +0000)]
Add a build system TODO
Ian Lynagh [Sun, 3 May 2009 10:40:05 +0000 (10:40 +0000)]
Add dph to build system; patch from Roman Leshchinskiy
Ian Lynagh [Sun, 3 May 2009 00:44:37 +0000 (00:44 +0000)]
Fix building without GHCi
Ian Lynagh [Sat, 2 May 2009 22:56:01 +0000 (22:56 +0000)]
Makefile tweak
Simon Marlow [Fri, 1 May 2009 11:28:57 +0000 (11:28 +0000)]
add publish-binary-dist; tidy up
Duncan Coutts [Thu, 30 Apr 2009 22:55:46 +0000 (22:55 +0000)]
Fix make for libffi again, properly this time
No idea how the last patch managed to pass validate.
Duncan Coutts [Thu, 30 Apr 2009 13:56:37 +0000 (13:56 +0000)]
Fix parallel make for libffi.
I didn't realise make can invoke the same action multiple
times in parallel if the rule has multiple targets. So go
back to using a build stamp file.
Duncan Coutts [Thu, 30 Apr 2009 12:37:53 +0000 (12:37 +0000)]
Fix linking shared libs with parallel make
Unlike with static libs, when linking shared libs the dependencies
have to already exist. Add a dependency $1_$2_$3_LIBS : $1_$2_$3_DEPS_LIBS
Ian Lynagh [Thu, 30 Apr 2009 16:16:13 +0000 (16:16 +0000)]
Fix building Haskeline on Windows
Ian Lynagh [Thu, 30 Apr 2009 13:06:38 +0000 (13:06 +0000)]
Fix mkdependC: Make it tell cpp to use our temporary filename
Simon Marlow [Thu, 30 Apr 2009 10:02:45 +0000 (10:02 +0000)]
FIX build: add dependencies on ghc_boot_platform.h
Duncan Coutts [Wed, 29 Apr 2009 16:02:30 +0000 (16:02 +0000)]
Prevent haddock docs being built when HADDOCK_DOCS=NO
Duncan Coutts [Wed, 29 Apr 2009 15:30:02 +0000 (15:30 +0000)]
Clean up building of libffi for dynamic lib way
And depend on it at the top level when we're using dynamic libs.
Duncan Coutts [Wed, 29 Apr 2009 15:15:53 +0000 (15:15 +0000)]
Build library packages as shared libs
when we configure ghc with --enable-shared
Duncan Coutts [Wed, 29 Apr 2009 14:31:31 +0000 (14:31 +0000)]
Build the rts as a shared lib correctly
That is, build it as a .so/.dll rather than as libHSrts_dyn.a
Duncan Coutts [Wed, 29 Apr 2009 14:29:40 +0000 (14:29 +0000)]
Don't actually build ghc itself with -dynamic
For now, with --enable-shared we'll build the libs shared,
but ghc itself will still be statically linked.
In any case, we would want to be able to build it both
ways so it's easy to test both.
Duncan Coutts [Tue, 28 Apr 2009 12:35:29 +0000 (12:35 +0000)]
Add a new $way_libsuf variable for library suffix+extension
This allows the library file type to depend on the way. This is needed
to use .so/.dll libs for the "dyn" way rather than always using .a libs.
For example: thr_debug_dyn_libsuf="_thr_debug-ghc6.11.
20090426.so"
Duncan Coutts [Tue, 28 Apr 2009 12:34:52 +0000 (12:34 +0000)]
extend the rules/c-objs macro to take the way as a parameter
Previously we only built library package "cbits" the vanilla way, afterall
C code does not need to be built differently for profiling builds. However
for dynamic libs the C code needs to be built with -fPIC, so we do need
to be able to build package .c (and .s?) files multiple ways.
Duncan Coutts [Tue, 28 Apr 2009 10:49:24 +0000 (10:49 +0000)]
Do not link ghc stage1 using -threaded, only for stage2 or 3
We link stage1 using the bootstrapping compiler and there's
no guarantee that it has working support for threaded
Ian Lynagh [Wed, 29 Apr 2009 18:37:28 +0000 (18:37 +0000)]
Tweak ghc-cabal
Ian Lynagh [Wed, 29 Apr 2009 18:19:09 +0000 (18:19 +0000)]
Add special support for haskeline
The library uses stuff in Setup.hs to determine whether or not it needs
to use -liconv. This patch replicates that logic in ghc-cabal. This
isn't pretty, and we should find a better way to do it, but it works
for now.
Ian Lynagh [Wed, 29 Apr 2009 15:12:15 +0000 (15:12 +0000)]
In mkdependC.prl, create temp files properly
Avoids a race condition, where one run deletes/overwrites the temp file
of another.
Ian Lynagh [Wed, 29 Apr 2009 00:58:38 +0000 (00:58 +0000)]
Use haskeline, rather than editline, for line editing in ghci
Ian Lynagh [Tue, 28 Apr 2009 23:28:48 +0000 (23:28 +0000)]
Fix error handling
After the fix to #2500, we could get "Failing due to -Werror." but no
warnings printed. Now we don't fail in that case.
Simon Marlow [Tue, 28 Apr 2009 12:55:51 +0000 (12:55 +0000)]
move nofib settings here from ghc's config.mk
Simon Marlow [Tue, 28 Apr 2009 12:55:28 +0000 (12:55 +0000)]
add missing eventlog subdir
Simon Marlow [Tue, 28 Apr 2009 12:45:05 +0000 (12:45 +0000)]
move runstdtest into nofib
Simon Marlow [Tue, 28 Apr 2009 08:53:45 +0000 (08:53 +0000)]
improve the finalizer callback error message
Simon Marlow [Tue, 28 Apr 2009 08:52:33 +0000 (08:52 +0000)]
Add a header to all build system files:
# -----------------------------------------------------------------------------
#
# (c) 2009 The University of Glasgow
#
# This file is part of the GHC build system.
#
# To understand how the build system works and how to modify it, see
# http://hackage.haskell.org/trac/ghc/wiki/Building/Architecture
# http://hackage.haskell.org/trac/ghc/wiki/Building/Modifying
#
# -----------------------------------------------------------------------------
Simon Marlow [Tue, 28 Apr 2009 08:49:19 +0000 (08:49 +0000)]
more cleaning
Simon Marlow [Mon, 27 Apr 2009 15:25:29 +0000 (15:25 +0000)]
todo updates
Simon Marlow [Mon, 27 Apr 2009 14:47:43 +0000 (14:47 +0000)]
remove commentary that is now in the wiki
Simon Marlow [Mon, 27 Apr 2009 14:44:06 +0000 (14:44 +0000)]
remove ticket todos
Simon Marlow [Mon, 27 Apr 2009 13:43:22 +0000 (13:43 +0000)]
require gcc 3.0+ (see #2770)
Simon Marlow [Mon, 27 Apr 2009 12:47:11 +0000 (12:47 +0000)]
update build order comment
Manuel M T Chakravarty [Mon, 27 Apr 2009 14:03:16 +0000 (14:03 +0000)]
Equality constraint solver is now externally pure
- This patch changes the equality constraint solver such that it does not
instantiate any type variables that occur in the constraints that are to be
solved (or in the environment). Instead, it returns a bag of type bindings.
- If these type bindings (together with the other results of the solver) are
discarded, solver invocation has no effect (outside the solver) and can be
repeated (that's imported for TcSimplifyRestricted).
- For the type bindings to take effect, the caller of the solver needs to
execute them.
- The solver will still instantiate type variables thet were created during
solving (e.g., skolem flexibles used during type flattening).
See also http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsSolving
Ian Lynagh [Sun, 26 Apr 2009 16:02:04 +0000 (16:02 +0000)]
Improve the error message when we find a module in 2 places; trac #3183
Ian Lynagh [Sun, 26 Apr 2009 15:19:42 +0000 (15:19 +0000)]
Remove a comment (a bug to close, that has now been closed)
Ian Lynagh [Sun, 26 Apr 2009 11:42:15 +0000 (11:42 +0000)]
GHC new build system megapatch
Ben.Lippmeier@anu.edu.au [Sat, 25 Apr 2009 08:33:45 +0000 (08:33 +0000)]
Fix SPARC build, missing #include
Ian Lynagh [Fri, 24 Apr 2009 17:33:13 +0000 (17:33 +0000)]
Fix a lint failure when we have a ! (# ... #) pattern in a where clause
This showed up when converting ds057 to follow the new bang pattern rules,
in #2806.
Ian Lynagh [Fri, 24 Apr 2009 15:05:19 +0000 (15:05 +0000)]
Do the second part of #2806: Disallow unlifted types in ~ patterns
Ian Lynagh [Fri, 24 Apr 2009 14:02:27 +0000 (14:02 +0000)]
Tiny refactor
Ian Lynagh [Fri, 24 Apr 2009 12:47:54 +0000 (12:47 +0000)]
Require a bang pattern when unlifted types are where/let bound; #3182
For now we only get a warning, rather than an error, because the alex
and happy templates don't follow the new rules yet.
simonpj@microsoft.com [Fri, 24 Apr 2009 12:32:38 +0000 (12:32 +0000)]
Don't short out top-level indirections if there's a INLINE/NOINLINE pragma
The top-level indirection-shorting, done in SimplCore.shortOutIndirections,
was accidentally nuking a NOINLINE pragma. This patch adopts a slightly
more conservative approach to indirection-shorting, only doing so if
we do not thereby overwrite or lose some user-supplied pragmas.
Ben.Lippmeier@anu.edu.au [Fri, 24 Apr 2009 06:50:53 +0000 (06:50 +0000)]
Fix #3182: 64 bit FP value returned by C calls was getting trashed
movss instruction was being used to move the result into the
destination register instead of movsd
Simon Marlow [Fri, 24 Apr 2009 09:16:10 +0000 (09:16 +0000)]
add missing files (part of #3171 fix)
simonpj@microsoft.com [Fri, 24 Apr 2009 07:47:33 +0000 (07:47 +0000)]
Tiny optimisation to mkInlineMe
Simon Marlow [Thu, 23 Apr 2009 14:19:40 +0000 (14:19 +0000)]
Add EVENT_CREATE_SPARK_THREAD to replace EVENT_SPARK_TO_THREAD
Also some tidyups and renaming