Document new -L RTS flag

Be compatible with older C standards

hp2ps_config_mk

Add variables for hp2ps to config.mk.in

hp_slash_fix

Fix output of cost-centre stacks so that the slashes appear in the correct place

Please include this patch in the 6.6 branch as well as HEAD

rts_ccs_length

Add the -L RTS flag to control the length of the cost-centre stacks reported in
a heap profile.

Please include this change in the 6.6 branch as well as HEAD

multipage_hp2ps

Add support for splitting the key index over multiple pages in hp2ps
Multipage support can be requested with the -M command-line flag
or inferred if the number of bands requested is greater than 20
(the limit on the number of bands displayed has been removed)

Please include this change in the 6.6 branch as well as HEAD

Fix (yet another) odd interaction between selector thunks and compacting GC
This should fix errors of the form

  internal error: scavenge_mark_stack: unimplemented/strange closure
    type 28 @ 0x2b92e5f79960

But since it's quite difficult to reproduce the error, I can't be 100%
certain it's gone.  I certainly can't reproduce it again after the
fix, anyway.

Add literal-shift rewrite rules

This is a re-factored version of Sam Bronson's patch

Need to take care with logical shifts.

Fixups to PelRules (esp using intResult, wordResult)

In PrelRules we carefully use 'intResult' to trim off the overflow in
compile-time calculations, but we were not doing so consistently.  This
patch fixes that, I think, and adds type signatures

Fix typo "comand" (trac #965)

Zap stray whitespace in lhs formatting

Fix up .lhs delimiters a bit

find fop.sh

the fop bundle contains fop.bat and fop.sh, but not fop;
let configuration find the latter.

Doc nit in OccName

Remove STANDALONE_PACKAGE bits that had escaped the removal

Make StablePtr and friends visible, this seems to be necessary for 64bit architectures

Make all needed prototypes visible to avoid warnings

Added a comment about se.info.type being used uninitialized

Added a workaround for format specifier mismatch

Use implication constraints to improve type inference

Cosmetics and debug printing only

Cosmetics only

Add HsUtils.unguardedGRHSs, and use it

Comments and cosmetics only

Add new utility function, partitionWith

Trim imports

Patch to demand analyser, to handle polymorphism in zipWithDmds

Do not print HsDoc field when pretty-printing patterns (messes up error message)

use the right $(HC) for stage 3

remove unused STANDALONE_PACKAGE stuff

update flag settings after files were relocated

Comment out deeply suspicious (and unused) function insertStableSymbol

The function insertStableSymbol looks utterly wrong, because it
coerces a value of type 'a' to an Addr#!  That was in turn making the
code generator get confused (now improved), but since insertStableSymbol
isn't used at all, I'm just commenting it out.

Meanwhile, this patch also enhances CoreToStg to report the most egregious
cases where an unsafe coerce is going to confuse the code generator.

Layout and comments only

Warn only of explicit imports that are unused (test is mod177)

This is really a long-standing bug.  See test mod177.

Various debugging print changes; nothing exciting

Tidy up substitutions

The new simplifer stuff exposed the fact that the invariants on the
TvSubstEnv and IdSubstEnv were insufficiently explicit.  (Resulted in
a bug found by Sam Brosnon.)

This patch fixes the bug, and tries to document the invariants pretty
thoroughly. See
Note [Extending the TvSubst] in Type
Note [Extenting the Subst]   in CoreSubst

(Most of the new lines are comments.)

Get External Core (-fext-core) working with readline
Had to add support for dynamic C calls and for foreign labels (Addr#
constants). Actually I only did the printing side -- parsing is not
done yet. But at least now you can build the libraries with -fext-core.

I also got the function arrow to print out properly again (it was
printing fully-qualified and z-coded!)

I also added a field for calling convention name to the External
data constructor in ExternalCore.Exp (for static C calls).

I'm not exactly sure where to document all of this, so I haven't done
that, though I did comment the code a bit.

Remove pre-5.04 code

Major overhaul of the Simplifier

This big patch completely overhauls the Simplifier.  The simplifier
had grown old and crufty, and was hard to understand and maintain.
This new version is still quite complicated, because the simplifier
does a lot, but it's much easier to understand, for me at least.

It does mean that I have touched almost every line of the simplifier,
so the diff is a large one.

Big changes are these

* When simplifying an Expr we generate a simplified Expr plus a
  bunch of "floats", which are bindings that have floated out
  of the Expr.  Before, this float stuff was returned separately,
  but not they are embedded in the SimplEnv, which makes the
  plumbing much easier and more robust.  In particular, the
  SimplEnv already meaintains the "in-scope set", and making
  that travel with the floats helps to ensure that we always
  use the right in-scope set.

  This change has a pervasive effect.

* Rather than simplifying the args of a call before trying rules
  and inlining, we now defer simplifying the args until both
  rules and inlining have failed, so we're going to leave a
  call in the result.  This avoids the risk of repeatedly
  simplifying an argument, which was handled by funny ad-hoc
  flags before.

  The downside is that we must apply the substitution to the args before
  rule-matching; and if thep rule doesn't match that is wasted work.
  But having any rules at all is the exception not the rule, and the
  substitution is lazy, so we only substitute until a no-match is found.
  The code is much more elegant though.

* A SimplCont is now more zipper-like. It used to have an embedded
  function, but that was a bit hard to think about, and now it's
  nice and consistent. The relevant constructors are StrictArg
  and StrictBind

* Each Rule now has an *arity* (gotten by CoreSyn.ruleArity), which
  tells how many arguments it matches against.  This entailed adding
  a field ru_nargs to a BuiltinRule.  And that made me look at
  PrelRules; I did quite a bit of refactoring in the end, so the
  diff in PrelRules looks much biggger than it really is.

* A little refactoring in OccurAnal.  The key change is that in
  the RHS of x = y `cast` co
  we regard 'y' as "many", so that it doesn't get inlined into
  the RHS of x.  This allows x to be inlined elsewhere.  It's
  very like the existing situation for
x = Just y
  where we treat 'y' as "many".

Improve error message from ghc --make when filename and modulename differ

Improve handling of unused imports (test is mod75)

Remove unused lookupDeprec function

Fix handling of non-in-scope exports (fixes test mod7)

Comments and layout only

import Maybes wibble

add a few #includes to make it compile

Trim imports

Default the kind of unconstrained meta-type variables before tcSimplifyTop

This patch fixes a long standing bug, Trac #179,
and a recently reported one, Trac #963.

The problem in both cases was an unconstrained type variable 'a', of kind
argTypeKind (printed "??") or openTypeKind ("?").  At top level we now default
the kind of such variables to liftedTypeKind ("*").  This is important because
then instance declarations can match it. The defaulting function is called
TcMType.zonkTopTyVar, and is commented.  (Most of the extra lines in the
patch are comments!)

Comments and layout only

Minor refactoring

Remove unused import

Comments only

Make idInfo fail more informatively on TyVars

Improve error message (push to 6.6 branch)

Fix error reporting for contexts during deriving (Trac 958)

When doing the fixpoint iteration for 'deriving' we have to be careful
not to end up in a loop, even if we have -fallow-undecidable-instances.

Test is tcfail169

Fix a long-standing but obscure bug in worker-wrapper generation

Worker/wrapper generation sometimes has to add a dummy void (State#) argument
to retain laziness.  But when generating the strictness signature for the
worker, I forgot to take account of the extra argument, resulting in a
bogus strictness signature.

Result, chaos.  Trac 317 shows this up, and this patch fixes it.

Move --help, --version etc to 4.4 (modes) because that is what they really are

remove the *.raw files

improve the diagnostic generated by memInventory() for a memory leak

count mut-list bytes, not words

fix calculation of GC Work for 6.6+

copyright updates and add Commentary links

rename spin lock functions, and use macros for non-THREADED_RTS

Remove PAR/GRAN code from the storage manager

markRootPtrTable: write out type in full instead of using evac_fn typedef
Fixes stage 2 build with -fvia-C

an expression with a TickBox round it is not in HNF.

Adding arrows to the acceptable code for hpc

fixing type error inside Hpc inc; we had a 32 bit '1'.

Improving error message in CmmLint

Changing Main.tix to <prog_name>.tix in the Hpc RTS

Add pointer to coding conventions to HACKING

6.4 compatiblity

Haskell Program Coverage

This large checkin is the new ghc version of Haskell
Program Coverage, an expression-level coverage tool for Haskell.

Parts:

 - Hpc.[ch] - small runtime support for Hpc; reading/writing *.tix files.
 - Coverage.lhs - Annotates the HsSyn with coverage tickboxes.
  - New Note's in Core,
      - TickBox      -- ticked on entry to sub-expression
      - BinaryTickBox  -- ticked on exit to sub-expression, depending
             -- on the boolean result.

  - New Stg level TickBox (no BinaryTickBoxes, though)

You can run the coverage tool with -fhpc at compile time.
Main must be compiled with -fhpc.

fix 5.04 compile

fix indentation wibble to make it compile with 5.04

Re-enable TABLES_NEXT_TO_CODE for powerpc (was accidentally disabled)

Split GC.c, and move storage manager into sm/ directory
In preparation for parallel GC, split up the monolithic GC.c file into
smaller parts.  Also in this patch (and difficult to separate,
unfortunatley):

  - Don't include Stable.h in Rts.h, instead just include it where
    necessary.

  - consistently use STATIC_INLINE in source files, and INLINE_HEADER
    in header files.  STATIC_INLINE is now turned off when DEBUG is on,
    to make debugging easier.

  - The GC no longer takes the get_roots function as an argument.
    We weren't making use of this generalisation.

fix a printf format warning

add prototypes for exitHashTable()

remove ^Ms

add pure spin locks

comments only: document allocateLocal()

rename allocated_bytes() to allocatedBytes()

remove performGCWithRoots()
I don't think this can ever be useful, because to add more roots you
need to do it consistently for every GC.  The right way to add roots
is to use newStablePtr.

Bump the HEAD to 6.7

Clean up debugging code in RnNames

wibble in parseStaticFlags
should fix profiling and unreg in HEAD

Improve error messages for indexed types

A little abstraction

Fix handling of family instances in the presense of this doc stuff
- Not sure whether I do the right thing, because I don't understand the
  doc stuff.  However, the original code was definitely wrong and
  breaking the renaming of family instance declarations.
- The important point is that in

    data instance T pats = rhs

  T is *not* a defining occurence of T (similarly as C is not a defining
  occurence in "instance C Int").

Fix parent position in RnNames.nubAvails
- `RnNames.nubAvails', which amalgamates AvailInfo items that belong to the
  same parent, needs to be careful that the parent name occurs first if it is
  in the list of subnames at all.  (Otherwise, we can get funny export items
  in ifaces.)
- I discovered this while debugging family import/exports, but I am pretty
  sure the bug would also have shown up without using families under the
  right circumstances.

Fix export of associated families with new name parent story

Given

  module Exp (T)
  where

  class C a where
    data T a :: *

we need the AvailInfo for the export item to be C|{T}, not just T.
This patch achieves that under the new name parent scheme.

Fix processing of imports involving ATs with the new name parent code

Associated types in import lists require special care and the new name
parent code broke that.  What's the problem?  in the presence of ATs
the name parent relation can have a depth of two (not just one as in H98).
Here is an example:

  class GMapKey a where
    data GMap a :: * -> *
  instance GMapKey Int where
    data GMap Int v = GMapInt ...

The data constructor GMapInt's parent is GMap whose parent in turn is the
class GMapKey; ie, GMapKey is GMapInt's grand parent.  In H98, data types
have no parents (which is in some places in the code represented by making
them their own parent).

I fixed this by extending the information in filterImport's occ_env and
taking the case of associated types explicitly in consideration when
processing the various forms of IE items.

Fix family instance bug due to the name parent elimination
- Its important that `isImplicitTyCon' considers
  (a) associated families to be implicit, but
  (b) considers family instances *not* to be implicit (for the same reasons
      that a dfun is not implicit).

Fix show-iface for family instances & add debug ppr for type declarations

Run dos2unix on all the outputs, and don't let it eat stderr

Fix stage1 build with 6.2.1 (from Andy Gill)

Fix the build with GHC 6.2.2

Cross-module consistency check for family instances

Fixed spelling error in compiler/ghci/InteractiveUI.hs and docs/users_guide/ghci.xml