Make "./darcs-all optimize --relink" do the right thing

Support for DragonFly BSD
Patches from Goetz Isenmann <info@goetz-isenmann.de>, slightly updated
for HEAD (the method for configuring platforms in configure.ac has
changed).

The RTS needs hs-suffix-rules-srcdir for BootingFromHc
Patch submitted by Matthias Kilian <kili@outback.escape.de>,
re-recorded against HEAD by me, with a comment added.

Don't try to rebuild compiler/primop-*.hs-incl when BootingFromHc
Patch submitted by Matthias Kilian <kili@outback.escape.de>

No CoreLint warnings if -dno-debug-output is on

The Core Lint warnings are new.  There's only one at the moment,
namely one to identify recursive INLINE things:

    [RHS of $c>>_als :: forall s_afT a_alJ b_alK.
                        Cpr001_imp.StateTrans s_afT a_alJ
                        -> Cpr001_imp.StateTrans s_afT b_alK
                        -> Cpr001_imp.StateTrans s_afT b_alK]
    INLINE binder is loop breaker: $c>>_als

This is definitely non-fatal, and typically gets unravelled after
another simplifier run anyway.  So I'm suppressing such warnings
for the testsuite, when -dno-debug-output is on.

Wibbles to the inline-in-InlineRule stuff

The main change is using SimplUtils.updModeForInlineRules
doesn't overwrite the current setting, it just augments it.

Don't inline a loop breaker, even if it has an INLINE pragma

We preserve the InlineRule on loop breakers, in the hope that they'll
stop being a loop breaker later.  So don't inline them!

Comments only

Implement the PushC rule when optimising casts

Preserve strictness when floating coercions

See Note [Preserve strictness when floating coercions]

Make -dverbose-core2core set verbosity = 2

This ensures that messages coming out with -dshow-passes
also come out with -dverbose-core2core

Comments only

more aggressive optimization of coercion terms

Improve debug-printing of the type environment

Tidy up coercions, and implement csel1, csel2, cselR

In preparation for implementing the PushC rule for coercion-swizzling
in the Simplifier, I had to inmplement the three new decomposition
operators for coercions, which I've called csel1, csel2, and cselR.

     co :: ((s1~t1) => r1) ~ ((s2~t2) => r2)
     ---------------------------------------
              csel1 co :: s1~s2

and similarly csel2, cselR.

On the way I fixed the coercionKind function for types of form
          (s1~t2) => r2
which currently are expressed as a forall type.

And I refactored quite a bit to help myself understand what is
going on.

Comments in OccurAnal

Barf on unhandled Mach-O relocations in the ghci linker

- It might be worthwhile to MERGE this to 6.12, BUT somebody should validate
  it on PPC/Mac OS X first.

Track changes to DPH library

Remove dead code

Allow inlining in "SimplGentle" mode

This change helps to break the mutual recursion generated by
an instance declaration.

See Note [Gentle mode] in SimplUtils

Augment panic message

Wibble to substituting InlWrappers

See Note [Worker inlining] in CoreSubst

validate fixes

Add missing CgExtCode to ghc.cabal.in

* Refactor CLabel.RtsLabel to CLabel.CmmLabel

The type of the CmmLabel ctor is now
  CmmLabel :: PackageId -> FastString -> CmmLabelInfo -> CLabel

 - When you construct a CmmLabel you have to explicitly say what
   package it is in. Many of these will just use rtsPackageId, but
   I've left it this way to remind people not to pretend labels are
   in the RTS package when they're not.

 - When parsing a Cmm file, labels that are not defined in the
   current file are assumed to be in the RTS package.

   Labels imported like
      import label
   are assumed to be in a generic "foreign" package, which is different
   from the current one.

   Labels imported like
      import "package-name" label
   are marked as coming from the named package.

   This last one is needed for the integer-gmp library as we want to
   refer to labels that are not in the same compilation unit, but
   are in the same non-rts package.

   This should help remove the nasty #ifdef __PIC__ stuff from
   integer-gmp/cbits/gmp-wrappers.cmm

Add missing case to externallyVisibleCLabel

Add CLabel.CmmLabel and start refactoring

Haddockify and clean up commenting

Merge RtsLabelInfo.Rts* with RtsLabelInfo.Rts*FS

Tell ghc-cabal what strip program to use

Remove ext-core
It is now a separately maintained package, available from hackage:
http://hackage.haskell.org/package/extcore

Change a use of xargs to "$(XARGS)" $(XARGS_OPTS)

Split XARGS into XARGS and XARGS_OPTS

Remove unused distrib/Makefile-bin-vars.in file

Define CONF_CC_OPTS/CONF_LD_OPTS in bindists

Tweak how shell wrappers are built

ghc-stage2 is now renamed to ghc when it is installed
This means that we get the right program name in error messages etc.

Tweak the shell wrapper scripts
We now separate the executable path from the executable name.
This will allow us to change one but not the other easily.

mkdirhier now just calls mkdir -p
The old shell code apparently didn't work properly with /bin/sh=dash

Fix the build

Rollback #1185 fix

As far as I can tell, the hack I was using in rts/Linker.c won't work
on OS X.  Back to the drawing board.

rolling back:

Tue Nov  3 16:05:47 GMT 2009  Simon Marlow <marlowsd@gmail.com>
  * Fix #1185 (RTS part, also needs corresponding change to libraries/base)
  GHC.Conc.ensureIOManagerIsRunning now creates an IO manager thread if
  one does not exist or has died/exited.

  Unfortunately this exposed a problem caused by the fact that we have
  two base packages, and hence two IO managers, in GHCi: see NOTE
  [io-manager-ghci] in rts/Linker.c.  The workaround can go away if/when
  we switch to a dynamically linked GHCi.

    M ./rts/Linker.c -6 +47
    M ./rts/Schedule.c +4
    M ./rts/package.conf.in +16
    M ./rts/posix/Signals.c -1 +7
    M ./rts/posix/Signals.h +2

Wed Nov  4 10:11:03 GMT 2009  Simon Marlow <marlowsd@gmail.com>
  * hopefully fix validate breakage on OS X and Windows

    M ./rts/Linker.c -1 +1

Wed Nov  4 16:27:40 GMT 2009  Simon Marlow <marlowsd@gmail.com>
  * fix build failure on Windows

    M ./rts/Linker.c -1 +1

Accept any non-space characters in a header file (#3624)
The FFI spec doesn't say exactly which characters may occur in a
header file, so to be on the safe side we'll accept anything that
isn't a space.

Be a tiny bit keener to inline in the RHS of a let

Seee Note [RHS of lets] in CoreUnfold

Another refactoring on the shape of an Unfolding

I found that a compulsory unfolding was getting dropped on the floor,
so I took that as a hint to tidy up the data type so that it won't
happen again.  No big change in functionality.

Add notes to cmm-notes, following conversation with John Dias

Fix Trac #3640, plus associated refactoring

In fixing this bug (to do with record puns), I had the usual rush of
blood to the head, and I did quite a bit of refactoring in the way
that duplicate/shadowed names are reported.

I think the result is shorter as well as clearer.

In one place I found it convenient for the renamer to use the ErrCtxt
carried in the monad.  (The renamer used not to have such a context,
but years ago the typechecker and renamer monads became one, so now it
does.)   So now it's availble if you want it in future.

Comments only

Improve error reporting when there's an error inside a spliced expression

If an error occurs in *spliced* code, it can be tricky to understand
what is going on.  With this patch, in
     - epxressions
     - types
we give a helpful indicator that it's in the result of a splice.

For declarations it's harder, because they get type-checked in a
group with other non-spliced decls, so I have not made the same improvement.
But it's still better than it was.

Update layout of error message slightly

Nuke the -finline-if-enough-args flag

By default INLINE functions only inline when they
are given enough arguments, so the flag isn't needed

Fix some more build bugs exposed by the addition of the ghc dependency to dph
See comments for details.

Make installation on *nix work for paths with spaces in their name
This means we can remove some conditional stuff from the Makefiles,
and means the testsuite doesn't have to work out whether or not it's
on Windows.

Fix #3642: m GHC builds using the Haskell Platform

Comment only

Comments and layout only, relating to Roman's inlining-and-conlike patch

Comments only, relating to Roman's new built-in rule for seq

Add a (DEBUG-only) warning for top-level error thunks with uninformative strictness info

In the past I've seen this in an interface file

   foo = error "urk"

but *without* a bottoming strictness info on 'foo'. This WARN just
checks (non-fatally) for the bad case, so that we can track it down easily

Comment only

Get the package-data.mk dependencies right

Update docs on ticky-ticky profiling

Add builtin rule to eliminate unnecessary casts in seq

The patch adds this rule:

  seq (x `cast` co) y = seq x y

This is subject to the usual treatment of seq rules. It also makes them
match more often: it will rewrite

  seq (f x `cast` co) y = seq (f x) y

and allow a seq rule for f to match.

Consider variables with conlike unfoldings interesting

In this expression:

  let x = f (g e1) in e2

the simplifier will inline f if it thinks that (g e1) is an interesting
argument. Until now, this was essentially the case if g was a data constructor
- we'd inline f in the hope that it will inspect and hence eliminate the
constructor application. This patch extends this mechanism to CONLIKE
functions. We consider (g e1) interesting if g is CONLIKE and inline f in the
hope that this will allow rewrite rules to match.

Tweak simpleOptExpr, so that it respects nested INLINE pragmas

Fix some bugs to do with tools in paths containing spaces
Not everything is fixed yet; see #3642

#3604: treat TH with -dynamic in the same way as -prof
That is, you have to build the library/program without -dynamic first,
to get plain object files, and then build it again with -dynamic.

I still need to check whether any changes to Cabal are required to
make this work.

fix build failure on Windows

Finish #3439: -ticky implies -debug at link time; the ticky "way" has gone

To get ticky profiling you still have to compile with -ticky (for
those modules that you want to profile), but you can link with either
-debug or -ticky.

add '-' to the chars allowed in C header file names

hopefully fix validate breakage on OS X and Windows

Always include libraries/dph/ghc.mk in top-level ghc.mk

Fix non-portable regexp

Fix #1185 (RTS part, also needs corresponding change to libraries/base)
GHC.Conc.ensureIOManagerIsRunning now creates an IO manager thread if
one does not exist or has died/exited.

Unfortunately this exposed a problem caused by the fact that we have
two base packages, and hence two IO managers, in GHCi: see NOTE
[io-manager-ghci] in rts/Linker.c.  The workaround can go away if/when
we switch to a dynamically linked GHCi.

GhciMonad.resume should restore the program's argv and progname
I discovered that single-stepping over getArgs gave the wrong answer
sometimes, because we were forgetting to set the program's argv and
progname when resuming at a breakpoint.

Test is ghci.debugger/scripts/getargs.script.

Refactor package installation
There is now less makefile code duplication.
Also, stage2 packages are registered after GHC, which is important as
they might depend on the ghc package (as dph now does).

Document the CONLIKE pragma

Do not merge to 6.12

Document the fact that impredicative polymorphism is deprecated

Merge to 6.12

Minor change to captalisation in error message only

Improve documentation of 'rec' in do-notation

Merge to 6.12 along with the main DoRec patch

Comments only

Make the arity warning a bit more informative (DEBUG only)

Improve error message for malformed LANGUAGE pragma

Minor refactoring

MkCore.mkCoreTupTy moves to TysWiredIn, where it is called mkBoxedTupleTy

Remove unused DYNAMIC_RTS var from rts/ghc.mk

Use __PIC__ and ming32_TARGET_OS to turn on windows DLL support, not ENABLE_WIN32_DLL_SUPPORT

Use C syntax for casting. 'stgCast' appears to have gone away.

Handle deps with numbers in them, like 'wsock32'.

Define BootingFromHc in bindists; fixes #3617
This variable is tested when deciding whether or not to add debug to
the list of RTS ways, so it needs to be correctly defined.

Add ghc-cabal dependencies; fixes #3494

Turn an ASSERT into a WARN

This is to do with SPECIALISE pragmas in instance declarations,
which I need to think more about

Be less noisy in a debug trace (Arity decrease)

Fix build with DEBUG on

Cure an assert failure by gathering the right set of free variables

Fix the build with GHC 6.8

Improve coercion optimisation

* Remove trace from optCoercion

* Use simplCoercion for type arguments in the Simplifier
  (because they might be coercions)

Deprecate the ImpredicativeTypes feature

GHC has had an experimental implementation of impredicative
polymorphism for a year or two now (flag -XImpredicativeTypes).
But

  a) The implementation is ridiculously complicated, and the complexity
     is pervasive (in the type checker) rather than localized.
     I'm very unhappy about this, especially as we add more stuff to
     the type checker for type families.

  b) The specification (type system) is well-defined [1], but is also pretty
     complicated, and it's just too hard to predict which programs will
     typecheck and which will not.

So it's time for a re-think.  I propose to deprecate it in 6.12, and
remove it altogether in 6.14.  We may by then have something else to
put in its place.  (There is no lack of candidates [2,3,4]!)

[1] http://research.microsoft.com/en-us/um/people/simonpj/papers/boxy/
[2] http://research.microsoft.com/en-us/um/people/crusso/qml/
[3] http://research.microsoft.com/en-us/um/people/daan/pubs.html
[4] http://gallium.inria.fr/~remy/mlf/

Fix Trac #3626: TH should reject unboxed tuples

This was just a missing test in DsMeta

fix and enable coercion optimization

Don't dump Core after every simplifier iteration with -dverbose-core2core

This just restores the behaviour from before the inline patch.

Adapt vectoriser to new inlining mechanism

Use packByTag instead of pack in the vectoriser