users-guide: Drop 8.6.1 release notes
[ghc.git] / compiler / types / FamInstEnv.hs
6 days ago  Richard EisenbergFix #17405 by not checking imported equations
2019-10-23  Ben GamariMerge non-moving garbage collector
2019-10-23  Richard EisenbergImplement a coverage checker for injectivity
2019-10-07  Ryan ScottOnly flatten up to type family arity in coreFlattenTyFa...
2019-06-12  Krzysztof GogolewskiUse DeriveFunctor throughout the codebase (#15654)
2019-05-28  Richard EisenbergImprove comments around injectivity checks
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-08  Richard EisenbergFix #14729 by making the normaliser homogeneous
2019-01-04  Richard EisenbergFix some typos, etc., in comments.
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  Ryan ScottFix #15852 by eta expanding data family instance RHSes...
2018-11-08  Ryan ScottFix #15845 by defining etaExpandFamInstLHS and using it
2018-11-02  mniipMove eta-reduced coaxiom compatibility handling quirks...
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-08-31  Richard EisenbergMinor improvements to comments [skip ci]
2018-08-23  Simon Peyton JonesComments only
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-07-10  ningningRefactor coercion rule
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-05-05  klebinger.andreas... Split TrieMap into a general (TrieMap) and core specifi...
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-03-26  Alexander ViethFix performance of flattener patch (#12919)
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
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-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-22  Ryan ScottFix #14125 by normalizing data family instances more...
2017-08-12  Ryan ScottChange isClosedAlgType to be TYPE-aware, and rename...
2017-07-31  Richard EisenbergClarify comment about data family arities
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-05-12  Gabor GreifTypos [ci skip]
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
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-02  George KarachaliasExhaustiveness check for EmptyCase (Trac #10746)
2017-01-23  Bartosz NitkaMake checkFamInstConsistency faster
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-06  Simon Peyton JonesAvoid exponential blowup in FamInstEnv.normaliseType
2016-07-07  Bartosz NitkaAdd Note [FamInstEnv determinism]
2016-07-07  Bartosz NitkaUse deterministic maps for FamInstEnv
2016-06-28  Simon Peyton JonesDeal correctly with unused imports for 'coerce'
2016-06-22  Gabor GreifMore typos in comments [skip ci]
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-04-15  Richard EisenbergIncrease an InScopeSet for a substitution
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Simon Peyton JonesComments only
2015-12-04  Simon Peyton JonesFix egregious error in eta-reduction of data families
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-11  Jan StolarekCode movement
2015-09-03  Jan StolarekInjective type families
2015-08-04  Richard EisenbergFix #10713.
2015-08-02  Gabor GreifTypo in comment
2015-08-01  Gabor GreifTypos in comments
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesAllow recursive unwrapping of data families
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-19  Gabor GreifSpelling in comments
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-05  Richard EisenbergFix #10488 by unwrapping type synonyms.
2015-05-04  Adam GundryPermit empty closed type families
2015-03-04  Simon Peyton JonesComments only
2015-03-03  Richard EisenbergDon't use deriveUnique *twice* in flattenTys.
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2014-12-17  Simon Peyton JonesFix GHCi/GHC-API tidying and modules (Trac #9424, ...
2014-12-13  Richard EisenbergreduceTyFamApp_maybe should *not* normalise arguments...
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-01  Herbert Valerio... unlit compiler/types/ modules