Mon Sep 13 02:50:48 PDT 2010 [email protected]
* Super-monster patch implementing the new typechecker -- at last
This major patch implements the new OutsideIn constraint solving
algorithm in the typecheker, following our JFP paper "Modular type
inference with local assumptions".
Done with major help from Dimitrios Vytiniotis and Brent Yorgey.
M ./compiler/HsVersions.h -1 +1
M ./compiler/basicTypes/Id.lhs -1 +4
M ./compiler/basicTypes/MkId.lhs -158 +47
M ./compiler/basicTypes/Var.lhs -33 +46
M ./compiler/basicTypes/VarEnv.lhs -1 +6
M ./compiler/cmm/CmmBuildInfoTables.hs +4
M ./compiler/cmm/CmmCPS.hs +1
M ./compiler/cmm/CmmCPSZ.hs +7
M ./compiler/cmm/CmmSpillReload.hs +3
M ./compiler/cmm/CmmStackLayout.hs +4
M ./compiler/cmm/ZipCfg.hs -5 +12
M ./compiler/cmm/ZipCfgCmmRep.hs +3
M ./compiler/cmm/ZipDataflow.hs -4 +19
M ./compiler/coreSyn/CoreArity.lhs -2 +2
M ./compiler/coreSyn/CoreFVs.lhs -1 +1
M ./compiler/coreSyn/CoreLint.lhs -4 +25
M ./compiler/coreSyn/CorePrep.lhs -2 +2
M ./compiler/coreSyn/CoreSubst.lhs -65 +178
M ./compiler/coreSyn/CoreSyn.lhs -5 +3
M ./compiler/coreSyn/CoreTidy.lhs -2 +2
M ./compiler/coreSyn/CoreUnfold.lhs -1 +1
M ./compiler/coreSyn/CoreUtils.lhs -5 +102
M ./compiler/coreSyn/MkCore.lhs -6 +10
M ./compiler/coreSyn/MkExternalCore.lhs -2 +2
M ./compiler/coreSyn/PprCore.lhs -4 +4
M ./compiler/deSugar/Coverage.lhs -7 +7
M ./compiler/deSugar/Desugar.lhs -51 +133
M ./compiler/deSugar/DsArrows.lhs -6 +15
M ./compiler/deSugar/DsBinds.lhs -104 +219
M ./compiler/deSugar/DsExpr.lhs -62 +73
M ./compiler/deSugar/DsUtils.lhs -4 +3
M ./compiler/deSugar/Match.lhs -4 +4
M ./compiler/deSugar/MatchCon.lhs -4 +2
M ./compiler/ghc.cabal.in -1 +4
M ./compiler/ghci/ByteCodeGen.lhs -3 +5
M ./compiler/ghci/Linker.lhs -1 +2
M ./compiler/ghci/RtClosureInspect.hs -5 +5
M ./compiler/hsSyn/HsBinds.lhs -50 +174
M ./compiler/hsSyn/HsDecls.lhs +2
M ./compiler/hsSyn/HsExpr.lhs -15 +24
M ./compiler/hsSyn/HsPat.lhs -52 +15
M ./compiler/hsSyn/HsTypes.lhs -2 +2
M ./compiler/hsSyn/HsUtils.lhs -15 +26
M ./compiler/iface/BuildTyCl.lhs -74 +62
M ./compiler/iface/IfaceType.lhs -1 +1
M ./compiler/iface/LoadIface.lhs -1
M ./compiler/iface/MkIface.lhs -3 +7
M ./compiler/iface/TcIface.lhs -25 +29
M ./compiler/main/DynFlags.hs -117 +121
M ./compiler/main/GHC.hs -2 +3
M ./compiler/main/HscTypes.lhs -2 +2
M ./compiler/main/PprTyThing.hs -4 +4
M ./compiler/main/StaticFlagParser.hs +1
M ./compiler/main/StaticFlags.hs -2 +6
M ./compiler/main/TidyPgm.lhs -3 +3
M ./compiler/nativeGen/RegAlloc/Liveness.hs -4 +14
M ./compiler/nativeGen/X86/Instr.hs +2
M ./compiler/parser/Parser.y.pp -2 +2
M ./compiler/prelude/PrelNames.lhs -5 +9
M ./compiler/prelude/PrelRules.lhs -18 +165
M ./compiler/rename/RnBinds.lhs -62 +29
M ./compiler/rename/RnNames.lhs -2 +3
M ./compiler/rename/RnSource.lhs -1 +1
M ./compiler/simplCore/FloatIn.lhs -1 +1
M ./compiler/simplCore/FloatOut.lhs -1 +1
M ./compiler/simplCore/OccurAnal.lhs -17 +25
M ./compiler/simplCore/SetLevels.lhs -2 +2
M ./compiler/simplCore/SimplCore.lhs -159 +33
M ./compiler/simplCore/SimplEnv.lhs -1 +1
M ./compiler/simplCore/SimplUtils.lhs -110 +20
M ./compiler/simplCore/Simplify.lhs -7 +7
M ./compiler/specialise/Rules.lhs -10 +10
M ./compiler/specialise/SpecConstr.lhs -4 +4
M ./compiler/stgSyn/CoreToStg.lhs -2 +2
M ./compiler/stranal/DmdAnal.lhs -2 +2
M ./compiler/stranal/WwLib.lhs -1 +1
M ./compiler/typecheck/FamInst.lhs -1 +14
M ./compiler/typecheck/Inst.lhs -981 +286
M ./compiler/typecheck/TcAnnotations.lhs -1 +1
M ./compiler/typecheck/TcArrows.lhs -26 +15
M ./compiler/typecheck/TcBinds.lhs -551 +432
A ./compiler/typecheck/TcCanonical.lhs
M ./compiler/typecheck/TcClassDcl.lhs -46 +52
M ./compiler/typecheck/TcDefaults.lhs -3 +3
M ./compiler/typecheck/TcDeriv.lhs -75 +68
M ./compiler/typecheck/TcEnv.lhs -111 +119
A ./compiler/typecheck/TcErrors.lhs
M ./compiler/typecheck/TcExpr.lhs -522 +540
M ./compiler/typecheck/TcExpr.lhs-boot -9 +9
M ./compiler/typecheck/TcForeign.lhs -2 +2
M ./compiler/typecheck/TcHsSyn.lhs -109 +149
M ./compiler/typecheck/TcHsType.lhs -43 +22
M ./compiler/typecheck/TcInstDcls.lhs -356 +285
A ./compiler/typecheck/TcInteract.lhs
M ./compiler/typecheck/TcMType.lhs -619 +353
M ./compiler/typecheck/TcMatches.lhs -114 +111
M ./compiler/typecheck/TcMatches.lhs-boot -3 +3
M ./compiler/typecheck/TcPat.lhs -527 +503
M ./compiler/typecheck/TcRnDriver.lhs -63 +67
M ./compiler/typecheck/TcRnMonad.lhs -113 +136
M ./compiler/typecheck/TcRnTypes.lhs -293 +220
M ./compiler/typecheck/TcRules.lhs -47 +46
A ./compiler/typecheck/TcSMonad.lhs
M ./compiler/typecheck/TcSimplify.lhs -3101 +695
A ./compiler/typecheck/TcSimplify.lhs-old
M ./compiler/typecheck/TcSplice.lhs -25 +24
M ./compiler/typecheck/TcSplice.lhs-boot -3 +3
M ./compiler/typecheck/TcTyClsDecls.lhs -44 +46
R ./compiler/typecheck/TcTyFuns.lhs
A ./compiler/typecheck/TcTyFuns.lhs-old
M ./compiler/typecheck/TcType.lhs -152 +252
M ./compiler/typecheck/TcUnify.lhs -1456 +690
M ./compiler/typecheck/TcUnify.lhs-boot -3 +1
M ./compiler/types/Class.lhs -18 +38
M ./compiler/types/Coercion.lhs -59 +66
M ./compiler/types/FamInstEnv.lhs -9 +9
M ./compiler/types/FunDeps.lhs -2 +17
M ./compiler/types/InstEnv.lhs -1
M ./compiler/types/TyCon.lhs -107 +110
M ./compiler/types/Type.lhs -107 +3
M ./compiler/types/TypeRep.lhs -2 +2
M ./compiler/utils/Bag.lhs -2 +53
M ./compiler/utils/Digraph.lhs -1 +1
M ./compiler/utils/Outputable.lhs -2 +3
A ./compiler/vectorise/VectMonad.hs
M ./compiler/vectorise/Vectorise/Monad/InstEnv.hs -1 +1
M ./compiler/vectorise/Vectorise/Type/Env.hs -1 +3
M ./compiler/vectorise/Vectorise/Type/PData.hs +1
M ./compiler/vectorise/Vectorise/Type/PRepr.hs +1
M ./compiler/vectorise/Vectorise/Type/TyConDecl.hs +1
M ./compiler/vectorise/Vectorise/Utils.hs -1 +1
A ./new_tc_notes
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20100913095048-1287e-bca6feecf4770b3e943e23ee4e40edc80dca2d5f.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
