ghc.git
10 years agoRemove syb; it is no longer needed
Ian Lynagh [Tue, 22 Sep 2009 22:23:08 +0000 (22:23 +0000)] 
Remove syb; it is no longer needed

10 years agoRemove base3-compat
Ian Lynagh [Tue, 22 Sep 2009 20:06:57 +0000 (20:06 +0000)] 
Remove base3-compat

10 years agoSet version number to 6.13
Ian Lynagh [Tue, 22 Sep 2009 15:24:00 +0000 (15:24 +0000)] 
Set version number to 6.13

10 years agoboot-pkgs now automatically works out which libraries are from tarballs
Ian Lynagh [Mon, 21 Sep 2009 16:55:59 +0000 (16:55 +0000)] 
boot-pkgs now automatically works out which libraries are from tarballs

10 years agoremove "touch %_hsc.c" - what was it for?
Simon Marlow [Mon, 21 Sep 2009 15:57:20 +0000 (15:57 +0000)] 
remove "touch %_hsc.c" - what was it for?

10 years agoValidate now cleans regardless of whether mk/config.mk exists
Ian Lynagh [Mon, 21 Sep 2009 18:26:36 +0000 (18:26 +0000)] 
Validate now cleans regardless of whether mk/config.mk exists
Cleaning should always succeed now

10 years agoUpdate 6.12.1 release notes
Ian Lynagh [Mon, 21 Sep 2009 18:24:31 +0000 (18:24 +0000)] 
Update 6.12.1 release notes
Add changes that we inherit from haskeline

10 years agoAdd sdist to ghc-cabal's bag of tricks
Ian Lynagh [Mon, 21 Sep 2009 16:20:03 +0000 (16:20 +0000)] 
Add sdist to ghc-cabal's bag of tricks

10 years agoAdd the --checked-out flag; expand the docs/comments at the top
Simon Marlow [Mon, 21 Sep 2009 14:52:01 +0000 (14:52 +0000)] 
Add the --checked-out flag; expand the docs/comments at the top

10 years agomove way-related stuff into a separate file
Simon Marlow [Mon, 21 Sep 2009 13:00:24 +0000 (13:00 +0000)] 
move way-related stuff into a separate file
This fixes at least one problem: libHSffi-ghc<version>.so wasn't being
cleaned, because $(dyn_libsuf) wasn't defined while cleaning.

10 years agoclean some Haddock-generated files
Simon Marlow [Mon, 21 Sep 2009 11:42:10 +0000 (11:42 +0000)] 
clean some Haddock-generated files

10 years agoFix bindist creation
Ian Lynagh [Sun, 20 Sep 2009 18:36:31 +0000 (18:36 +0000)] 
Fix bindist creation

10 years agoUpdate dependencies
Ian Lynagh [Sun, 20 Sep 2009 15:24:02 +0000 (15:24 +0000)] 
Update dependencies

10 years agoAdd release notes for 6.12.1
Ian Lynagh [Sun, 20 Sep 2009 14:18:20 +0000 (14:18 +0000)] 
Add release notes for 6.12.1

10 years agoremove encoding of output using Haskeline; the IO library does it now (#3398)
Simon Marlow [Fri, 18 Sep 2009 14:40:41 +0000 (14:40 +0000)] 
remove encoding of output using Haskeline; the IO library does it now (#3398)

10 years agoignore unused-import warnings from Haskeline
Simon Marlow [Fri, 18 Sep 2009 14:27:18 +0000 (14:27 +0000)] 
ignore unused-import warnings from Haskeline

10 years agoFix the nursery size calculation when -N is used with -H
Simon Marlow [Fri, 18 Sep 2009 13:44:38 +0000 (13:44 +0000)] 
Fix the nursery size calculation when -N is used with -H

10 years agoimplement case-on-Word in the byte code generator/interpreter (#2881)
Simon Marlow [Fri, 18 Sep 2009 13:32:04 +0000 (13:32 +0000)] 
implement case-on-Word in the byte code generator/interpreter (#2881)

10 years agoFix #3439: -debug implies -ticky, and -ticky code links with any RTS
Simon Marlow [Fri, 18 Sep 2009 11:46:31 +0000 (11:46 +0000)] 
Fix #3439: -debug implies -ticky, and -ticky code links with any RTS

10 years agoFix #3525 - we were still checking for ParsePkgConf.hs, which is gone
Simon Marlow [Fri, 18 Sep 2009 10:43:27 +0000 (10:43 +0000)] 
Fix #3525 - we were still checking for ParsePkgConf.hs, which is gone

10 years agoimprove the cyclic module error message as per #1856
Simon Marlow [Wed, 16 Sep 2009 20:50:36 +0000 (20:50 +0000)] 
improve the cyclic module error message as per #1856

 - remove the main: stuff
 - show the filenames
 - don't clutter the output with imports that aren't involved in
   the cycle

10 years agoUse CONF_CC_OPTS
Manuel M T Chakravarty [Thu, 17 Sep 2009 13:27:06 +0000 (13:27 +0000)] 
Use CONF_CC_OPTS
- Needed to get arch-dependent options, eg, on Snow Leopard

10 years agofix install on Windows
Simon Marlow [Thu, 17 Sep 2009 12:19:21 +0000 (12:19 +0000)] 
fix install on Windows

10 years agofix install on Windows
Simon Marlow [Thu, 17 Sep 2009 10:33:50 +0000 (10:33 +0000)] 
fix install on Windows

10 years agoAllow -package-id to override the default package shadowing semantics
Simon Marlow [Thu, 17 Sep 2009 12:15:10 +0000 (12:15 +0000)] 
Allow -package-id to override the default package shadowing semantics
So that Cabal, if it wants, can use a more general algorithm to find a
consistent set of packages to use.

10 years agofix xref
Simon Marlow [Thu, 17 Sep 2009 10:05:44 +0000 (10:05 +0000)] 
fix xref

10 years agoadd -eventlog
Simon Marlow [Thu, 17 Sep 2009 10:04:03 +0000 (10:04 +0000)] 
add -eventlog

10 years agodocument -eventlog and the associated runtime options
Simon Marlow [Wed, 16 Sep 2009 15:28:15 +0000 (15:28 +0000)] 
document -eventlog and the associated runtime options

10 years agotypo in error message
Simon Marlow [Wed, 16 Sep 2009 14:23:24 +0000 (14:23 +0000)] 
typo in error message

10 years agoonly create the .eventlog file if any tracing options are enabled
Simon Marlow [Wed, 16 Sep 2009 14:23:15 +0000 (14:23 +0000)] 
only create the .eventlog file if any tracing options are enabled

10 years agoFix build on Mac OS 10.6 (Snow Leopard)
Manuel M T Chakravarty [Thu, 17 Sep 2009 04:41:21 +0000 (04:41 +0000)] 
Fix build on Mac OS 10.6 (Snow Leopard)
- We have -m32 as machine-dependent option for gcc for a 32 bit build
- Like on OpenBSD, SL requires -fno-stack-protector to avoid triggering the
  stack smashing checks inserted by gcc by default on this platform.

10 years agoFollow the builtin:rts vs. builtin_rts renaming
Matthias Kilian [Tue, 15 Sep 2009 20:42:54 +0000 (20:42 +0000)] 
Follow the builtin:rts vs. builtin_rts renaming

This unbreaks make install again.

10 years agoPut context information for warnings in errMsgExtraInfo.
Thomas Schilling [Tue, 15 Sep 2009 15:03:53 +0000 (15:03 +0000)] 
Put context information for warnings in errMsgExtraInfo.

For type checker warnings, the context information ("In the expression
...") was simply appended to the main message while for proper errors
they live in errMsgExtraInfo.  This allows GHC API clients to drop
that information if not needed.

10 years agoUpdate and improve packages documentation
Simon Marlow [Tue, 15 Sep 2009 16:10:24 +0000 (16:10 +0000)] 
Update and improve packages documentation

10 years agoFIX #3434 (improve vi tags: add non-exported symbols, kinds, regex tags)
Peter Hercek [Mon, 17 Aug 2009 18:41:00 +0000 (18:41 +0000)] 
FIX #3434 (improve vi tags: add non-exported symbols, kinds, regex tags)

10 years agoEvent tracing: put the capability in the block marker, omit it from the events
Simon Marlow [Tue, 15 Sep 2009 11:12:27 +0000 (11:12 +0000)] 
Event tracing: put the capability in the block marker, omit it from the events
This makes events smaller and tracing quicker, and speeds up reading
and sorting the trace file.

HEADS UP: this changes the format of event log files.  Corresponding
changes to the ghc-events package are required (and will be pushed
soon).  Normally we would make backwards-compatible changes, but this
changes the format of every event (to remove the capability) so I'm
breaking the rules this time.  This will be the only time we can do
this, since the format becomes public in 6.12.1.

10 years agoAdd event block markers
Simon Marlow [Sun, 13 Sep 2009 21:25:46 +0000 (21:25 +0000)] 
Add event block markers
These indicate the size and time span of a sequence of events in the
event log, to make it easier to sort and navigate a large event log.

10 years agoOptimise the code generated at trace points
Simon Marlow [Sat, 12 Sep 2009 21:35:04 +0000 (21:35 +0000)] 
Optimise the code generated at trace points

10 years agoImprove the default parallel GC settings, and sanitise the flags (#3340)
Simon Marlow [Tue, 15 Sep 2009 08:40:00 +0000 (08:40 +0000)] 
Improve the default parallel GC settings, and sanitise the flags (#3340)

Flags (from +RTS -?):

  -qg[<n>]  Use parallel GC only for generations >= <n>
            (default: 0, -qg alone turns off parallel GC)
  -qb[<n>]  Use load-balancing in the parallel GC only for generations >= <n>
            (default: 1, -qb alone turns off load-balancing)

these are good defaults for most parallel programs.  Single-threaded
programs that want to make use of parallel GC will probably want +RTS
-qg1 (this is documented).

I've also updated the docs.

10 years agoUpdate the "Hints for using SMP parallelism" section
Simon Marlow [Tue, 15 Sep 2009 08:34:31 +0000 (08:34 +0000)] 
Update the "Hints for using SMP parallelism" section
In particular, remove the claim that the GC is single-threaded!

10 years agoFix collateral damage after distdir-opts.mk was refactored away
Simon Marlow [Mon, 14 Sep 2009 14:44:27 +0000 (14:44 +0000)] 
Fix collateral damage after distdir-opts.mk was refactored away

10 years agoalow macros to redefine builtin GHCi commands (implements #3084)
Peter Hercek [Tue, 12 May 2009 17:24:59 +0000 (17:24 +0000)] 
alow macros to redefine builtin GHCi commands (implements #3084)

10 years agoFix build on Windows
Simon Marlow [Mon, 14 Sep 2009 11:05:50 +0000 (11:05 +0000)] 
Fix build on Windows

10 years agoAdd "ghc-pkg init" command for creating a new package DB
Simon Marlow [Mon, 14 Sep 2009 10:58:23 +0000 (10:58 +0000)] 
Add "ghc-pkg init" command for creating a new package DB

10 years agoFix a space leak in the native code gen (again)
Simon Marlow [Fri, 11 Sep 2009 15:28:12 +0000 (15:28 +0000)] 
Fix a space leak in the native code gen (again)

10 years agoUse _ rather than : for the builtin package filenames
Ian Lynagh [Sun, 13 Sep 2009 20:40:16 +0000 (20:40 +0000)] 
Use _ rather than : for the builtin package filenames
Using "builtin:foo" creates a file called "builtin" on Windows

10 years agoDon't register the non-munged stage1 ghc package
Ian Lynagh [Sun, 13 Sep 2009 16:19:45 +0000 (16:19 +0000)] 
Don't register the non-munged stage1 ghc package
It confuses the build system.

10 years agoFixes for compiling the HEAD with iteslf
Ian Lynagh [Sun, 13 Sep 2009 14:21:22 +0000 (14:21 +0000)] 
Fixes for compiling the HEAD with iteslf

10 years agoDon't try and put HaddockLex and HaddockParse into src dists
Ian Lynagh [Sat, 12 Sep 2009 17:50:50 +0000 (17:50 +0000)] 
Don't try and put HaddockLex and HaddockParse into src dists
They no longer exist.

10 years agoParsePkgConf no longer exists, so don't try to put it in source dists
Ian Lynagh [Sat, 12 Sep 2009 17:32:53 +0000 (17:32 +0000)] 
ParsePkgConf no longer exists, so don't try to put it in source dists

10 years agoTweak an error message
Ian Lynagh [Sat, 12 Sep 2009 17:32:23 +0000 (17:32 +0000)] 
Tweak an error message

10 years agoRefactor sdist so that we can see which command is being run
Ian Lynagh [Sat, 12 Sep 2009 17:16:27 +0000 (17:16 +0000)] 
Refactor sdist so that we can see which command is being run

10 years agoFix the location of the package database in the installed ghc-pkg
Ian Lynagh [Sat, 12 Sep 2009 14:40:46 +0000 (14:40 +0000)] 
Fix the location of the package database in the installed ghc-pkg
It was using the old filename, rather than the new directory name.

10 years agoMore bindist fixes
Ian Lynagh [Sat, 12 Sep 2009 14:32:48 +0000 (14:32 +0000)] 
More bindist fixes

10 years agoAdd includes/ghcautoconf.h and includes/ghcplatform.h to bindists
Ian Lynagh [Sat, 12 Sep 2009 13:28:42 +0000 (13:28 +0000)] 
Add includes/ghcautoconf.h and includes/ghcplatform.h to bindists

10 years agoUpdate the URL in the usage info to point to the current docs location
Ian Lynagh [Fri, 11 Sep 2009 22:07:35 +0000 (22:07 +0000)] 
Update the URL in the usage info to point to the current docs location

10 years agomove hschooks.c to ghc/, and enable it
Simon Marlow [Fri, 11 Sep 2009 14:07:02 +0000 (14:07 +0000)] 
move hschooks.c to ghc/, and enable it

10 years agoFix #3408: lengthen the idle GC time to 5s for GHC/GHCi.
Simon Marlow [Fri, 11 Sep 2009 12:45:47 +0000 (12:45 +0000)] 
Fix #3408: lengthen the idle GC time to 5s for GHC/GHCi.

10 years agoComments and Cmm notes
simonpj@microsoft.com [Fri, 11 Sep 2009 13:35:13 +0000 (13:35 +0000)] 
Comments and Cmm notes

10 years agoRemove the old package.conf parser, use read instead (fixed #3410)
Simon Marlow [Fri, 11 Sep 2009 11:49:28 +0000 (11:49 +0000)] 
Remove the old package.conf parser, use read instead (fixed #3410)
Performance isn't an issue for reading the old-style package.conf
files, so we might as well revert to using read and fix a bug at the
same time.

10 years agoFix some makefile logic, and remove the now unused *_USE_BOOT_LIBS vars
Ian Lynagh [Fri, 11 Sep 2009 12:31:35 +0000 (12:31 +0000)] 
Fix some makefile logic, and remove the now unused *_USE_BOOT_LIBS vars

10 years agoChange a sed separator character to make it easier to read
Ian Lynagh [Fri, 11 Sep 2009 12:18:27 +0000 (12:18 +0000)] 
Change a sed separator character to make it easier to read

10 years agoUse -fno-warn-name-shadowing when compiling Binary.hs
Ian Lynagh [Fri, 11 Sep 2009 11:47:56 +0000 (11:47 +0000)] 
Use -fno-warn-name-shadowing when compiling Binary.hs

10 years agoImprove optimisation of cost centres
simonpj@microsoft.com [Fri, 11 Sep 2009 11:56:30 +0000 (11:56 +0000)] 
Improve optimisation of cost centres

This patch fixes test failures for the profiling way for drv001.
The problem was that the arity of a function was decreasing during
"optimisation" because of interaction with SCC annotations.
In particular
      f = /\a. scc "f" (h x)    -- where h had arity 2
and h gets inlined, led to
      f = /\a. scc "f" let v = scc "f" x in \y. <blah>

Two main changes:

1.  exprIsTrivial now says True for (scc "f" x)
    See Note [SCCs are trivial] in CoreUtils

2.  The simplifier eliminates nested pushing of the same cost centre:
   scc "f" (...(scc "f" e)...)
   ==>  scc "f" (...e...)

10 years agoFix build with GHC <= 6.10.1
Simon Marlow [Fri, 11 Sep 2009 10:31:42 +0000 (10:31 +0000)] 
Fix build with GHC <= 6.10.1

10 years agoloosen base dependency to allow base-3
Simon Marlow [Fri, 11 Sep 2009 09:31:39 +0000 (09:31 +0000)] 
loosen base dependency to allow base-3

10 years agoremove superfluous trailing backslash
Simon Marlow [Fri, 11 Sep 2009 09:31:24 +0000 (09:31 +0000)] 
remove superfluous trailing backslash

10 years agoWork around bug in old bytestring versions by reading the package DB strictly
Simon Marlow [Fri, 11 Sep 2009 09:31:03 +0000 (09:31 +0000)] 
Work around bug in old bytestring versions by reading the package DB strictly

10 years agoAdd cmm-notes, describing Simon and John's work on Cmm pipeline
simonpj@microsoft.com [Fri, 11 Sep 2009 10:53:16 +0000 (10:53 +0000)] 
Add cmm-notes, describing Simon and John's work on Cmm pipeline

10 years agoWibble to error message
simonpj@microsoft.com [Fri, 11 Sep 2009 09:08:19 +0000 (09:08 +0000)] 
Wibble to error message

10 years agoadd comment: __thread is not supported by gcc on OS X yet
Simon Marlow [Thu, 10 Sep 2009 15:21:46 +0000 (15:21 +0000)] 
add comment: __thread is not supported by gcc on OS X yet

10 years agoFix #3320: we forgot to save/restore the GC register variable
Simon Marlow [Thu, 10 Sep 2009 15:16:23 +0000 (15:16 +0000)] 
Fix #3320: we forgot to save/restore the GC register variable

10 years agoput back F_, just in case the via-C codegen uses it
Simon Marlow [Thu, 10 Sep 2009 12:40:37 +0000 (12:40 +0000)] 
put back F_, just in case the via-C codegen uses it

10 years agoremove debugging/testing code that got here by mistake
Simon Marlow [Thu, 10 Sep 2009 12:26:07 +0000 (12:26 +0000)] 
remove debugging/testing code that got here by mistake

10 years agofix installation of header files (#3451)
Simon Marlow [Thu, 10 Sep 2009 12:18:31 +0000 (12:18 +0000)] 
fix installation of header files (#3451)

10 years agoThree improvements to Template Haskell (fixes #3467)
simonpj@microsoft.com [Thu, 10 Sep 2009 12:58:48 +0000 (12:58 +0000)] 
Three improvements to Template Haskell (fixes #3467)

This patch implements three significant improvements to Template Haskell.

Declaration-level splices with no "$"
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This change simply allows you to omit the "$(...)" wrapper for
declaration-level TH splices.  An expression all by itself is
not legal, so we now treat it as a TH splice.  Thus you can now
say
data T = T1 | T2
  deriveMyStuff ''T

where deriveMyStuff :: Name -> Q [Dec]
This makes a much nicer interface for clients of libraries that use
TH: no scary $(deriveMyStuff ''T).

Nested top-level splices
~~~~~~~~~~~~~~~~~~~~~~~~
Previously TH would reject this, saying that splices cannot be nested:
f x = $(g $(h 'x))
But there is no reason for this not to work.  First $(h 'x) is run,
yielding code <blah> that is spliced instead of the $(h 'x). Then (g
<blah>) is typechecked and run, yielding code that replaces the
$(g ...) splice.

So this simply lifts the restriction.

Fix Trac #3467: non-top-level type splices
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

It appears that when I added the ability to splice types in TH
programs, I failed to pay attention to non-top-level splices -- that
is, splices inside quotatation brackets.

This patch fixes the problem.  I had to modify HsType, so there's a
knock-on change to Haddock.

Its seems that a lot of lines of code has changed, but almost all the
new lines are comments!

General tidying up
~~~~~~~~~~~~~~~~~~
As a result of thinking all this out I re-jigged the data type ThStage,
which had far too many values before.  And I wrote a nice state transition
diagram to make it all precise;
   see Note [Template Haskell state diagram] in TcSplice

Lots more refactoring in TcSplice, resulting in significantly less code.
(A few more lines, but actually less code -- the rest is comments.)

I think the result is significantly cleaner.

10 years agoRefactor the parsing of data type declarations
simonpj@microsoft.com [Tue, 8 Sep 2009 19:23:27 +0000 (19:23 +0000)] 
Refactor the parsing of data type declarations

This is a minor change to the parser that tidies it up a bit,
and allows us to parse

data T :: *
        data S :: * -> *

just like

data T
data S a

10 years agoRemove unused data constructor ITpragma in type Lexer.Token
simonpj@microsoft.com [Sat, 5 Sep 2009 17:15:11 +0000 (17:15 +0000)] 
Remove unused data constructor ITpragma in type Lexer.Token

10 years agoComments in Cmm
simonpj@microsoft.com [Thu, 10 Sep 2009 12:29:28 +0000 (12:29 +0000)] 
Comments in Cmm

10 years agofix warnings
Simon Marlow [Thu, 10 Sep 2009 11:11:56 +0000 (11:11 +0000)] 
fix warnings

10 years agobinary has unused-import warnings
Simon Marlow [Thu, 10 Sep 2009 11:11:15 +0000 (11:11 +0000)] 
binary has unused-import warnings

10 years agoChange the representation of the package database
Simon Marlow [Thu, 10 Sep 2009 10:27:03 +0000 (10:27 +0000)] 
Change the representation of the package database

 - the package DB is a directory containing one file per package
   instance (#723)

 - there is a binary cache of the database (#593, #2089)

 - the binary package is now a boot package

 - there is a new package, bin-package-db, containing the Binary
   instance of InstalledPackageInfo for the binary cache.

Also included in this patch

 - Use colour in 'ghc-pkg list' to indicate broken or hidden packages

   Broken packages are red, hidden packages are

   Colour support comes from the terminfo package, and is only used when
    - not --simple-output
    - stdout is a TTY
    - the terminal type has colour capability

 - Fix the bug that 'ghc-pkg list --user' shows everything as broken

10 years agoImprove the user guide section on shared libs
Duncan Coutts [Tue, 8 Sep 2009 18:32:41 +0000 (18:32 +0000)] 
Improve the user guide section on shared libs
Make it clear that Haskell code to be used by other Haskell code
must be built as a package.

10 years agoFIX #711 implement osFreeAllMBlocks for unix
Austin Seipp [Thu, 10 Sep 2009 08:46:30 +0000 (08:46 +0000)] 
FIX #711 implement osFreeAllMBlocks for unix

10 years agoNO_CLEAN_GMP fixes
Simon Marlow [Wed, 9 Sep 2009 09:34:43 +0000 (09:34 +0000)] 
NO_CLEAN_GMP fixes

10 years agoOmit visibility pragmas on Windows (fixes warnings/validate failures)
Simon Marlow [Wed, 9 Sep 2009 09:32:17 +0000 (09:32 +0000)] 
Omit visibility pragmas on Windows (fixes warnings/validate failures)

10 years agoComments only, on Cmm data types
simonpj@microsoft.com [Thu, 10 Sep 2009 09:17:03 +0000 (09:17 +0000)] 
Comments only, on Cmm data types

10 years agoFix up logic to decide whether shared libs are being built or not
Simon Marlow [Wed, 9 Sep 2009 11:57:57 +0000 (11:57 +0000)] 
Fix up logic to decide whether shared libs are being built or not

Now, adding dyn to $(GhcLibWays) is how shared libs are enabled.
Everything else keys off that, rather than testing
$(BuildSharedLibs).

10 years agoremove a ToDo that is Done
Simon Marlow [Tue, 8 Sep 2009 15:44:11 +0000 (15:44 +0000)] 
remove a ToDo that is Done

10 years agocomment fix
Simon Marlow [Tue, 8 Sep 2009 15:03:51 +0000 (15:03 +0000)] 
comment fix

10 years agorefactor *_OPTS settings in the build system; no functional changes
Simon Marlow [Wed, 9 Sep 2009 09:44:08 +0000 (09:44 +0000)] 
refactor *_OPTS settings in the build system; no functional changes

10 years agoadd $(CONF_*_OPTS) for options that come from ./configure (fixes #3426)
Simon Marlow [Tue, 8 Sep 2009 15:19:08 +0000 (15:19 +0000)] 
add $(CONF_*_OPTS) for options that come from ./configure (fixes #3426)

10 years agoAdd -package-id, improve package shadowing behaviour and error messages
Simon Marlow [Tue, 8 Sep 2009 14:09:06 +0000 (14:09 +0000)] 
Add -package-id, improve package shadowing behaviour and error messages
A few changes bundled together here:

 - Add -package-id flag, like -package but takes an
   InstalledPackageId as an argument (mainly for Cabal)
   (docs to follow)

 - Fix the shadowing behaviour: if we end up with
   two packages with the same name/version that came from
   different package databases, then one will shadow the
   other.  This may mean we have to disable other packages
   that depended on the now-shadowed package.  Lots of
   refactoring to ensure that we can get reasonable diagnostics when
   this happens

<command line>: cannot satisfy -package shadowdep:
    shadowdep-1-XXX is unusable due to missing or recursive dependencies:
      shadow-1-XXX
    (use -v for more information)

10 years agoremove --enable-hc-boot-unregisterised (implied by --enable-hc-boot now)
Simon Marlow [Tue, 8 Sep 2009 14:19:19 +0000 (14:19 +0000)] 
remove --enable-hc-boot-unregisterised (implied by --enable-hc-boot now)
and fix up related cruft

10 years agofix a warning
Simon Marlow [Tue, 8 Sep 2009 13:15:51 +0000 (13:15 +0000)] 
fix a warning

10 years agofix warnings
Simon Marlow [Tue, 8 Sep 2009 13:08:54 +0000 (13:08 +0000)] 
fix warnings

10 years agofix warnings
Simon Marlow [Tue, 8 Sep 2009 11:42:00 +0000 (11:42 +0000)] 
fix warnings

10 years agoremove Haddock-lexing/parsing/renaming from GHC
Isaac Dupree [Wed, 26 Aug 2009 14:59:24 +0000 (14:59 +0000)] 
remove Haddock-lexing/parsing/renaming from GHC

10 years agoFix Trac #3403: interaction of CPR and pattern-match failure
simonpj@microsoft.com [Tue, 8 Sep 2009 13:14:00 +0000 (13:14 +0000)] 
Fix Trac #3403: interaction of CPR and pattern-match failure

A fine bug report (#3403) demonstrated that we were losing the tail
call property when a complicated pattern match was involved.  After
a bit of investigation I discovered that the culprit was the failure
join-point introduced by the pattern matcher.  It was a zero-argument
thunk, which is not very CPR-friendly, and that interacted badly with
CPR worker/wrapper.

It's easy to fix, the same way that we fix other join points, by supplying
a dummy argument (that is not really passed at runtime.

10 years agoFix Trac #3468: improve checking for hs-boot interfaces
simonpj@microsoft.com [Tue, 8 Sep 2009 13:03:50 +0000 (13:03 +0000)] 
Fix Trac #3468: improve checking for hs-boot interfaces

When checking the interface exported by a hs-boot file against the
Real Thing, I'd failed to check the kind of a type constructor.  If you
get it wrong, the inconsistency leads to all manner of mischief, as
'wkahl' reports in #3468.

This patch should do the job.