summaryrefslogtreecommitdiff
path: root/compiler/types/FamInstEnv.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactoring onlySimon Peyton Jones2015-12-241-39/+53
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-123/+388
* Comments onlySimon Peyton Jones2015-12-091-5/+4
* Fix egregious error in eta-reduction of data familiesSimon Peyton Jones2015-12-041-10/+50
* Refactor BranchLists.Richard Eisenberg2015-09-211-19/+15
* Code movementJan Stolarek2015-09-121-71/+1
* Injective type familiesJan Stolarek2015-09-031-36/+299
* Fix #10713.Richard Eisenberg2015-08-041-1/+3
* Typo in commentGabor Greif2015-08-021-1/+1
* Typos in commentsGabor Greif2015-08-011-1/+1
* Allow recursive unwrapping of data familiesSimon Peyton Jones2015-06-261-9/+8
* Use a Representaional coercion for data familiesSimon Peyton Jones2015-06-261-3/+8
* Spelling in commentsGabor Greif2015-06-191-1/+1
* Fix #10488 by unwrapping type synonyms.Richard Eisenberg2015-06-051-1/+3
* Permit empty closed type familiesAdam Gundry2015-05-041-1/+1
* Comments onlySimon Peyton Jones2015-03-041-11/+14
* Don't use deriveUnique *twice* in flattenTys.Richard Eisenberg2015-03-031-4/+23
* Improve comments on coreView/tcView, and combine coreExpandTyCon/tcExpandTyConSimon Peyton Jones2015-03-021-1/+1
* Fix GHCi/GHC-API tidying and modules (Trac #9424, #9426)Simon Peyton Jones2014-12-171-5/+5
* reduceTyFamApp_maybe should *not* normalise arguments first.Richard Eisenberg2014-12-131-24/+21
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-44/+27
* unlit compiler/types/ modulesHerbert Valerio Riedel2014-12-011-0/+1090