Comments only, about inl_inline and inl_act
[ghc.git] / compiler / types /
2017-02-15  Gabor GreifTypos [ci skip]
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-02-08  Takenobu TaniFix comment (broken link to users_guide) in $(TOP)/
2017-02-06  Gabor GreifTypos in comments [skip ci]
2017-02-06  Reid BartonDon't replace type family instances with the same LHS...
2017-02-03  Sylvain HenryDitch static flags
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-26  Gabor GreifPrune unneeded Derive* language pragmas
2017-01-25  Gabor GreifTypos in comments [ci skip]
2017-01-23  Bartosz NitkaMake checkFamInstConsistency faster
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-16  Simon Peyton JonesComments about TyBinders (only)
2017-01-11  Edward Z. YangFix handling of closed type families in Backpack.
2017-01-06  Simon Peyton JonesFix the implementation of the "push rules"
2017-01-06  Simon Peyton JonesAvoid exponential blowup in FamInstEnv.normaliseType
2016-12-21  Simon Peyton JonesMove typeSize/coercionSize into TyCoRep
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-12-13  John Leoprint * in unicode correctly (fixes #12550)
2016-12-05  Simon Peyton JonesUse isFamFreeTyCon now we have it
2016-11-30  Simon Peyton JonesRename RuntimeRepPolymorphism to LevityPolymorphism
2016-11-28  Gabor GreifTypos in comments only [ci skip]
2016-11-25  Simon Peyton JonesRefactor functional dependencies a bit
2016-11-25  Simon Peyton JonesImprove pretty-printing of types
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-24  Dominik BollmannMake quoting and reification return the same types
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps
2016-10-28  Simon Peyton JonesClarify comments on kinds (Trac #12536)
2016-10-27  Simon Peyton JonesFix typo in comment
2016-10-27  Simon Peyton JonesAllow levity-polymorpic arrows
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Gabor GreifTypos in comments
2016-10-20  Edward Z. YangOnly delete instances when merging when there is an...
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-17  Simon Peyton JonesFix comment typo
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-09-30  Gabor GreifCorrect spelling in note references
2016-09-30  Simon Peyton JonesComments only
2016-09-26  Simon Peyton JonesPrint foralls in user format
2016-09-23  Richard EisenbergFix #12442.
2016-09-15  Simon Peyton JonesComments only
2016-09-15  Ben GamariUnify CallStack handling in ghc
2016-08-16  Edward Z. YangMinor typofix.
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-20  Ben GamariInstEnv: Ensure that instance visibility check is lazy
2016-07-18  Ryan ScottFix misspellings of the word "instance" in comments
2016-07-14  Joachim BreitnertidyOccNames: Rename variables fairly
2016-07-13  Joachim BreitnertidyType: Rename variables of nested forall at once
2016-07-08  Bartosz NitkaUse UniqDFM for InstEnv
2016-07-07  Bartosz NitkaAdd Note [FamInstEnv determinism]
2016-07-07  Bartosz NitkaUse deterministic maps for FamInstEnv
2016-07-05  Simon Peyton JonesCheck generic-default method for ambiguity
2016-07-05  Bartosz NitkaKill some varEnvElts
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-28  Simon Peyton JonesDeal correctly with unused imports for 'coerce'
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 JonesRemove bogus comment on ForAllTy
2016-06-24  Simon Peyton JonesComments around invisibility
2016-06-23  Bartosz NitkaRemove Ord TyCon
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
2016-06-22  Gabor GreifMore typos in comments [skip ci]
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-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
next