summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcInteract.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-2700/+0
* Modules: Types (#13009)Sylvain Henry2020-03-291-7/+7
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-8/+11
* Modules: Core (#13009)Sylvain Henry2020-03-161-12/+12
* Modules: Core (#13009)Sylvain Henry2020-02-261-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Do not create nested quantified constraintsRichard Eisenberg2020-02-111-5/+9
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+3
* Minor refactor around quantified constraintsSimon Peyton Jones2020-01-121-12/+20
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-7/+7
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-2/+2
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-34/+98
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-4/+10
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-121-3/+2
* Fix scoping of implicit parametersSimon Peyton Jones2019-09-131-3/+7
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-19/+19
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-2/+2
* Fix unused-import warningsDavid Eichmann2018-11-221-2/+2
* Improve comments, triggered by Trac #15135Simon Peyton Jones2018-10-251-13/+1
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-3/+41
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-2/+7
* tc-tracing onlySimon Peyton Jones2018-07-251-1/+2
* Fix and document cloneWCSimon Peyton Jones2018-07-251-2/+2
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-051-577/+57
* Add comments on Typeable (n :: Nat)Simon Peyton Jones2018-07-041-2/+23
* Refactor try_solve_fromInstance in shortCutSolverSimon Peyton Jones2018-06-221-15/+15
* Instances in no-evidence implicationsSimon Peyton Jones2018-06-221-10/+36
* Remove duplicate quantified constraintsSimon Peyton Jones2018-06-111-3/+33
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-155/+222
* Use dischargeFunEq consistentlySimon Peyton Jones2018-05-231-38/+11
* Make dischargeFmv handle DerivedsSimon Peyton Jones2018-05-211-8/+2
* Do better sharing in the short-cut solverSimon Peyton Jones2018-05-211-59/+100
* Do not unify representational equalitiesSimon Peyton Jones2018-05-181-2/+18
* Comments onlySimon Peyton Jones2018-05-181-2/+2
* TcInteract: Ensure that tycons have representations before solving for TypeableBen Gamari2018-05-131-0/+3
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-4/+18
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-40/+11
* Fix isDroppableCt (Trac #14763)Simon Peyton Jones2018-02-081-2/+3
* Fix solveOneFromTheOther for RecursiveSuperclassesSimon Peyton Jones2018-02-071-16/+31
* More tc-tracingSimon Peyton Jones2018-01-311-2/+9
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-32/+86
* Refactor coercion holesSimon Peyton Jones2017-12-211-3/+3
* Simplify HsPatSynDetailsSimon Peyton Jones2017-12-211-1/+2
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Fix another dark corner in the shortcut solverSimon Peyton Jones2017-11-081-34/+51
* Catch a few more typos in commentsGabor Greif2017-10-301-2/+2
* Improve kick-out in the constraint solverSimon Peyton Jones2017-10-201-8/+10
* Better solving for representational equalitiesSimon Peyton Jones2017-10-181-78/+179
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-111-12/+13
View Lorry Controller Status