git.megacz.com Git - ghc-hetmet.git/commit - compiler/types/FamInstEnv.lhs

author	simonpj@microsoft.com <unknown>
	Mon, 13 Sep 2010 09:50:48 +0000 (09:50 +0000)
committer	simonpj@microsoft.com <unknown>
	Mon, 13 Sep 2010 09:50:48 +0000 (09:50 +0000)
commit	d2ce0f52d42edf32bb9f13796e6ba6edba8bd516
tree	1a0792f7eb186fa3d71a02f4a21da3daae3466bb	tree \| snapshot
parent	0084ab49ab3c0123c4b7f9523d092af45bccfd41	commit \| diff

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.

131 files changed:

compiler/HsVersions.h		diff \| blob \| history
compiler/basicTypes/Id.lhs		diff \| blob \| history
compiler/basicTypes/MkId.lhs		diff \| blob \| history
compiler/basicTypes/Var.lhs		diff \| blob \| history
compiler/basicTypes/VarEnv.lhs		diff \| blob \| history
compiler/cmm/CmmBuildInfoTables.hs		diff \| blob \| history
compiler/cmm/CmmCPS.hs		diff \| blob \| history
compiler/cmm/CmmCPSZ.hs		diff \| blob \| history
compiler/cmm/CmmSpillReload.hs		diff \| blob \| history
compiler/cmm/CmmStackLayout.hs		diff \| blob \| history
compiler/cmm/ZipCfg.hs		diff \| blob \| history
compiler/cmm/ZipCfgCmmRep.hs		diff \| blob \| history
compiler/cmm/ZipDataflow.hs		diff \| blob \| history
compiler/coreSyn/CoreArity.lhs		diff \| blob \| history
compiler/coreSyn/CoreFVs.lhs		diff \| blob \| history
compiler/coreSyn/CoreLint.lhs		diff \| blob \| history
compiler/coreSyn/CorePrep.lhs		diff \| blob \| history
compiler/coreSyn/CoreSubst.lhs		diff \| blob \| history
compiler/coreSyn/CoreSyn.lhs		diff \| blob \| history
compiler/coreSyn/CoreTidy.lhs		diff \| blob \| history
compiler/coreSyn/CoreUnfold.lhs		diff \| blob \| history
compiler/coreSyn/CoreUtils.lhs		diff \| blob \| history
compiler/coreSyn/MkCore.lhs		diff \| blob \| history
compiler/coreSyn/MkExternalCore.lhs		diff \| blob \| history
compiler/coreSyn/PprCore.lhs		diff \| blob \| history
compiler/deSugar/Coverage.lhs		diff \| blob \| history
compiler/deSugar/Desugar.lhs		diff \| blob \| history
compiler/deSugar/DsArrows.lhs		diff \| blob \| history
compiler/deSugar/DsBinds.lhs		diff \| blob \| history
compiler/deSugar/DsExpr.lhs		diff \| blob \| history
compiler/deSugar/DsUtils.lhs		diff \| blob \| history
compiler/deSugar/Match.lhs		diff \| blob \| history
compiler/deSugar/MatchCon.lhs		diff \| blob \| history
compiler/ghc.cabal.in		diff \| blob \| history
compiler/ghci/ByteCodeGen.lhs		diff \| blob \| history
compiler/ghci/Linker.lhs		diff \| blob \| history
compiler/ghci/RtClosureInspect.hs		diff \| blob \| history
compiler/hsSyn/HsBinds.lhs		diff \| blob \| history
compiler/hsSyn/HsDecls.lhs		diff \| blob \| history
compiler/hsSyn/HsExpr.lhs		diff \| blob \| history
compiler/hsSyn/HsPat.lhs		diff \| blob \| history
compiler/hsSyn/HsTypes.lhs		diff \| blob \| history
compiler/hsSyn/HsUtils.lhs		diff \| blob \| history
compiler/iface/BuildTyCl.lhs		diff \| blob \| history
compiler/iface/IfaceType.lhs		diff \| blob \| history
compiler/iface/LoadIface.lhs		diff \| blob \| history
compiler/iface/MkIface.lhs		diff \| blob \| history
compiler/iface/TcIface.lhs		diff \| blob \| history
compiler/main/DynFlags.hs		diff \| blob \| history
compiler/main/GHC.hs		diff \| blob \| history
compiler/main/HscTypes.lhs		diff \| blob \| history
compiler/main/PprTyThing.hs		diff \| blob \| history
compiler/main/StaticFlagParser.hs		diff \| blob \| history
compiler/main/StaticFlags.hs		diff \| blob \| history
compiler/main/TidyPgm.lhs		diff \| blob \| history
compiler/nativeGen/RegAlloc/Liveness.hs		diff \| blob \| history
compiler/nativeGen/X86/Instr.hs		diff \| blob \| history
compiler/parser/Parser.y.pp		diff \| blob \| history
compiler/prelude/PrelNames.lhs		diff \| blob \| history
compiler/prelude/PrelRules.lhs		diff \| blob \| history
compiler/rename/RnBinds.lhs		diff \| blob \| history
compiler/rename/RnNames.lhs		diff \| blob \| history
compiler/rename/RnSource.lhs		diff \| blob \| history
compiler/simplCore/FloatIn.lhs		diff \| blob \| history
compiler/simplCore/FloatOut.lhs		diff \| blob \| history
compiler/simplCore/OccurAnal.lhs		diff \| blob \| history
compiler/simplCore/SetLevels.lhs		diff \| blob \| history
compiler/simplCore/SimplCore.lhs		diff \| blob \| history
compiler/simplCore/SimplEnv.lhs		diff \| blob \| history
compiler/simplCore/SimplUtils.lhs		diff \| blob \| history
compiler/simplCore/Simplify.lhs		diff \| blob \| history
compiler/specialise/Rules.lhs		diff \| blob \| history
compiler/specialise/SpecConstr.lhs		diff \| blob \| history
compiler/stgSyn/CoreToStg.lhs		diff \| blob \| history
compiler/stranal/DmdAnal.lhs		diff \| blob \| history
compiler/stranal/WwLib.lhs		diff \| blob \| history
compiler/typecheck/FamInst.lhs		diff \| blob \| history
compiler/typecheck/Inst.lhs		diff \| blob \| history
compiler/typecheck/TcAnnotations.lhs		diff \| blob \| history
compiler/typecheck/TcArrows.lhs		diff \| blob \| history
compiler/typecheck/TcBinds.lhs		diff \| blob \| history
compiler/typecheck/TcCanonical.lhs	[new file with mode: 0644]	blob
compiler/typecheck/TcClassDcl.lhs		diff \| blob \| history
compiler/typecheck/TcDefaults.lhs		diff \| blob \| history
compiler/typecheck/TcDeriv.lhs		diff \| blob \| history
compiler/typecheck/TcEnv.lhs		diff \| blob \| history
compiler/typecheck/TcErrors.lhs	[new file with mode: 0644]	blob
compiler/typecheck/TcExpr.lhs		diff \| blob \| history
compiler/typecheck/TcExpr.lhs-boot		diff \| blob \| history
compiler/typecheck/TcForeign.lhs		diff \| blob \| history
compiler/typecheck/TcHsSyn.lhs		diff \| blob \| history
compiler/typecheck/TcHsType.lhs		diff \| blob \| history
compiler/typecheck/TcInstDcls.lhs		diff \| blob \| history
compiler/typecheck/TcInteract.lhs	[new file with mode: 0644]	blob
compiler/typecheck/TcMType.lhs		diff \| blob \| history
compiler/typecheck/TcMatches.lhs		diff \| blob \| history
compiler/typecheck/TcMatches.lhs-boot		diff \| blob \| history
compiler/typecheck/TcPat.lhs		diff \| blob \| history
compiler/typecheck/TcRnDriver.lhs		diff \| blob \| history
compiler/typecheck/TcRnMonad.lhs		diff \| blob \| history
compiler/typecheck/TcRnTypes.lhs		diff \| blob \| history
compiler/typecheck/TcRules.lhs		diff \| blob \| history
compiler/typecheck/TcSMonad.lhs	[new file with mode: 0644]	blob
compiler/typecheck/TcSimplify.lhs		diff \| blob \| history
compiler/typecheck/TcSimplify.lhs-old	[new file with mode: 0644]	blob
compiler/typecheck/TcSplice.lhs		diff \| blob \| history
compiler/typecheck/TcSplice.lhs-boot		diff \| blob \| history
compiler/typecheck/TcTyClsDecls.lhs		diff \| blob \| history
compiler/typecheck/TcTyFuns.lhs-old	[moved from compiler/typecheck/TcTyFuns.lhs with 99% similarity]	diff \| blob \| history
compiler/typecheck/TcType.lhs		diff \| blob \| history
compiler/typecheck/TcUnify.lhs		diff \| blob \| history
compiler/typecheck/TcUnify.lhs-boot		diff \| blob \| history
compiler/types/Class.lhs		diff \| blob \| history
compiler/types/Coercion.lhs		diff \| blob \| history
compiler/types/FamInstEnv.lhs		diff \| blob \| history
compiler/types/FunDeps.lhs		diff \| blob \| history
compiler/types/InstEnv.lhs		diff \| blob \| history
compiler/types/TyCon.lhs		diff \| blob \| history
compiler/types/Type.lhs		diff \| blob \| history
compiler/types/TypeRep.lhs		diff \| blob \| history
compiler/utils/Bag.lhs		diff \| blob \| history
compiler/utils/Digraph.lhs		diff \| blob \| history
compiler/utils/Outputable.lhs		diff \| blob \| history
compiler/vectorise/VectMonad.hs	[new file with mode: 0644]	blob
compiler/vectorise/Vectorise/Monad/InstEnv.hs		diff \| blob \| history
compiler/vectorise/Vectorise/Type/Env.hs		diff \| blob \| history
compiler/vectorise/Vectorise/Type/PData.hs		diff \| blob \| history
compiler/vectorise/Vectorise/Type/PRepr.hs		diff \| blob \| history
compiler/vectorise/Vectorise/Type/TyConDecl.hs		diff \| blob \| history
compiler/vectorise/Vectorise/Utils.hs		diff \| blob \| history
new_tc_notes	[new file with mode: 0644]	blob

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom