Make a smart mkAppTyM
[ghc.git] / compiler / typecheck / FamInst.hs
2019-01-23  Gabor GreifA few typofixes
2018-12-21  Simon Peyton JonesFix treatment of hi-boot files and dfuns
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-01  Richard EisenbergDon't lint erroneous programs.
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Ryan ScottFix #12430 by expanding type synonyms in injTyVarsOfType
2018-10-01  Ryan ScottFix #15637 by using VTA more in GND
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-04-27  Simon Peyton JonesBetter linting for types
2018-04-27  Simon Peyton JonesRefactor tcExtendLocalFamInst a bit
2018-04-20  Ryan ScottLint types in newFamInst
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
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-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-07-20  Edward Z. YangMake IfaceAxiom typechecking lazier.
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-31  Bartosz NitkaFaster checkFamInstConsistency
2017-02-14  Reid BartonCheck local type family instances against all imported...
2017-02-06  Reid BartonDon't replace type family instances with the same LHS...
2017-01-23  Bartosz NitkaMake checkFamInstConsistency faster
2016-12-18  Edward Z. YangFix Haddock comment typo.
2016-12-18  Edward Z. YangCheck family instance consistency of hs-boot families...
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps
2016-10-18  Edward Z. YangTrack dep_finsts in exports hash, as it affects downstr...
2016-06-28  Simon Peyton JonesDeal correctly with unused imports for 'coerce'
2016-06-23  Simon Peyton JonesGive lookupGRE_Name a better API
2016-06-22  Bartosz NitkaMake the Ord Module independent of Unique order (2nd...
2016-06-21  Bartosz NitkaMake checkFamInstConsistency less expensive
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-06  Bartosz NitkaUse UniqDFM for HomePackageTable
2016-05-24  Simon Peyton JonesSpelling in comment
2016-05-19  Simon Peyton JonesComments only
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-04-22  Bartosz NitkaMake benign non-determinism in pretty-printing more...
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2016-02-15  Simon Peyton JonesA tiny, outright bug in tcDataFamInstDecl
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergRe-polish error messages around injective TFs.
2015-09-19  Richard EisenbergPolish some error messages.
2015-09-11  Jan StolarekCode movement
2015-09-11  Jan StolarekDead code removal, export cleanup
2015-09-11  Jan StolarekRemove redundant language extensions
2015-09-11  Jan StolarekAdd assertions
2015-09-03  Jan StolarekInjective type families
2015-07-22  Edward Z. YangGive more informative panic for checkFamInstConsistency.
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-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-17  Simon Peyton JonesFix GHCi/GHC-API tidying and modules (Trac #9424, ...
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/