summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcEvidence.hs
Commit message (Expand)AuthorAgeFilesLines
...
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-25/+13
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-20/+20
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-4/+0
* Visible type applicationRichard Eisenberg2015-12-241-9/+44
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-60/+59
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-521/+142
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-11/+18
* Implement OverloadedLabelsAdam Gundry2015-11-171-3/+6
* Make type-class dictionary let binds deterministicBartosz Nitka2015-10-301-7/+25
* Generate Typeable info at definition sitesBen Gamari2015-10-301-27/+42
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-42/+27
* Generate Typeable info at definition sitesBen Gamari2015-10-291-27/+42
* Injective type familiesJan Stolarek2015-09-031-2/+2
* Use a Representaional coercion for data familiesSimon Peyton Jones2015-06-261-5/+12
* Change `Typeable` instance for type-lis to use the Known* classes.Iavor S. Diatchki2015-06-211-3/+3
* Demonstrate that inferring Typeable for type literals worksGabor Greif2015-06-151-1/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-14/+1
* Revert multiple commitsAustin Seipp2015-05-141-1/+14
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-14/+1
* Fix superclass generation in an instanceSimon Peyton Jones2015-04-221-5/+17
* Make the evidence in a CtGiven into an EvIdSimon Peyton Jones2015-04-091-15/+15
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-1/+1
* Remove unused parameter to `EvTypeableTyCon`Iavor S. Diatchki2015-03-191-4/+3
* Custom `Typeable` solver, that keeps track of kinds.Iavor S. Diatchki2015-03-071-0/+35
* Re-export `<$>` from Prelude (#10113)Herbert Valerio Riedel2015-03-071-1/+1
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* Expose source locations via Implicit Parameters of type GHC.Location.LocationEric Seidel2015-01-191-3/+171
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-11/+31
* Add a couple of missing cases to isTcReflCo and isTcReflCo_maybeSimon Peyton Jones2014-12-231-4/+6
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-24/+137
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+793
View Lorry Controller Status