pass -no-user-package-conf to ghc-inplace

Fix build: Recent instance shuffling left us with overlapping instances

Add instructions for building docs to README

A little refactoring of GenIfaceEq to make the Outputable instance into H98

Make the instance of DebugNodes more H98-like

change CmmActual, CmmFormal to use a data CmmHinted rather than tuple (#1405)
This allows the instance of UserOfLocalRegs to be within Haskell98, and IMHO
 makes the code a little cleaner generally.
This is one small (though tedious) step towards making GHC's code more
 portable...

generalize instance Outputable GenCmm to H98 (#1405)

move and generalize another instance (#1405)
was instance Outputable CmmGraph
type CmmGraph = LGraph Middle Last
now instance (ctx) => Outputable (LGraph m l),
in module with LGraph where it belongs
This also let us reduce the context of DebugNodes to Haskell98,
leaving that class's only extension being multi-parameter.
(also Outputable (LGraph M Last) with M = ExtendWithSpills Middle
was another redundant instance that was then removed)

move and generalize an instance (#1405)
UserOfLocalRegs (ZLast Last) isn't Haskell98, but it was just as
good an instance to be UserOfLocalRegs a => UserOfLocalRegs (ZLast a)

Do not consult -XGADTs flag when pattern matching on GADTs

See Trac #2004, and Note [Flags and equational constraints] in TcPat.

Add a note about primop wrappers (cf Trac #1509)

Document SOURCE pragma; clarify TH behavior for mutually-recurive modules (Trac #1012)

White space and comments only

Optionally use libffi to implement 'foreign import "wrapper"' (#793)
To enable this, set UseLibFFI=YES in mk/build.mk.

The main advantage here is that this reduces the porting effort for
new platforms: libffi works on more architectures than our current
adjustor code, and it is probably more heavily tested.  We could
potentially replace our existing code, but since it is probably faster
than libffi (just a guess, I'll measure later) and is already working,
it doesn't seem worthwhile.

Right now, you must have libffi installed on your system.  I used the
one supplied by Debian/Ubuntu.

remove trace apparently left in by accident

Remove -funfolding-update-in-place flag documentation

This flag does nothing, and should have been removed ages ago. (GHC
no longer does update-in-place.)

MERGE to 6.8 branch

Fix warnings with newer gcc versions (I hope)

FIX #1898: add a missing UNTAG_CLOSURE() in checkBlackHoles

fix validation failure on non-i386

expand "out of stack slots" panic to suggest using -fregs-graph, see #1993

Warning clean, and fix compilation with GHC 6.2.x

Add dead code elimination in cmmMiniInline
cmmMiniInline counts the uses of local variables, so it can easily
eliminate assigments to unused locals.  This almost never gets
triggered, as we don't generate any dead assignments, but it will be
needed by a forthcoming cleanup in CgUtils.emitSwitch.

implement prefix unboxed tuples (part of #1509)

Link libgmp.a statically into libHSrts.dll on Windows

Embedd DLL name into its import library, so client libs reference them properly in .idata

Add package dependencies to link pass when building ghc package (required for windows DLL build)

Fix building libHSrts.dll by using ghc-pkg instead of grepping in base.cabal

Add installPackage to dependencies of make.library.* as it's used by the rule

Install dynlibs correctly

Add dynlibdir target to config.mk.in, setting it to @libdir@.
Invoke installPackage with dynlibdir at libraries/Makefile
Make installPackage.hs hand dynlibdir to Cabal.

import ord that alex secretly imported

add missing import that happy -agc secretly provided

correct type mistake, hidden by happy -agc coercions!

API changes for cabal-HEAD

Rename interfacedir to haddockdir
Change empty(Copy|Register)Flags to default(Copy|Register)Flags
Wrap content of RegisterFlags with toFlag (the Flag type is actually just Maybe)

Extend API for compiling to and from Core

Added API support for compiling Haskell to simplified Core, and for
compiling Core to machine code. The latter, especially, should be
considered experimental and has only been given cursory testing. Also
fixed warnings in DriverPipeline. Merry Christmas.

When complaining about non-rigid context, give suggestion of adding a signature

Improve handling of newtypes (fixes Trac 1495)

In a few places we want to "look through" newtypes to get to the
representation type.  But we need to be careful that  we don't fall
into an ininite loop with e.g.
newtype T = MkT T

The old mechansim for doing this was to have a field nt_rep, inside
a newtype TyCon, that gave the "ultimate representation" of the type.
But that failed for Trac 1495, which looked like this:
   newtype Fix a = Fix (a (Fix a))
   data I a = I a
Then, expanding the type (Fix I) went on for ever.

The right thing to do seems to be to check for loops when epxanding
the *type*, rather than in the *tycon*.  This patch does that,
- Removes nt_rep from TyCon
- Make Type.repType check for loops
See Note [Expanding newtypes] in Type.lhs.

At the same time I also fixed a bug for Roman, where newtypes were not
being expanded properly in FamInstEnv.topNormaliseType.  This function
and Type.repType share a common structure.

Ian, see if this merges easily to the branch
If not, I don't think it's essential to fix 6.8

Fix Trac #1981: seq on a type-family-typed expression

We were crashing when we saw
case x of DEFAULT -> rhs
where x had a type-family type.  This patch fixes it.

MERGE to the 6.8 branch.

Comment only

Fix nasty recompilation bug in MkIface.computeChangedOccs

MERGE to 6.8 branch

In computeChangedOccs we look up the old version of a Name.
But a WiredIn Name doesn't have an old version, because WiredIn things
don't appear in interface files at all.

Result: ghc-6.9: panic! (the 'impossible' happened)
  (GHC version 6.9 for x86_64-unknown-linux):
lookupVers1 base:GHC.Prim chr#{v}

This fixes the problem.  The patch should merge easily onto the branch.

Fix Trac #1988; keep the ru_fn field of a RULE up to date

The ru_fn field was wrong when we moved RULES from one Id to another.
The fix is simple enough.

However, looking at this makes me realise that the worker/wrapper stuff
for recursive newtypes isn't very clever: we generate demand info but
then don't properly exploit it.

This patch fixes the crash though.

Add better panic message in getSRTInfo (Trac #1973)

Remove obselete code for update-in-place (which we no longer do)

Implement generalised list comprehensions

  This patch implements generalised list comprehensions, as described in
  the paper "Comprehensive comprehensions" (Peyton Jones & Wadler, Haskell
  Workshop 2007).  If you don't use the new comprehensions, nothing
  should change.

  The syntax is not exactly as in the paper; see the user manual entry
  for details.

  You need an accompanying patch to the base library for this stuff
  to work.

  The patch is the work of Max Bolingbroke [batterseapower@hotmail.com],
  with some advice from Simon PJ.

  The related GHC Wiki page is
    http://hackage.haskell.org/trac/ghc/wiki/SQLLikeComprehensions

More bindist-publishing fixes and refactoring

Fix publishing the docs

FIX #1980: must check for ThreadRelocated in killThread#

Eliminate external GMP dependencies
- Ensure the stage1 compiler uses ghc's own GMP library on Mac OS
- Need to rebuild installPackage and ifBuildable with stage1 compiler as they
  go into bindists

Include ~/Library/Frameworks in the framework searchpath
Patch from Christian Maeder

Make ghcii.sh executable

Don't rely on distrib/prep-bin-dist-mingw being executable

always try to remove the new file before restoring the old one (#1963)

Fix a bug in gen_contents_index
The library doc index thought that the docs were in $module.html, rather
than $package/$module.html.

Fix lifting of case expressions

We have to explicity check for empty arrays in each alternative as recursive
algorithms wouldn't terminate otherwise.

Use (UArr Int) instead of PArray_Int# in vectorisation

Fix bug in VectInfo loading

Remove unused vectorisation built-in

Treat some standard data cons specially during vectorisation

This is a temporary hack which allows us to vectorise literals.

More vectorisation-related built ins

Track changes to package ndp

Add vectorisation built-ins

FIX #1963: catch Ctrl-C and clean up properly

Document the new threshold flags

Separate and optional size thresholds for SpecConstr and LiberateCase

This patch replaces -fspec-threshold by -fspec-constr-threshold and
-fliberate-case-threshold. The thresholds can be disabled by
-fno-spec-constr-threshold and -fno-liberate-case-threshold.

Make HscTypes.tyThingId respond not panic on ADataCon

Use Unix format for RnPat (no other change)

Improve free-variable handling for rnPat and friends (fixes Trac #1972)

As well as fixing the immediate problem (Trac #1972) this patch does
a signficant simplification and refactoring of pattern renaming.

Fewer functions, fewer parameters passed....it's all good.  But it
took much longer than I expected to figure out.

The most significant change is that the NameMaker type does *binding*
as well as *making* and, in the matchNameMaker case, checks for unused
bindings as well.  This is much tider.

(No need to merge to the 6.8 branch, but no harm either.)

Allow more than 3 simplifier iterations to be run in phase 0

The number of iterations during the first run of phase 0 was erroneously
hardcoded to 3. It should be *at least* 3 (see comments in code) but can be
more.

Document -ddump-simpl-phases

New flag: -ddump-simpl-phases

This outputs the core after each simplifier phase (i.e., it produces less
information that -ddump-simpl-iterations).

Don't dump simplifier iterations with -dverbose-core2core

SimonPJ says this is the correct behaviour. We still have
-ddump-simpl-iterations.

"list --simple-output" should be quiet when there are no packages to list

Previously:

$ ghc-pkg list --user --simple-output
ghc-pkg: no matches
$

Now:

$ ghc-pkg list --user --simple-output
$

Fix vectorisation bug

Vectorisation-related built ins

Teach vectorisation about some temporary conversion functions

Vectorise case of unit correctly

Teach vectorisation about singletonP

Optimise desugaring of parallel array comprehensions

Teach vectorisation about tuple datacons

Track additions to package ndp

Track changes to package ndp

Improve pretty-printing of InstDecl

Fixes Trac #1966.

Comments only

Refactoring only

Suspensions in the Term datatype used for RTTI
always get assigned a Type, so there is no reason
to juggle around with a (Maybe Type) anymore.

Change the format used by :print to show the content of references

    This comes as result of the short discussion linked below.

    http://www.haskell.org/pipermail/cvs-ghc/2007-December/040049.html

Help the user when she tries to do :history without :trace

Teach GHCi to show a "perhaps you forgot to use :trace?" when
it finds that the user is trying to retrieve an empty :history

Prevent the binding of unboxed things by :print

Coercions from boxy splitters must be sym'ed in pattern matches

Properly keep track of whether normalising given or wanted dicts
- The information of whether given or wanted class dictionaries where
  normalised by rewriting wasn't always correctly propagated in TcTyFuns,
  which lead to malformed dictionary bindings.
- Also fixes a bug in TcPat.tcConPat where GADT equalities where emitted in
  the wrong position in case bindings (which led to CoreLint failures).

TcPat.tcConPat uses equalities instead of GADT refinement
* This patch implements the use of equality constraints instead of GADT
  refinements that we have been discussing for a while.
* It just changes TcPat.tcConPat.  It doesn't have any of the simplification
  and dead code removal that is possible due to this change.
* At the moment, this patch breaks a fair number of GADT regression tests.

Use installPackage for register --inplace as well as installing
We also need to do the GHC.Prim hack when registering inplace or the
tests that use it fail.

Fix the libraries Makefile
    x && y
is not the same as
    if x; then y; fi
as the latter doesn't fail when x fails

Copy hscolour.css into dist/... so it gets installed with the library docs

Add the hscolour.css from hscolour 1.8

BIN_DIST_INST_SUBDIR Needs to be defined in config.mk so ./Makefile can see it

#include ../includes/MachRegs.h rather than just MachRegs.h
This fixes building on NixOS. I'm not sure why it worked everywhere else,
but not on NixOS, before.

Fix bindist creation: readline/config.mk is gone

FIX #1843: Generate different instructions on PPC
The old ones caused lots of
    unknown scattered relocation type 4
errors. Patch from Chris Kuklewicz.

Refactor gen_contents_index
Also fixes it with Solaris's sh, spotted by Christian Maeder

Use GHC.Exts rather than GHC.Prim

Alter the base:GHC.Prim hack in installPackage, following changes in base