Revert "Make globals use sharedCAF"
[ghc.git] / compiler / types / FamInstEnv.hs
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