compiler: introduce custom "GhcPrelude" Prelude
[ghc.git] / compiler / types / Coercion.hs
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-12  Ryan ScottExpand type synonyms during role inference
2017-07-27  Richard EisenbergRemove old coercion pretty-printer
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-03-29  Simon Peyton JonesAdd a couple of HasDebugCallStack contexts
2017-03-29  Simon Peyton JonesAllow unbound Refl binders in a RULE
2017-02-28  Simon Peyton JonesMake Specialise work with casts
2017-02-26  Ben GamariCoercion: Try dropping constraintIsLifted axiom
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-06  Simon Peyton JonesFix the implementation of the "push rules"
2016-12-21  Simon Peyton JonesMove typeSize/coercionSize into TyCoRep
2016-06-28  Simon Peyton JonesDeal correctly with unused imports for 'coerce'
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-04-20  Bartosz NitkaRename FV related functions
2016-03-24  Simon Peyton JonesComments only
2016-03-21  Bartosz NitkaUse the correct in-scope set in coercionKind
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-02-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergUse CoercionN and friends in TyCoRep
2016-02-08  Simon Peyton JonesDefine tyConRolesRepresentational and use it
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-21  Simon Peyton JonesImprove pretty-printing of UnivCo
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-03  Jan StolarekInjective type families
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesAllow recursive unwrapping of data families
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-01  Simon Peyton JonesAdd some missing seqs to Coercion.seqCo
2015-04-24  Richard EisenbergFix #10285 by refusing to use NthCo on a newtype.
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-04-09  Simon Peyton JonesComments only
2015-03-07  Herbert Valerio... Re-export `<$>` from Prelude (#10113)
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-01  Herbert Valerio... unlit compiler/types/ modules