Comments about join point types
[ghc.git] / compiler / types / Type.hs
2018-01-03  Simon Peyton JonesComments about join point types
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-15  Simon Peyton JonesFix tcDataKindSig
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-11  Simon Peyton JonesDelete two unused functions
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesRefactor to eliminate FamTyConShape
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-08-31  Simon Peyton JonesSmall changes to ddump-tc tracing
2017-08-29  Simon Peyton JonesAdd HasDebugStack for typeKind
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-24  Simon Peyton JonesRemove typeKind from Type.hs-boot
2017-08-12  Ryan ScottChange isClosedAlgType to be TYPE-aware, and rename...
2017-08-02  Simon Peyton JonesGet the roles right for newtype instances
2017-07-28  Simon Peyton JonesAdd DebugCallStack to piResultTy
2017-07-27  Richard EisenbergRefactor tcInferApps.
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergRemove old coercion pretty-printer
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-03  Richard EisenbergUse mkCastTy in subst_ty.
2017-05-03  Richard EisenbergShave the hair off mkCastTy.
2017-04-13  Simon Peyton JonesComments only in Type.isPredTy
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-18  Ben GamariType-indexed Typeable
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-15  Gabor GreifTypos [ci skip]
2017-02-02  George KarachaliasExhaustiveness check for EmptyCase (Trac #10746)
2017-02-01  Luke MaurerJoin points
2017-01-28  Ryan ScottConvert pprTrace in isPredTy to a WARN
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-21  Simon Peyton JonesMove typeSize/coercionSize into TyCoRep
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-06-25  Richard EisenbergRefactor tcInferArgs and add comments.
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-24  Simon Peyton JonesComments around invisibility
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
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-10  Simon Peyton JonesComments only
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  Simon Peyton JonesRemove unused Type.splitFunTysN
2016-05-12  RyanGlScottFix deriveTyData's kind unification when two kind varia...
2016-05-10  Bartosz NitkaMake simplifyInstanceContexts deterministic
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Bartosz NitkaGet rid of varSetElemsWellScoped in abstractFloats
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Bartosz NitkaBuild a correct substitution in dataConInstPat
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-12  Richard EisenbergFix #11814 by throwing more stuff into InScopeSets
2016-03-30  Bartosz NitkaDon't recompute some free vars in lintCoercion
2016-03-29  Bartosz NitkaUse the correct substitution in lintCoercion
2016-03-23  Simon Peyton JonesMove applyTysX near piResultTys
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 EisenbergAdd two small optimizations. (#11196)
2016-03-21  Bartosz NitkaRemove unused substTyWithBinders functions
2016-03-15  Richard EisenbergFix #11407.
2016-03-02  Simon Peyton JonesFix an outright bug in expandTypeSynonyms
2016-02-25  Ben GamaricmpTypeX: Avoid kind comparison when possible
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  Simon Peyton JonesSimplify the defn of coreViewOneStarKind
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-08  Simon Peyton JonesAllow foralls in instance decls
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  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
next