Track specified/invisible more carefully.
[ghc.git] / compiler / types / TyCoRep.hs
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2016-03-21  Bartosz NitkaRemove unused substTyWithBinders functions
2016-03-21  Bartosz NitkaRemove unnecessary Ord instance for ConLike
2016-03-15  Richard EisenbergExpand Note [Non-trivial definitional equality]
2016-03-15  Richard EisenbergFix #11334.
2016-03-15  Richard EisenbergFix #11407.
2016-02-25  Ben GamariTyCoRep: Add haddock sections
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergUse CoercionN and friends in TyCoRep
2016-02-16  Rik SteenkampFix typos
2016-02-09  Ben GamariPrint * has Unicode star with -fprint-unicode-syntax
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
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  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
2016-01-21  Ben GamariTyCoRep: Restore compatibility with 7.10.1
2016-01-21  Simon Peyton JonesAdd comments about tyCoVarsOfType
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  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2015-12-26  Richard EisenbergNote [TyBinder] in TyCoRep
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-22  Richard EisenbergCoercionN is not in scope in TyCoRep
2015-12-22  Richard EisenbergTweak comments around UnivCos.
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-22  Simon Peyton JonesComments only, about coercion holes
2015-12-16  Jan StolarekLook through type synonyms in GADT kind signatures
2015-12-11  Richard EisenbergAdd kind equalities to GHC.