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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(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)