summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcCanonical.lhs
Commit message (Expand)AuthorAgeFilesLines
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-2/+2
* Switch off lazy flattening (fix Trac #3064)Simon Peyton Jones2014-11-061-1/+3
* Simon's major commit to re-engineer the constraint solverSimon Peyton Jones2014-11-041-657/+278
* Comments onlySimon Peyton Jones2014-07-311-0/+3
* Use mkTcEqPred rather than mkEqPred in the type checkerSimon Peyton Jones2014-05-281-1/+1
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Typos in commentsGabor Greif2014-04-131-1/+1
* Fix egregious blunder in the type flattenerSimon Peyton Jones2014-04-101-5/+20
* Typos in commentsGabor Greif2014-03-251-1/+1
* Flattener preserves synonyms, rewriteEvidence can drop buggy "optimisation"Simon Peyton Jones2014-03-241-9/+14
* Debug tracing onlySimon Peyton Jones2014-03-241-2/+4
* For equalities with incompatible kinds, new IrredCan goes in the inert set, n...Simon Peyton Jones2014-03-241-25/+16
* Add some more traceTcS callsSimon Peyton Jones2014-02-181-3/+7
* Further refine the test for 'given' equalitiesSimon Peyton Jones2014-01-091-4/+4
* Improve the equality-floating story (again), to fix Trac #8644Simon Peyton Jones2014-01-031-34/+47
* Re-factor TcCanonical (again), fixes Trac #8603Simon Peyton Jones2013-12-281-305/+360
* Do not generate given kind-equalities (fix Trac #8566)Simon Peyton Jones2013-12-101-17/+17
* Handle Coercible (forall a. t) (forall a. t2) in TcInteractJoachim Breitner2013-12-021-17/+1
* Refactor deferTcSForAllEq: Do not bind, but return EvTermJoachim Breitner2013-12-021-2/+4
* Update Notes for CoercibleJoachim Breitner2013-11-291-0/+1
* Remove whitespace between macro identifiers and `(`Herbert Valerio Riedel2013-11-291-1/+1
* EvCast needs to take a representational coercionJoachim Breitner2013-11-281-1/+1
* Coercible for impredicative typesJoachim Breitner2013-11-271-2/+16
* Roleify TcCoercionJoachim Breitner2013-11-271-13/+15
* Large refactor: Move CtLoc field from Ct to CtEvidenceJoachim Breitner2013-11-221-162/+151
* Fix type-equality in the type checker (fixes Trac #8553)Simon Peyton Jones2013-11-221-8/+8
* Better constraint-solver tracingSimon Peyton Jones2013-11-221-2/+5
* Fix typo in a836b6, 'Improve orientation'Simon Peyton Jones2013-11-181-2/+2
* Fix canIrredPred againSimon Peyton Jones2013-11-151-11/+24
* Improve orientationSimon Peyton Jones2013-11-151-6/+9
* Fix a subtle bug in kind-mis-matched equalities (Trac #6068)Simon Peyton Jones2013-11-151-13/+12
* Untabify and whitespaceSimon Peyton Jones2013-11-061-216/+209
* Refactor the constraint solver (again!)Simon Peyton Jones2013-11-061-37/+33
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Fix the constraint simplifier (Trac #7967)Simon Peyton Jones2013-06-121-79/+95
* Eliminate (given) flatten-skolems in favour of user type variablesSimon Peyton Jones2013-05-031-2/+21
* This changes fixes a bad error in canonicalisation, concerning kind equalitySimon Peyton Jones2013-04-031-46/+65
* Treat equalities with incompatible kinds as "irreducible" constraintsSimon Peyton Jones2013-03-031-72/+78
* Add support for *named* holes; an extension of -XTypeHolesSimon Peyton Jones2013-01-301-5/+6
* A bit more tracingSimon Peyton Jones2012-12-241-4/+6
* Do not instantiate unification variables with polytypesSimon Peyton Jones2012-10-311-10/+11
* Comments and debug tracing onlySimon Peyton Jones2012-10-191-1/+1
* Move occurCheckExpand from TcCanonical to TcTypeSimon Peyton Jones2012-10-151-75/+1
* A few more constraint solver improvementsSimon Peyton Jones2012-10-021-36/+16
* Modest refactoring in TcCanonical (and TcSMonad)Simon Peyton Jones2012-10-011-24/+17
* Simplify the reOrient function (no change in behaviour)Simon Peyton Jones2012-10-011-9/+5
* Refactor the handling of kind errorsSimon Peyton Jones2012-09-281-41/+24
* Fiddling with kind errorsSimon Peyton Jones2012-09-211-31/+48
* Fix an outright bug in my "left/right" stuff,Simon Peyton Jones2012-09-201-84/+65
* Make sure that even insoluble constraints are fully substitutedSimon Peyton Jones2012-09-181-32/+53
View Lorry Controller Status