Remove old coercion pretty-printer
[ghc.git] / compiler / types / TyCoRep.hs
2017-07-27  Richard EisenbergRemove old coercion pretty-printer
2017-07-27  Richard EisenbergDon't tidy vars when dumping a type
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-06-29  Ryan ScottTypos in comments
2017-06-18  Ryan ScottFix out-of-date comments in TyCoRep
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-03  Richard EisenbergUse mkCastTy in subst_ty.
2017-03-29  Simon Peyton JonesAllow unbound Refl binders in a RULE
2017-03-14  Gabor GreifTypos in manual and comments
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-01-26  Gabor GreifPrune unneeded Derive* language pragmas
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-16  Simon Peyton JonesComments about TyBinders (only)
2016-12-21  Simon Peyton JonesMove typeSize/coercionSize into TyCoRep
2016-12-13  John Leoprint * in unicode correctly (fixes #12550)
2016-11-28  Gabor GreifTypos in comments only [ci skip]
2016-11-25  Simon Peyton JonesImprove pretty-printing of types
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-28  Simon Peyton JonesClarify comments on kinds (Trac #12536)
2016-10-21  Gabor GreifTypos in comments
2016-10-17  Simon Peyton JonesFix comment typo
2016-10-08  Matthew PickeringRework renaming of children in export lists.
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-15  Simon Peyton JonesComments only
2016-09-15  Ben GamariUnify CallStack handling in ghc
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-14  Joachim BreitnertidyOccNames: Rename variables fairly
2016-07-13  Joachim BreitnertidyType: Rename variables of nested forall at once
2016-07-05  Bartosz NitkaKill some varEnvElts
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-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesFix the in-scope set for extendTvSubstWithClone
2016-06-10  Simon Peyton JonesComments only
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-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-04-30  RyanGlScottComment typos: Mkae -> Make, Hsakell -> Haskell
2016-04-26  Bartosz NitkaKill varSetElems in markNominal
2016-04-22  Bartosz NitkaGet rid of varSetElemsWellScoped in abstractFloats
2016-04-22  Bartosz NitkaRemove unused tyCoVarsOfTelescope
2016-04-21  Bartosz NitkaRemove mysterious varSetElemsWellScoped in tidyFreeTyCoVars
2016-04-20  Bartosz NitkaPoint to note about FV eta-expansion performance
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Simon Peyton JonesReduce use of instances in hs-boot files
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2016-03-30  Bartosz NitkaDon't recompute some free vars in lintCoercion
2016-03-30  Gabor GreifTypos in non-code
2016-03-29  Bartosz NitkaUse the correct substitution in lintCoercion
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-03-24  Ben GamariDefault RuntimeRep variables unless -fprint-explicit...
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.
next