summaryrefslogtreecommitdiff
path: root/compiler/typecheck/FamInst.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Code movementJan Stolarek2015-09-121-1/+74
* Dead code removal, export cleanupJan Stolarek2015-09-121-3/+1
* Remove redundant language extensionsJan Stolarek2015-09-121-1/+1
* Add assertionsJan Stolarek2015-09-121-1/+2
* Injective type familiesJan Stolarek2015-09-031-22/+165
* Give more informative panic for checkFamInstConsistency.Edward Z. Yang2015-07-221-1/+3
* Allow recursive unwrapping of data familiesSimon Peyton Jones2015-06-261-18/+25
* Use a Representaional coercion for data familiesSimon Peyton Jones2015-06-261-0/+1
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-3/+3
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* Fix GHCi/GHC-API tidying and modules (Trac #9424, #9426)Simon Peyton Jones2014-12-171-6/+5
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-28/+65
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+365
View Lorry Controller Status