summaryrefslogtreecommitdiff
path: root/compiler/typecheck/FamInst.hs
Commit message (Expand)AuthorAgeFilesLines
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+1
* Remove bogus assertionSimon Peyton Jones2019-02-231-1/+3
* A few typofixesGabor Greif2019-01-231-1/+1
* Fix treatment of hi-boot files and dfunsSimon Peyton Jones2018-12-211-37/+41
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-2/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-26/+18
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-5/+4
* Don't lint erroneous programs.Richard Eisenberg2018-11-011-2/+5
* Finish fix for #14880.Tobias Dammers2018-10-281-2/+8
* Fix #12430 by expanding type synonyms in injTyVarsOfTypeRyan Scott2018-10-151-0/+3
* Fix #15637 by using VTA more in GNDRyan Scott2018-10-011-4/+8
* Remove the type-checking knot.Richard Eisenberg2018-08-011-1/+1
* vectorise: Put it out of its miseryBen Gamari2018-06-021-1/+0
* Better linting for typesSimon Peyton Jones2018-04-271-2/+2
* Refactor tcExtendLocalFamInst a bitSimon Peyton Jones2018-04-271-28/+45
* Lint types in newFamInstRyan Scott2018-04-191-2/+14
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Make use of boot TyThings during typechecking.Edward Z. Yang2017-11-301-62/+16
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-141-2/+2
* Make IfaceAxiom typechecking lazier.Edward Z. Yang2017-07-201-11/+58
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Faster checkFamInstConsistencyBartosz Nitka2017-05-311-86/+126
* Check local type family instances against all imported onesReid Barton2017-02-141-10/+148
* Don't replace type family instances with the same LHS in GHCi (#7102)Reid Barton2017-02-051-13/+8
* Make checkFamInstConsistency fasterBartosz Nitka2017-01-231-2/+11
* Fix Haddock comment typo.Edward Z. Yang2016-12-181-1/+1
* Check family instance consistency of hs-boot families later, fixes #11062.Edward Z. Yang2016-12-171-6/+67
* Take account of injectivity when doing fundepsSimon Peyton Jones2016-11-041-29/+33
* Track dep_finsts in exports hash, as it affects downstream deps.Edward Z. Yang2016-10-171-1/+12
* Deal correctly with unused imports for 'coerce'Simon Peyton Jones2016-06-281-15/+21
* Give lookupGRE_Name a better APISimon Peyton Jones2016-06-231-1/+1
* Make the Ord Module independent of Unique order (2nd try)Bartosz Nitka2016-06-221-3/+32
* Make checkFamInstConsistency less expensiveBartosz Nitka2016-06-211-17/+15
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-2/+2
* Use UniqDFM for HomePackageTableBartosz Nitka2016-06-061-2/+1
* Spelling in commentSimon Peyton Jones2016-05-241-1/+1
* Comments onlySimon Peyton Jones2016-05-191-0/+3
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-121-1/+1
* Make benign non-determinism in pretty-printing more obviousBartosz Nitka2016-04-221-2/+2
* Define TyCoRep.ppSuggestExplicitKinds, and use itSimon Peyton Jones2016-04-191-4/+1
* A tiny, outright bug in tcDataFamInstDeclSimon Peyton Jones2016-02-151-1/+8
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-2/+1
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-5/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-65/+55
* Get rid of tcView altogetherÖmer Sinan Ağacan2015-12-071-1/+1
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-5/+7
* Refactor BranchLists.Richard Eisenberg2015-09-211-6/+7
* Re-polish error messages around injective TFs.Richard Eisenberg2015-09-201-20/+21
* Polish some error messages.Richard Eisenberg2015-09-191-3/+3
View Lorry Controller Status