Ian Lynagh [Sat, 12 Apr 2008 15:33:29 +0000 (15:33 +0000)]
(F)SLIT -> (f)sLit in Parser
Ian Lynagh [Sat, 12 Apr 2008 15:30:52 +0000 (15:30 +0000)]
(F)SLIT -> (f)sLit in RdrHsSyn
Ian Lynagh [Sat, 12 Apr 2008 15:29:09 +0000 (15:29 +0000)]
(F)SLIT -> (f)sLit in SysTools
Ian Lynagh [Sat, 12 Apr 2008 15:27:50 +0000 (15:27 +0000)]
(F)SLIT -> (f)sLit in MachCodeGen
Ian Lynagh [Sat, 12 Apr 2008 15:25:45 +0000 (15:25 +0000)]
(F)SLIT -> (f)sLit in PositionIndependentCode
Ian Lynagh [Sat, 12 Apr 2008 15:23:55 +0000 (15:23 +0000)]
(F)SLIT -> (f)sLit in RegallocLinear
Ian Lynagh [Sat, 12 Apr 2008 15:23:07 +0000 (15:23 +0000)]
(F)SLIT -> (f)sLit in RegLiveness
Ian Lynagh [Sat, 12 Apr 2008 15:22:17 +0000 (15:22 +0000)]
(F)SLIT -> (f)sLit in PprMach
Ian Lynagh [Sat, 12 Apr 2008 15:12:50 +0000 (15:12 +0000)]
(F)SLIT -> (f)sLit in Desugar
Ian Lynagh [Sat, 12 Apr 2008 15:11:47 +0000 (15:11 +0000)]
(F)SLIT -> (f)sLit in MkIface
Ian Lynagh [Sat, 12 Apr 2008 15:08:48 +0000 (15:08 +0000)]
(F)SLIT -> (f)sLit in DsForeign
Ian Lynagh [Sat, 12 Apr 2008 15:06:44 +0000 (15:06 +0000)]
(F)SLIT -> (f)sLit in Match
Ian Lynagh [Sat, 12 Apr 2008 15:05:10 +0000 (15:05 +0000)]
(F)SLIT -> (f)sLit in DsBinds
Ian Lynagh [Sat, 12 Apr 2008 15:04:16 +0000 (15:04 +0000)]
(F)SLIT -> (f)sLit in Coverage
Ian Lynagh [Sat, 12 Apr 2008 15:03:17 +0000 (15:03 +0000)]
(F)SLIT -> (f)sLit in DsUtils
Ian Lynagh [Sat, 12 Apr 2008 15:02:31 +0000 (15:02 +0000)]
(F)SLIT -> (f)sLit in DsUtils
Ian Lynagh [Sat, 12 Apr 2008 14:56:39 +0000 (14:56 +0000)]
(F)SLIT -> (f)sLit in TcHsSyn
Ian Lynagh [Sat, 12 Apr 2008 14:52:38 +0000 (14:52 +0000)]
(F)SLIT -> (f)sLit in FunDeps
Ian Lynagh [Sat, 12 Apr 2008 14:52:01 +0000 (14:52 +0000)]
(F)SLIT -> (f)sLit in DsMonad
Ian Lynagh [Sat, 12 Apr 2008 14:51:05 +0000 (14:51 +0000)]
(F)SLIT -> (f)sLit in TcIface
Ian Lynagh [Sat, 12 Apr 2008 14:50:18 +0000 (14:50 +0000)]
(F)SLIT -> (f)sLit in LoadIface
Ian Lynagh [Sat, 12 Apr 2008 14:48:12 +0000 (14:48 +0000)]
(F)SLIT -> (f)sLit in Finder
Ian Lynagh [Sat, 12 Apr 2008 14:45:57 +0000 (14:45 +0000)]
(F)SLIT -> (f)sLit in TcRnMonad
Ian Lynagh [Sat, 12 Apr 2008 14:45:04 +0000 (14:45 +0000)]
(F)SLIT -> (f)sLit in TcRnTypes
Ian Lynagh [Sat, 12 Apr 2008 14:41:23 +0000 (14:41 +0000)]
(F)SLIT -> (f)sLit in WwLib
Ian Lynagh [Sat, 12 Apr 2008 14:38:51 +0000 (14:38 +0000)]
(F)SLIT -> (f)sLit in CoreSubst
Ian Lynagh [Sat, 12 Apr 2008 14:36:37 +0000 (14:36 +0000)]
(F)SLIT -> (f)sLit in CorePrep
Ian Lynagh [Sat, 12 Apr 2008 14:35:40 +0000 (14:35 +0000)]
(F)SLIT -> (f)sLit in CgCon
Ian Lynagh [Sat, 12 Apr 2008 14:33:53 +0000 (14:33 +0000)]
(F)SLIT -> (f)sLit in HscTypes
Ian Lynagh [Sat, 12 Apr 2008 14:11:22 +0000 (14:11 +0000)]
(F)SLIT -> (f)sLit in FamInstEnv
Ian Lynagh [Sat, 12 Apr 2008 14:10:45 +0000 (14:10 +0000)]
(F)SLIT -> (f)sLit in InstEnv
Ian Lynagh [Sat, 12 Apr 2008 14:07:41 +0000 (14:07 +0000)]
(F)SLIT -> (f)sLit in CgPrimOp
Ian Lynagh [Sat, 12 Apr 2008 14:06:30 +0000 (14:06 +0000)]
(F)SLIT -> (f)sLit in PprC
Ian Lynagh [Sat, 12 Apr 2008 14:02:13 +0000 (14:02 +0000)]
(F)SLIT -> (f)sLit in CgForeignCall
Ian Lynagh [Sat, 12 Apr 2008 14:01:36 +0000 (14:01 +0000)]
(F)SLIT -> (f)sLit in CgClosure
Ian Lynagh [Sat, 12 Apr 2008 13:59:34 +0000 (13:59 +0000)]
(F)SLIT -> (f)sLit in PprCmmZ
Ian Lynagh [Sat, 12 Apr 2008 13:59:02 +0000 (13:59 +0000)]
(F)SLIT -> (f)sLit in ZipCfgCmmRep
Ian Lynagh [Sat, 12 Apr 2008 13:58:20 +0000 (13:58 +0000)]
(F)SLIT -> (f)sLit in CmmLint
Ian Lynagh [Sat, 12 Apr 2008 13:57:28 +0000 (13:57 +0000)]
(F)SLIT -> (f)sLit in CmmCPSGen
Ian Lynagh [Sat, 12 Apr 2008 13:56:20 +0000 (13:56 +0000)]
(F)SLIT -> (f)sLit in CgBindery
Ian Lynagh [Sat, 12 Apr 2008 13:55:29 +0000 (13:55 +0000)]
(F)SLIT -> (f)sLit in CgHeapery
Ian Lynagh [Sat, 12 Apr 2008 13:54:11 +0000 (13:54 +0000)]
(F)SLIT -> (f)sLit in CgTicky
Ian Lynagh [Sat, 12 Apr 2008 13:50:37 +0000 (13:50 +0000)]
(F)SLIT -> (f)sLit in CgCallConv
Ian Lynagh [Sat, 12 Apr 2008 13:39:35 +0000 (13:39 +0000)]
(F)SLIT -> (f)sLit in CgProf
Ian Lynagh [Sat, 12 Apr 2008 13:33:23 +0000 (13:33 +0000)]
(F)SLIT -> (f)sLit in PprCmm
Ian Lynagh [Sat, 12 Apr 2008 13:30:30 +0000 (13:30 +0000)]
(F)SLIT -> (f)sLit in ClosureInfo
Ian Lynagh [Sat, 12 Apr 2008 13:29:24 +0000 (13:29 +0000)]
(F)SLIT -> (f)sLit in StSyn
Ian Lynagh [Sat, 12 Apr 2008 13:25:34 +0000 (13:25 +0000)]
(F)SLIT -> (f)sLit in SMRep
Ian Lynagh [Sat, 12 Apr 2008 13:24:30 +0000 (13:24 +0000)]
(F)SLIT -> (f)sLit in MachOp
Ian Lynagh [Sat, 12 Apr 2008 13:23:05 +0000 (13:23 +0000)]
(F)SLIT -> (f)sLit in CLabel
Ian Lynagh [Sat, 12 Apr 2008 13:21:58 +0000 (13:21 +0000)]
(F)SLIT -> (f)sLit in Packages
Ian Lynagh [Sat, 12 Apr 2008 13:20:44 +0000 (13:20 +0000)]
(F)SLIT -> (f)sLit in Lexer
Ian Lynagh [Sat, 12 Apr 2008 13:18:31 +0000 (13:18 +0000)]
(F)SLIT -> (f)sLit in MkId
Ian Lynagh [Sat, 12 Apr 2008 13:17:07 +0000 (13:17 +0000)]
(F)SLIT -> (f)sLit in Rules
Ian Lynagh [Sat, 12 Apr 2008 13:16:12 +0000 (13:16 +0000)]
(F)SLIT -> (f)sLit in PrelRules
Ian Lynagh [Sat, 12 Apr 2008 13:07:37 +0000 (13:07 +0000)]
(F)SLIT -> (f)sLit in HsSyn
Ian Lynagh [Sat, 12 Apr 2008 12:53:20 +0000 (12:53 +0000)]
(F)SLIT -> (f)sLit in HsUtils
Ian Lynagh [Sat, 12 Apr 2008 12:52:29 +0000 (12:52 +0000)]
(F)SLIT -> (f)sLit in HsExpr
Ian Lynagh [Sat, 12 Apr 2008 12:49:28 +0000 (12:49 +0000)]
(F)SLIT -> (f)sLit in HsDecls
Ian Lynagh [Sat, 12 Apr 2008 12:48:40 +0000 (12:48 +0000)]
(F)SLIT -> (f)sLit in HsImpExp
Ian Lynagh [Sat, 12 Apr 2008 12:47:58 +0000 (12:47 +0000)]
(F)SLIT -> (f)sLit in HsPat
Ian Lynagh [Sat, 12 Apr 2008 12:46:45 +0000 (12:46 +0000)]
(F)SLIT -> (f)sLit in HsTypes
Ian Lynagh [Sat, 12 Apr 2008 12:46:07 +0000 (12:46 +0000)]
(F)SLIT -> (f)sLit in IfaceSyn
Ian Lynagh [Sat, 12 Apr 2008 12:45:07 +0000 (12:45 +0000)]
(F)SLIT -> (f)sLit in IfaceType
Ian Lynagh [Sat, 12 Apr 2008 12:44:20 +0000 (12:44 +0000)]
(F)SLIT -> (f)sLit in CoreUnfold
Ian Lynagh [Sat, 12 Apr 2008 12:43:39 +0000 (12:43 +0000)]
(F)SLIT -> (f)sLit in CoreLint
Ian Lynagh [Sat, 12 Apr 2008 12:42:18 +0000 (12:42 +0000)]
(F)SLIT -> (f)sLit in CoreUtils
Ian Lynagh [Sat, 12 Apr 2008 12:41:41 +0000 (12:41 +0000)]
(F)SLIT -> (f)sLit in PprCore
Ian Lynagh [Sat, 12 Apr 2008 12:39:52 +0000 (12:39 +0000)]
(F)SLIT -> (f)sLit in Id
Ian Lynagh [Sat, 12 Apr 2008 12:37:45 +0000 (12:37 +0000)]
(F)SLIT -> (f)sLit in TcType
Ian Lynagh [Sat, 12 Apr 2008 12:36:37 +0000 (12:36 +0000)]
(F)SLIT -> (f)sLit in IdInfo
Ian Lynagh [Sat, 12 Apr 2008 12:35:07 +0000 (12:35 +0000)]
(F)SLIT -> (f)sLit in CoreSyn
Ian Lynagh [Sat, 12 Apr 2008 12:34:02 +0000 (12:34 +0000)]
(F)SLIT -> (f)sLit in CostCentre
Ian Lynagh [Sat, 12 Apr 2008 12:33:22 +0000 (12:33 +0000)]
(F)SLIT -> (f)sLit in Literal
Ian Lynagh [Sat, 12 Apr 2008 12:32:47 +0000 (12:32 +0000)]
Generate fsLit not FSLIT in genprimopcode
Ian Lynagh [Sat, 12 Apr 2008 12:29:46 +0000 (12:29 +0000)]
(F)SLIT -> (f)sLit in TysWiredIn
Ian Lynagh [Sat, 12 Apr 2008 12:28:46 +0000 (12:28 +0000)]
(F)SLIT -> (f)sLit in TysPrim
Ian Lynagh [Sat, 12 Apr 2008 12:27:57 +0000 (12:27 +0000)]
(F)SLIT -> (f)sLit in ForeignCall
Ian Lynagh [Sat, 12 Apr 2008 12:27:09 +0000 (12:27 +0000)]
(F)SLIT -> (f)sLit in DataCon
Ian Lynagh [Sat, 12 Apr 2008 12:26:27 +0000 (12:26 +0000)]
(F)SLIT -> (f)sLit in Coercion
Ian Lynagh [Sat, 12 Apr 2008 12:25:24 +0000 (12:25 +0000)]
(F)SLIT -> (f)sLit in Type
Ian Lynagh [Sat, 12 Apr 2008 12:24:09 +0000 (12:24 +0000)]
(F)SLIT -> (f)sLit in TypeRep
Ian Lynagh [Sat, 12 Apr 2008 12:14:37 +0000 (12:14 +0000)]
(F)SLIT -> (f)sLit in VarEnv
Ian Lynagh [Sat, 12 Apr 2008 12:12:45 +0000 (12:12 +0000)]
(F)SLIT -> (f)sLit in Class
Ian Lynagh [Sat, 12 Apr 2008 12:12:11 +0000 (12:12 +0000)]
(F)SLIT -> (f)sLit in Class
Ian Lynagh [Sat, 12 Apr 2008 12:11:40 +0000 (12:11 +0000)]
(F)SLIT -> (f)sLit in Var
Ian Lynagh [Sat, 12 Apr 2008 12:10:50 +0000 (12:10 +0000)]
(F)SLIT -> (f)sLit in Name
Ian Lynagh [Sat, 12 Apr 2008 12:10:08 +0000 (12:10 +0000)]
(F)SLIT -> (f)sLit in OccName
Ian Lynagh [Sat, 12 Apr 2008 12:09:09 +0000 (12:09 +0000)]
(F)SLIT -> (f)sLit in SrcLoc
Ian Lynagh [Sat, 12 Apr 2008 12:08:17 +0000 (12:08 +0000)]
(F)SLIT -> (f)sLit in Module
Ian Lynagh [Sat, 12 Apr 2008 12:07:45 +0000 (12:07 +0000)]
(F)SLIT -> (f)sLit in BasicTypes
Ian Lynagh [Sat, 12 Apr 2008 12:05:38 +0000 (12:05 +0000)]
(F)SLIT -> (f)sLit in Outputable
Ian Lynagh [Sat, 12 Apr 2008 12:00:04 +0000 (12:00 +0000)]
SLIT -> sLit in Prety.lhs
Ian Lynagh [Sat, 12 Apr 2008 11:57:45 +0000 (11:57 +0000)]
Don't use CPP for SLIT/FSLIT
simonpj@microsoft.com [Tue, 22 Apr 2008 12:04:00 +0000 (12:04 +0000)]
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
simonpj@microsoft.com [Tue, 22 Apr 2008 12:03:04 +0000 (12:03 +0000)]
Comments only in SimplCore
simonpj@microsoft.com [Tue, 22 Apr 2008 12:01:43 +0000 (12:01 +0000)]
Comments only
simonpj@microsoft.com [Tue, 22 Apr 2008 11:52:38 +0000 (11:52 +0000)]
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
simonpj@microsoft.com [Tue, 22 Apr 2008 11:52:21 +0000 (11:52 +0000)]
Comments only
simonpj@microsoft.com [Tue, 22 Apr 2008 11:50:03 +0000 (11:50 +0000)]
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.