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

Remove debug warning, and explain why

comment only

comment typo

add Outputable instance for OccIfaceEq

Workaround for #1959: assume untracked names have changed
This fixes the 1959 test, but will do more recompilation than is
strictly necessary (but only when -O is on).  Still, more
recompilation is better than segfaults, link errors or other random
breakage.

FIX part of #1959: declaration versions were not being incremented correctly
We were building a mapping from ModuleName to [Occ] from the usage
list, using the usg_mod field as the key.  Unfortunately, due to a
very poor naming decision, usg_mod is actually the module version, not
the ModuleName.  usg_name is the ModuleName.  Since Version is also an
instance of Uniquable, there was no type error: all that happened was
lookups in the map never succeeded.  I shall rename the fields of
Usage in a separate patch.

This doesn't completely fix #1959, but it gets part of the way there.

I have to take partial blame as the person who wrote this fragment of
code in late 2006 (patch "Interface file optimisation and removal of
nameParent").

move FP_FIND_ROOT after the "GHC is required" check

FIX #1110: hackery also needed when running gcc for CPP

Teach :print to follow references (STRefs and IORefs)

Prelude Data.IORef> :p l
l = (_t4::Maybe Integer) : (_t5::[Maybe Integer])
Prelude Data.IORef> p <- newIORef l
Prelude Data.IORef> :p p
p = GHC.IOBase.IORef (GHC.STRef.STRef {((_t6::Maybe Integer) :
                                        (_t7::[Maybe Integer]))})
Prelude Data.IORef> :sp p
p = GHC.IOBase.IORef (GHC.STRef.STRef {(_ : _)})

I used braces to denote the contents of a reference.
Perhaps there is a more appropriate notation?

refactoring only

Change --shared to -shared in Win32 DLL docs

protect console handler against concurrent access (#1922)

Make eta reduction check more carefully for bottoms (fix Trac #1947)

Eta reduction was wrongly transforming
f = \x. f x
to
f = f

Solution: don't trust f's arity information; instead look at its
unfolding.  See Note [Eta reduction conditions]

Almost all the new lines are comments!

Improve inlining for INLINE non-functions

(No need to merge to 6.8, but no harm if a subsequent patch needs it.)

The proximate cause for this patch is to improve the inlining for INLINE
things that are not functions; this came up in the NDP project.  See
Note [Lone variables] in CoreUnfold.

This caused some refactoring that actually made things simpler.  In
particular, more of the inlining logic has moved from SimplUtils to
CoreUnfold, where it belongs.

fix race conditions in sandboxIO (#1583, #1922, #1946)
using the new block-inheriting forkIO (#1048)

:cd with no argument goes to the user's home directory
Seems better than getting a confusing 'cannot find directory' exception.

forkIO starts the new thread blocked if the parent is blocked (#1048)

Improve eta reduction, to reduce Simplifier iterations

I finally got around to investigating why the Simplifier was sometimes
iterating so often.  There's a nice example in Text.ParserCombinators.ReadPrec,
which produced:

NOTE: Simplifier still going after 3 iterations; bailing out.  Size = 339
NOTE: Simplifier still going after 3 iterations; bailing out.  Size = 339
NOTE: Simplifier still going after 3 iterations; bailing out.  Size = 339

No progress is being made.  It turned out that an interaction between
eta-expansion, casts, and eta reduction was responsible. The change is
small and simple, in SimplUtils.mkLam: do not require the body to be
a Lam when floating the cast outwards.

I also discovered a missing side condition in the same equation, so fixing
that is good too.  Now there is no loop when compiling ReadPrec.

Should do a full nofib run though.

Don't default to stripping binaries when installing

Improve pretty-printing for Insts

Reorganise TcSimplify (again); FIX Trac #1919

This was a bit tricky.  We had a "given" dict like (d7:Eq a); then it got
supplied to reduceImplication, which did some zonking, and emerged with
a "needed given" (d7:Eq Int). That got everything confused.

I found a way to simplify matters significantly.  Now reduceContext
- first deals with methods/literals/dictionaries
- then deals with implications
Separating things in this way not only made the bug go away, but
eliminated the need for the recently-added "needed-givens" results returned
by checkLoop.  Hurrah.

It's still a swamp.  But it's a bit better.

FIX #1914: GHCi forgot all the modules that were loaded before an error

FIX #1744: ignore the byte-order mark at the beginning of a file

FIX Trac #1935: generate superclass constraints for derived classes

This bug only reports a problem with phantom types, but actually
there was quite a long-standing and significant omission in the
constraint generation for derived classes.  See
Note [Superclasses of derived instance] in TcDeriv.

The test deriving-1935 tests both cases.

Print a bit more info in VarBinds (no need to merge)

Check for duplicate bindings in CoreLint

add comment

FIX #1916: don't try to convert float constants to int in CMM optimizer

give a more useful message when the static flags have not been initialised (#1938)

Rebuild utils with the stage1 compiler when making a bindist; fixes trac #1860
This is a bit unpleasant, as "make binary-dist" really shouldn't actually
build anything, but it works.

Remove the --print-docdir flag
It wasn't doing the right thing for bindists. Let's rethink...

FIX #1925: the interpreter was not maintaining tag bits correctly
See comment for details

add missing instruction: ALLOC_AP_NOUPD

Check tag bits on the fun pointer of a PAP

canonicalise the path to HsColour

Consistently put  on the front of haskell.org in URLs

Fix some more URLs

Tweak some URLs

Fix some links

Copy gmp stamps into bindists, so we don't try and rebuild gmp

On Windows, Delete the CriticalSection's we Initialize

On Windows, add a start menu link to the flag reference

Remove html/ from the paths we put in the start menu on Windows

MERGED: Make ":" in GHCi repeat the last command
Ian Lynagh <igloo@earth.li>**20071124231857
 It used to be a synonym for ":r" in 6.6.1, but this wasn't documented or
 known about by the developers. In 6.8.1 it was accidentally broken.
 This patch brings it back, but as "repeat the last command", similar to
 pressing enter in gdb. This is almost as good for people who want it to
 reload, and means that it can also be used to repeat commands like :step.

MERGED: Put library docs in a $pkg, rather than $pkgid, directory; fixes trac #1864
Ian Lynagh <igloo@earth.li>**20071124171220

Don't make a library documentation prologue
It's far too large now, and no-one complained when 6.8.1 didn't have one.

Don't put package version numbers in links in index.html

Define install-strip in Makefile

Define install-strip in distrib/Makefile

Install gmp from bindists; fixes trac #1848

(native gen) fix code generated for GDTOI on x86_32
See trac #1910.

Copy the INSTALL hack from mk/config.mk.in into distrib/Makefile-bin-vars.in
configure will set INSTALL to ./install-sh if it can't find it in the path,
so we need to replace the . with the path to our root.

Make install-sh executable /before/ we try to find it

Document --info in the +RTS -? help

MERGED: If we have hscolour then make source code links in teh haddock docs
Fri Nov 23 13:15:59 PST 2007  Ian Lynagh <igloo@earth.li>

Tidy and trim the type environment in mkBootModDetails

Should fix Trac #1833

We were failing to trim the type envt in mkBootModDetails, so several
functions all called (*), for example, were getting into the interface.
Result chaos.  It only actually bites when we do the retyping-loop thing,
which is why it's gone so long without a fix.

refactor: HscNothing and boot modules do not need desugaring

FIX #1910: fix code generated for GDTOI on x86_32

Properly ppr InstEqs in wanteds of implication constraints

FIX #1910: fix code generated for GDTOI on x86_32

Add built-in Double operations to vectorisation

Teach vectorisation about Double

Vectorise polyexprs with notes

Make rebindable do-notation behave as advertised

Adopt Trac #1537.  The patch ended up a bit bigger than I expected,
so I suggest we do not merge this into the 6.8 branch.  But there
is no funadamental reason why not.

With this patch, rebindable do-notation really does type as if you
had written the original (>>) and (>>=) operations in desguared form.

I ended up refactoring some of the (rather complicated) error-context
stuff in TcUnify, by pushing an InstOrigin into tcSubExp and its
various calls. That means we could get rid of tcFunResTy, and the
SubCtxt type.  This should improve error messages slightly
in complicated situations, because we have an Origin to hand
to instCall (in the (isSigmaTy actual_ty) case of tc_sub1).

Thanks to Pepe for the first draft of the patch.

Add DEBUG-only flag -dsuppress-uniques to suppress printing of uniques

This is intended only for debugging use: it makes it easier to
compare two variants without the variations between uniques mattering.

(Of course, you can't actually feed the output to the C compiler
or assembler and expect anything sensible to happen!)

Add -dcore-lint when validating libraries

Fix Trac #1913: check data const for derived types are in scope

When deriving an instance, the data constructors should all be in scope.
This patch checks the condition.

Fix Trac #1909: type of map in docs