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

Fix a bug in Lint (which wrongly complained when compiling Data.Sequence with -02)

Add the primitive type Any, and use it for Dynamics

GHC's code generator can only enter a closure if it's guaranteed
not to be a function.  In the Dynamic module, we were using the
type (forall a.a) as the type to which the dynamic type was unsafely
cast:
type Obj = forall a.a

Gut alas this polytype was sometimes instantiated to (), something
like this (it only bit when profiling was enabled)
let y::() = dyn ()
in (y `cast` ..) p q
As a result, an ASSERT in ClosureInfo fired (hooray).

I've tided this up by making a new, primitive, lifted type Any, and
arranging that Dynamic uses Any, thus:
type Obj = ANy

While I was at it, I also arranged that when the type checker instantiates
un-constrained type variables, it now instantiates them to Any, not ()
e.g.  length Any []

[There remains a Horrible Hack when we want Any-like things at arbitrary
kinds.  This essentially never happens, but see comments with
TysPrim.mkAnyPrimTyCon.]

Anyway, this fixes Trac #905

Add comment about arity

I'm not sure what the significance of the "arity" of a primtive
TyCon is.  They aren't necessarily saturated, so it's not that.

I rather think that arity is only relevant for
SynTyCon
AlgTyCon
CoercionTyCon

This comment (and commit message) is just an aide memoire.

Spelling in comment

Minor refactoring

Comments onl

fix build for 6.4.x and 6.6.x

compensate for gmp/configure sometimes not being executable

Rejig TABLES_NEXT_TO_CODE: the -unreg flag was broken by earlier changes
A GHC binary can generally build either registerised or unregisterised
code, unless it is unregisterised only.

The previous changes broke this, but I think I've now restored it.

Stage 2 fix to "Keep track of family instance modules"

remove use of FiniteMap, use Text.Printf

fix a regular expression in banner_re

Try to get the right output for nofib-analyse

Get nofib-analyse to build with 6.4 at least...

Don't squish "Inlined fn" into the right margin quite as much in trace output

Fix build on x86_64

Fix deadlock on second call to newSession
Tracked down by Krasimir Angelov

Build the GHC package in stage 3 too
This fixes the problem with the nightly builds not including the GHC
package.

more fixups to make a stage 3 build do the right thing with the ghc package

use the correct $(HC)

remove unused origPkgIdMap field from PackageState

Cache the package database the first time it is read
This was a slight oversight on my part, I intended to store the
pristine database in the pkgDatabase of DynFlags, but managed to
forget to do it.

fix non-DEBUG build (probably my fault, sorry)

Add assertion checks for mkCoVar/mkTyVar

A type variable has a flag saying whether it is a *type* variable or
a *coercion* variable.  This patch adds assertions to check the flag.

And it adds fixes to places which were Wrong (and hence fired the
assertion)!

Also removed isCoVar from Coercion, since it's done by Var.isCoVar.

Uncomment code to emit a space in place of a '>' in literate scripts
This fixes trac #210. Test is read041.

Change type of TcGadt.refineType, plus consequences

More refactoring in RnNames

I rather self-indulgently spent a chunk of yesterday working on
refactoring RnNames further.  The result is significantly simpler:

* A GlobalRdrElt gets an extra field, gre_par, which records
  the parent (if any) of the name

* ImportAvails has two fields deleted: imp_env and imp_parent.
  The information provided by these fields was only used when
  processing the export list; and the same information is now readily
  generated from the GlobalRdrElts in the GlobalRdrEnv

I also did some tidying up; notably moving AvailEnv stuff from
TcRnTypes to RnNames.

The result is tha the compiler is some 130 lines shorter than before

Keep track of family instance modules
- Now each modules carries
  (1) a flag saying whether it contains family instance declarations and
  (2) a list of all modules further down in the import tree that contain
      family instance declarations.
  (The information is split into these two parts for the exact same reasons why
  the info about orphan modules is split, too.)
- This is the first step to *optimised* overlap checking of family instances
  coming from imported modules.

*** WARNING: This patch changes the interface file format! ***
***          Recompile libraries and stage2 from scratch!  ***

Overlap check for family instances def'd in current module
- All family instances are checked for overlap when entered into TcGblEnv.
  Their are checked against all instances in the EPS and those currently in
  the TcGblEnv.

Comments only

Make Inst into a record type to ease subsequent changes

Improve pretty-printing slightly

Add comments about primop rules

fix definition of fib in example code

Track changes in source packaging scheme

fix definition of fib in example code

Partially fix GHCi when unregisterised
We were constructing info tables designed for TABLES_NEXT_TO_CODE,
but were building without TABLES_NEXT_TO_CODE.

This patch also fixes a bug when we are unregisterised on amd64 and
have code with an address above 2^32.

More import tidying and fixing the stage 2 build

Use relative URLs when referring to libraries; push to 6.6 branch

Improve documentation of concurrent and parallel Haskell; push to branch

Correct id to linkend

Fix trac #921: generate *q instructions for int-float conversions
We need to generate, e.g., cvtsi2sdq rather than cvtsi2sd on amd64 in
order to have int-float conversions work correctly for values not
correctly representable in 32 bits.

Module header tidyup #2
Push this further along, and fix build problems in the first patch.

remove BitSet, it isn't used

Module header tidyup, phase 1
This patch is a start on removing import lists and generally tidying
up the top of each module.  In addition to removing import lists:

   - Change DATA.IOREF -> Data.IORef etc.
   - Change List -> Data.List etc.
   - Remove $Id$
   - Update copyrights
   - Re-order imports to put non-GHC imports last
   - Remove some unused and duplicate imports

Interface file optimisation and removal of nameParent

This large commit combines several interrelated changes:

  - IfaceSyn now contains actual Names rather than the special
    IfaceExtName type.  The binary interface file contains
    a symbol table of Names, where each entry is a (package,
    ModuleName, OccName) triple.  Names in the IfaceSyn point
    to entries in the symbol table.

    This reduces the size of interface files, which should
    hopefully improve performance (not measured yet).

    The toIfaceXXX functions now do not need to pass around
    a function from Name -> IfaceExtName, which makes that
    code simpler.

  - Names now do not point directly to their parents, and the
    nameParent operation has gone away.  It turned out to be hard to
    keep this information consistent in practice, and the parent info
    was only valid in some Names.  Instead we made the following
    changes:

    * ImportAvails contains a new field
          imp_parent :: NameEnv AvailInfo
      which gives the family info for any Name in scope, and
      is used by the renamer when renaming export lists, amongst
      other things.  This info is thrown away after renaming.

    * The mi_ver_fn field of ModIface now maps to
      (OccName,Version) instead of just Version, where the
      OccName is the parent name.  This mapping is used when
      constructing the usage info for dependent modules.
      There may be entries in mi_ver_fn for things that are not in
      scope, whereas imp_parent only deals with in-scope things.

    * The md_exports field of ModDetails now contains
      [AvailInfo] rather than NameSet.  This gives us
      family info for the exported names of a module.

Also:

   - ifaceDeclSubBinders moved to IfaceSyn (seems like the
     right place for it).

   - heavily refactored renaming of import/export lists.

   - Unfortunately external core is now broken, as it relied on
     IfaceSyn.  It requires some attention.

add extendNameEnvList_C

getMainDeclBinder should return Nothing for a binding with no variables
See test rn003

Use ":Co", not "Co" to prefix coercion TyCon names
Avoid possibility of name clash

Fix another hi-boot file

Removed unused unwrapFamInstBody from MkId

Rejig the auto-scc wrapping stuff

Do not filter the type envt after each GHCi stmt

Fixes Trac #925

A new comment in TcRnDriver in tcRnStmt reads thus:

At one stage I removed any shadowed bindings from the type_env;
they are inaccessible but might, I suppose, cause a space leak if we leave them there.
However, with Template Haskell they aren't necessarily inaccessible.  Consider this
GHCi session
 Prelude> let f n = n * 2 :: Int
 Prelude> fName <- runQ [| f |]
 Prelude> $(return $ AppE fName (LitE (IntegerL 7)))
 14
 Prelude> let f n = n * 3 :: Int
 Prelude> $(return $ AppE fName (LitE (IntegerL 7)))
In the last line we use 'fName', which resolves to the *first* 'f'
in scope. If we delete it from the type env, GHCi crashes because
it doesn't expect that.

Fail more informatively when a global isn't in the type environment

Rough matches for family instances
- Class and type family instances just got a lot more similar.
- FamInst, like Instance, now has a rough match signature.  The idea is the
  same: if the rough match doesn't match, there is no need to pull in the while
  tycon describing the instance (from a lazily read iface).
- IfaceFamInst changes in a similar way and the list of all IFaceFamInsts is
  now written into the binary iface (as for class instances), as deriving it
  from the tycon (as before) would render the whole rough matching useless.
- As a result of this, the plumbing of class instances and type instances
  through the various environments, ModIface, ModGuts, and ModDetails is now
  almost the same.  (The remaining difference are mostly because the dfun of a
  class instance is an Id, but type instance refer to a TyCon, not an Id.)

*** WARNING: The interface file format changed! ***
***      Rebuild from scratch. ***

Tweaks and missing case in disassembler

Update hi-boot files to fix building with old GHCs

STM invariants

Fix unregisterised alpha builds

Comments and an import-trim

Mention that the module sub-directory structure for .o and .hi files is created automatically by GHC

Bale out before renamer errors are duplicated

With the new Haddock patch, renamer errors can be duplicated;
so we want to bale out before doing the Haddock stuff if errors
are found.

(E.g test mod67 shows this up.)

Avoid repeatedly loading GHC.Prim

This patch changes HscTypes.lookupIfaceByModule.  The problem was that
when compiling the 'base' package, we'd repeatedly reload GHC.Prim.
This is easily fixed by looking in the PIT too. A comment with
lookupIfaceByModule explains

Print the 'skipping' messages at verbosity level 1

Fix up the typechecking of interface files during --make

This patch fixes Trac #909.  The problem was that when compiling
the base package, the handling of wired-in things wasn't right;
in TcIface.tcWiredInTyCon it repeatedly loaded GHC.Base.hi into the
PIT, even though that was the very module it was compiling.

The main fix is by introducing TcIface.ifCheckWiredInThing.

But I did some minor refactoring as well.

Import trimming

Figure out where the rest of the repositories are, based on defaultrepo
This is a slight improvement over the patch sent by jamey@minilop.net,
we now do it properly if the source repo was a GHC tree on the local
filesystem too.

Merge post 6.6.

Yet another fix to mkAtomicArgs (for floating of casts)

Comment Note [Take care] explains.

mkAtomicArgs is a mess.  A substantial rewrite of Simplify is needed.

Improve comments and error tracing

Improve error message

Undo an accidentally-committed  patch by Audrey

Merge Haddock comment support from ghc.haddock -- big patch