(F)SLIT -> (f)sLit in WwLib

(F)SLIT -> (f)sLit in CoreSubst

(F)SLIT -> (f)sLit in CorePrep

(F)SLIT -> (f)sLit in CgCon

(F)SLIT -> (f)sLit in HscTypes

(F)SLIT -> (f)sLit in FamInstEnv

(F)SLIT -> (f)sLit in InstEnv

(F)SLIT -> (f)sLit in CgPrimOp

(F)SLIT -> (f)sLit in PprC

(F)SLIT -> (f)sLit in CgForeignCall

(F)SLIT -> (f)sLit in CgClosure

(F)SLIT -> (f)sLit in PprCmmZ

(F)SLIT -> (f)sLit in ZipCfgCmmRep

(F)SLIT -> (f)sLit in CmmLint

(F)SLIT -> (f)sLit in CmmCPSGen

(F)SLIT -> (f)sLit in CgBindery

(F)SLIT -> (f)sLit in CgHeapery

(F)SLIT -> (f)sLit in CgTicky

(F)SLIT -> (f)sLit in CgCallConv

(F)SLIT -> (f)sLit in CgProf

(F)SLIT -> (f)sLit in PprCmm

(F)SLIT -> (f)sLit in ClosureInfo

(F)SLIT -> (f)sLit in StSyn

(F)SLIT -> (f)sLit in SMRep

(F)SLIT -> (f)sLit in MachOp

(F)SLIT -> (f)sLit in CLabel

(F)SLIT -> (f)sLit in Packages

(F)SLIT -> (f)sLit in Lexer

(F)SLIT -> (f)sLit in MkId

(F)SLIT -> (f)sLit in Rules

(F)SLIT -> (f)sLit in PrelRules

(F)SLIT -> (f)sLit in HsSyn

(F)SLIT -> (f)sLit in HsUtils

(F)SLIT -> (f)sLit in HsExpr

(F)SLIT -> (f)sLit in HsDecls

(F)SLIT -> (f)sLit in HsImpExp

(F)SLIT -> (f)sLit in HsPat

(F)SLIT -> (f)sLit in HsTypes

(F)SLIT -> (f)sLit in IfaceSyn

(F)SLIT -> (f)sLit in IfaceType

(F)SLIT -> (f)sLit in CoreUnfold

(F)SLIT -> (f)sLit in CoreLint

(F)SLIT -> (f)sLit in CoreUtils

(F)SLIT -> (f)sLit in PprCore

(F)SLIT -> (f)sLit in Id

(F)SLIT -> (f)sLit in TcType

(F)SLIT -> (f)sLit in IdInfo

(F)SLIT -> (f)sLit in CoreSyn

(F)SLIT -> (f)sLit in CostCentre

(F)SLIT -> (f)sLit in Literal

Generate fsLit not FSLIT in genprimopcode

(F)SLIT -> (f)sLit in TysWiredIn

(F)SLIT -> (f)sLit in TysPrim

(F)SLIT -> (f)sLit in ForeignCall

(F)SLIT -> (f)sLit in DataCon

(F)SLIT -> (f)sLit in Coercion

(F)SLIT -> (f)sLit in Type

(F)SLIT -> (f)sLit in TypeRep

(F)SLIT -> (f)sLit in VarEnv

(F)SLIT -> (f)sLit in Class

(F)SLIT -> (f)sLit in Class

(F)SLIT -> (f)sLit in Var

(F)SLIT -> (f)sLit in Name

(F)SLIT -> (f)sLit in OccName

(F)SLIT -> (f)sLit in SrcLoc

(F)SLIT -> (f)sLit in Module

(F)SLIT -> (f)sLit in BasicTypes

(F)SLIT -> (f)sLit in Outputable

SLIT -> sLit in Prety.lhs

Don't use CPP for SLIT/FSLIT

Simplify SimplCont, plus some other small changes to the Simplifier

The main change in this patch is this:

  * The Stop constructor of SimplCont no longer contains the OutType
    of the whole continuation.  This is a nice simplification in
    lots of places where we build a Stop continuation.  For example,
    rebuildCall no longer needs to maintain the type of the function.

  * Similarly StrictArg no longer needs an OutType

  * The consequential complication is that contResultType (not called
    much) needs to be given the type of the thing in the middle.  No
    big deal.

  * Lots of other small knock-on effects

Other changes in here

  * simplLazyBind does do the type-abstraction thing if there's
    a lambda inside.  See comments in simplLazyBind

  * simplLazyBind reduces simplifier iterations by keeping
    unfolding information for stuff for which type abstraction is
    done (see add_poly_bind)

All of this came up when implementing System IF, but seems worth applying
to the HEAD

Comments only in SimplCore

Comments only

Minor bug in SpecConstr

In SpecConstr.isValue, we recorded a ConVal for a big-lambda,
which seems wrong. I came across this when implementing System IF.
The code now reads:

  isValue env (Lam b e)
    | isTyVar b = case isValue env e of
       Just _  -> Just LambdaVal -- NB!
       Nothing -> Nothing
    | otherwise = Just LambdaVal

Comments only

Fix a long-standing bug in FloatOut

We really should not float anything out of an _inline_me_ Note,
for reasons described in this new comment:
-- Do no floating at all inside INLINE.
-- The SetLevels pass did not clone the bindings, so it's
-- unsafe to do any floating, even if we dump the results
-- inside the Note (which is what we used to do).

I'm about to get rid of these _inline_me_ Notes, but it's
better to fix it anyway.  I found this bug when implementing System IF.

Remove static flag opt_RuntimeTypes (has not been used in years)

Refactor the TyVarTy case of 'match'.  No change in behaviour.

Add Note [Generating the in-scope set for a substitution]

Rename WpCo to WpCast

Fix #2044 (:printing impredicatively typed things)

Switching to boxyUnify should be enough to fix this.

Improve External Core syntax for newtypes

I was confused by the newtype eta-contraction trick before.
Newtype declarations are much less redundant now.

Update External Core docs

Update documentation to reflect GHC HEAD.

External Core typechecker - improve handling of coercions

Reorganized coercion-related code in the typechecker (this was
brought about by typechecking the Core versions of the optimized GHC
libraries.) A few miscellaneous changes (fixed a bug in Prep involving
eta-expanding partial applications that had additional type
arguments.)

Naming changes in External Core

Two changes:
- Top-level bindings in a given module are now printed as a
  single %rec group. I found that in External Core generated from
  optimized code, nonrec bindings weren't being printed in
  dependency order. Rather than fixing that, I decided to not
  even pretend to preserve dependency order (since there's
  recursion between modules anyway.)

- Internal names are now printed with their uniques attached
  (otherwise, GHC was printing out code with shadowed bindings,
  and this isn't supposed to happen in External Core.)

Add clarifying comments about unsafeCoerce

Make the integer library to use more configurable
Now you just set INTEGER_LIBRARY=integer-foo in build.mk

Remove some duplicate extern decls

Add some more generic (en|de)code(Double|Float) code

Updates to handle Ordering moving from base to ghc-prim

Fix lndir
It would copy when it should symlink, and vice-versa.

Improve External Core syntax

Got rid of the silly '^' characters before qualified names (plus:
reverts to the original syntax; minus: makes the parser a little
hairier.)

Also, added warning in the typechecker for coercion kind mismatches
rather than considering that a type error. (see the added comment in
Check.hs for details.)

FIX BUILD (Windows): Copy the ln trick used by the GMP build

Revive the static argument transformation

This patch revives the Static Argument Transformation, thanks to
Max Bolingbroke.  It is enabled with
-fstatic-argument-transformation
or -O2

Headline nofib results

                  Size    Allocs   Runtime
Min             +0.0%    -13.7%    -21.4%
Max             +0.1%     +0.0%     +5.4%
Geometric Mean  +0.0%     -0.2%     -6.9%

Transfer strictness and arity info when abstracting over type variables

See Note [transferPolyIdInfo] in Id.lhs, and test
eyeball/demand-on-polymorphic-floatouts.hs

Max Bolingbroke discovered that we were gratuitiously losing strictness
info.  This simple patch fixes it.  But see the above note for things
that are still discarded: worker info and rules.

Revive External Core typechecker

The typechecker works again! Yay!

Details upon request.

Eta-expand newtype coercions in External Core

Typechecking External Core is easier if we eta-expand axioms
in newtype declarations. For a fuller explanation, see:
http://www.haskell.org/pipermail/cvs-ghc/2008-April/041948.html

Extra info in genprimopcode --make-ext-core-source

The ext-core typechecker needs to know what types are
valid for various kinds of literals, so I changed
genprimopcode to dump out that information as well
with --make-ext-core-source.

Fixing HPCTIXDIR problem with mkdir usage on Windows

Update .darcs-boring with utils/ext-core stuff