summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsBinds.hs
Commit message (Expand)AuthorAgeFilesLines
* Visible type applicationRichard Eisenberg2015-12-241-11/+19
* Allow CallStacks to be frozenEric Seidel2015-12-231-26/+8
* Expose enabled language extensions to THBen Gamari2015-12-151-3/+4
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-2/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-171/+40
* An assortment of typosGabor Greif2015-12-081-1/+1
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-3/+7
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-4/+4
* Implement the Strict language extensionAdam Sandberg Eriksson2015-11-141-48/+196
* Remove fun_infix from Funbind, as it is now in MatchAlan Zimmerman2015-11-111-3/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-301-142/+139
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-139/+142
* Generate Typeable info at definition sitesBen Gamari2015-10-291-142/+139
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-3/+3
* Move orphan instance/rule warnings to typechecker/desugarer.Edward Z. Yang2015-10-081-3/+14
* DsBinds: Avoid using String when desugaring CallStack constructionBen Gamari2015-09-231-2/+5
* base: use Show for ErrorCall in uncaughtExceptionHandlerEric Seidel2015-09-211-1/+1
* Do not complain about SPECIALISE for INLINESimon Peyton Jones2015-08-051-8/+17
* Define DsUtils.mkCastDs and use itSimon Peyton Jones2015-07-301-5/+5
* Deferred type errors now throw TypeError (#10284)David Kraeutmann2015-07-071-1/+1
* Change `Typeable` instance for type-lis to use the Known* classes.Iavor S. Diatchki2015-06-211-9/+16
* Filter orphan rules based on imports, fixes #10294 and #10420.Edward Z. Yang2015-06-201-1/+2
* Reduce magic for seqIdSimon Peyton Jones2015-05-221-6/+0
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-22/+3
* Revert multiple commitsAustin Seipp2015-05-141-3/+22
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-22/+3
* Fix superclass generation in an instanceSimon Peyton Jones2015-04-221-3/+4
* Fixes (hopefully!) T9858Iavor S. Diatchki2015-04-161-1/+5
* Make the evidence in a CtGiven into an EvIdSimon Peyton Jones2015-04-091-10/+4
* Do not quantify over the function itself in a RULESimon Peyton Jones2015-04-071-17/+26
* 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-1/+127
* Expose source locations via Implicit Parameters of type GHC.Location.LocationEric Seidel2015-01-191-4/+60
* Refactor handling of SPECIALISE pragmas (Trac #5821)Simon Peyton Jones2015-01-141-39/+3
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-10/+17
* Eliminate so-called "silent superclass parameters"Simon Peyton Jones2014-12-231-1/+1
* Add a provenance field to universal coercions.Iavor S. Diatchki2014-12-171-1/+1
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-3/+2
* compiler: de-lhs deSugar/Austin Seipp2014-12-031-0/+1018
View Lorry Controller Status