Re-add FunTy (big patch)
[ghc.git] / compiler / types /
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-14  Bartosz NitkaRename cmpType to nonDetCmpType
2016-06-13  Simon Peyton JonesBeef up isPredTy
2016-06-13  Simon Peyton JonesFix the in-scope set for extendTvSubstWithClone
2016-06-10  Simon Peyton JonesComments only
2016-06-10  Simon Peyton JonesComments only
2016-06-09  Bartosz NitkaRemove Ord Class
2016-06-09  Bartosz NitkaRemove Ord (CoAxiom br)
2016-06-09  Bartosz NitkaImplement Eq TyCon directly
2016-06-03  Bartosz NitkaMake FieldLabelEnv a deterministic set
2016-06-02  Bartosz NitkaLocalize orphan-related nondeterminism
2016-05-27  Simon Peyton JonesMore fixes for unboxed tuples
2016-05-26  Simon Peyton JonesReduce special-casing for nullary unboxed tuple
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-05-24  Simon Peyton JonesRemove unused Type.splitFunTysN
2016-05-20  Ömer Sinan AğacanFunDep printer: Fix unicode arrow
2016-05-19  Ben GamariGive lifted primitive types a representation
2016-05-19  Simon Peyton JonesImprove pretty-printing of equalities
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-12  RyanGlScottFix deriveTyData's kind unification when two kind varia...
2016-05-11  Bartosz NitkaDocument why closeOverKind is OK for determinism
2016-05-10  Bartosz NitkaMake simplifyInstanceContexts deterministic
2016-04-30  RyanGlScottComment typos: Mkae -> Make, Hsakell -> Haskell
2016-04-30  RyanGlScottFix reference to Note in TcCanonical
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-26  Bartosz NitkaKill varSetElems in markNominal
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Bartosz NitkaGet rid of varSetElemsWellScoped in abstractFloats
2016-04-22  Bartosz NitkaRemove unused tyCoVarsOfTelescope
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-21  Bartosz NitkaRemove mysterious varSetElemsWellScoped in tidyFreeTyCoVars
2016-04-20  Bartosz NitkaPoint to note about FV eta-expansion performance
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Bartosz NitkaBuild a correct substitution in dataConInstPat
2016-04-20  Simon Peyton JonesReduce use of instances in hs-boot files
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-19  Simon Peyton JonesRefactor computing dependent type vars
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2016-04-15  Simon Peyton JonesComments only, on Type.topSortTyVars
2016-04-15  Richard EisenbergIncrease an InScopeSet for a substitution
2016-04-12  Richard EisenbergFix #11814 by throwing more stuff into InScopeSets
2016-04-10  Herbert Valerio... Reduce default for -fmax-pmcheck-iterations from 1e7...
2016-03-30  Simon Peyton JonesComments only in Unify.hs
2016-03-30  Bartosz NitkaDon't recompute some free vars in lintCoercion
2016-03-30  Gabor GreifTypos in non-code
2016-03-29  Bartosz NitkaUse the correct substitution in lintCoercion
2016-03-26  Richard EisenbergClarify Note [Kind coercions in Unify]
2016-03-26  Richard EisenbergFix #11754 by adding an additional check.
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-03-24  Simon Peyton JonesComments only
2016-03-24  Ben GamariDefault RuntimeRep variables unless -fprint-explicit...
2016-03-23  Simon Peyton JonesMove applyTysX near piResultTys
2016-03-23  Simon Peyton JonesComment fix
2016-03-21  Bartosz NitkaUse the correct in-scope set in coercionKind
2016-03-21  Richard EisenbergImprove panicking output
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2016-03-21  Richard EisenbergAdd two small optimizations. (#11196)
2016-03-21  Richard EisenbergFix exponential algorithm in pure unifier.
2016-03-21  Bartosz NitkaRemove unused substTyWithBinders functions
2016-03-21  Bartosz NitkaRemove unnecessary Ord instance for ConLike
2016-03-21  Bartosz NitkaDelete a misleading comment in TyCon
2016-03-15  Richard EisenbergExpand Note [Non-trivial definitional equality]
2016-03-15  Richard EisenbergFix #11334.
2016-03-15  Richard EisenbergFix #11407.
2016-03-02  Simon Peyton JonesUse tyConArity rather than (length tvs)
2016-03-02  Simon Peyton JonesFix an outright bug in expandTypeSynonyms
2016-02-25  Ben GamaricmpTypeX: Avoid kind comparison when possible
2016-02-25  Ben GamariTyCoRep: Add haddock sections
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergFix #11313.
2016-02-17  Richard EisenbergFix #11246.
2016-02-17  Richard EisenbergUse CoercionN and friends in TyCoRep
2016-02-17  Richard EisenbergAdd missing kind cast to pure unifier.
2016-02-17  Simon Peyton JonesSimplify the defn of coreViewOneStarKind
2016-02-16  Rik SteenkampFix typos
2016-02-15  Simon Peyton JonesTiny refactor; use guards instead of 'if'
2016-02-12  Bartosz NitkaRevert "Build the substitution correctly in piResultTy"
2016-02-11  Bartosz NitkaBuild the substitution correctly in piResultTy
2016-02-09  Ben GamariPrint * has Unicode star with -fprint-unicode-syntax
2016-02-08  Simon Peyton JonesDefine tyConRolesRepresentational and use it
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-02-02  Ömer Sinan AğacanTyCoRep: Implement some helpers for dropping/checking...
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergFix some substitution InScopeSets
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-27  Bartosz NitkaFix a typo in the note name in comments
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-26  Bartosz NitkaPass InScopeSet to substTy in lintTyApp
2016-01-26  Simon Peyton JonesFix two cloning-related bugs
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
next