summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcInteract.hs
Commit message (Expand)AuthorAgeFilesLines
* Be a bit more selective about improvementSimon Peyton Jones2016-11-251-6/+19
* Refactor functional dependencies a bitSimon Peyton Jones2016-11-251-69/+72
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-331/+446
* A few typos in commentsGabor Greif2016-11-211-1/+1
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Define emitNewWantedEq, and use itSimon Peyton Jones2016-10-211-9/+6
* Orient improvement constraints betterSimon Peyton Jones2016-10-101-22/+56
* Fix a bug in occurs checkingSimon Peyton Jones2016-09-301-43/+23
* Comments and manual only: spellingGabor Greif2016-09-281-1/+1
* TcInteract: Add braces to matchClassInst trace outputBen Gamari2016-07-201-2/+2
* Very confusing typo in error message.Richard Eisenberg2016-06-231-1/+1
* Expand given superclasses more eagerlySimon Peyton Jones2016-06-221-4/+6
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-6/+7
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-2/+2
* Make inert_model and inert_eqs deterministic setsBartosz Nitka2016-05-181-1/+1
* Kill varSetElems in injImproveEqnsBartosz Nitka2016-04-281-5/+10
* Warn about simplifiable class constraintsSimon Peyton Jones2016-04-221-1/+14
* Kill some unnecessary varSetElemsBartosz Nitka2016-04-151-1/+1
* Don't infer CallStacksEric Seidel2016-04-041-1/+1
* Fix #11401.Richard Eisenberg2016-03-141-24/+16
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-1/+1
* Improve tracing in TcInteractSimon Peyton Jones2016-02-081-7/+10
* Default non-canonical CallStack constraintsEric Seidel2016-01-221-1/+1
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-191-2/+2
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-27/+26
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-181-3/+3
* Fix a number of subtle solver bugsSimon Peyton Jones2016-01-161-19/+30
* Typos in docs and commentsGabor Greif2016-01-071-1/+1
* Note [The equality types story] in TysPrimRichard Eisenberg2015-12-161-0/+2
* Expose enabled language extensions to THBen Gamari2015-12-151-1/+2
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-12/+6
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-41/+36
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-119/+172
* Comments onlySimon Peyton Jones2015-11-181-2/+3
* Generate Typeable info at definition sitesBen Gamari2015-10-301-190/+250
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-250/+190
* Generate Typeable info at definition sitesBen Gamari2015-10-291-190/+250
* Refactor BranchLists.Richard Eisenberg2015-09-211-2/+2
* A CFunEqCan can be DerivedSimon Peyton Jones2015-09-111-4/+14
* Injective type familiesJan Stolarek2015-09-031-86/+232
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-4/+4
* Typos in commentsGabor Greif2015-07-311-1/+1
* Comments only (superclasses and improvement)Simon Peyton Jones2015-07-211-43/+0
* Better tracing and tiny refactoringSimon Peyton Jones2015-06-261-11/+18
* Change `Typeable` instance for type-lis to use the Known* classes.Iavor S. Diatchki2015-06-211-5/+13
* Decompose wanted repr. eqs. when no matchable givens.Richard Eisenberg2015-06-161-33/+4
* Remove derived CFunEqCans after solving givensSimon Peyton Jones2015-06-151-2/+3
* Another major improvement of "improvement"Simon Peyton Jones2015-06-111-526/+115
* Re-do superclass solving (again); fixes #10423Simon Peyton Jones2015-06-021-33/+84
* Make the "matchable-given" check happen firstSimon Peyton Jones2015-05-181-53/+60
View Lorry Controller Status