summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcCanonical.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-2542/+0
* Modules: Types (#13009)Sylvain Henry2020-03-291-8/+8
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-177/+174
* Modules: Core (#13009)Sylvain Henry2020-03-161-9/+9
* Refactoring in TcSMonadSimon Peyton Jones2020-03-141-4/+8
* Modules: Core (#13009)Sylvain Henry2020-02-261-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* De-duplicate overlapping NotesSimon Peyton Jones2020-02-141-30/+2
* Do not create nested quantified constraintsRichard Eisenberg2020-02-111-19/+95
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-251-0/+2
* Add missing Note [Improvement from Ground Wanteds]Ben Gamari2020-01-201-0/+13
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-6/+6
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-17/+20
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-5/+7
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-5/+7
* Mark newtype constructors as used in the Coercible solver (#10347)Ryan Scott2019-10-081-3/+13
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-0/+2
* Fix two places that failed the substitution invariantSimon Peyton Jones2019-06-191-1/+1
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-4/+2
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-27/+17
* Preserve ShadowInfo when rewriting evidenceSimon Peyton Jones2019-06-071-3/+9
* Fix assertion failures reported in #16533Krzysztof Gogolewski2019-04-141-1/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-14/+14
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-8/+7
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-10/+11
* Fix #16188Richard Eisenberg2019-02-121-14/+26
* Stomp a few typos and grammarosGabor Greif2018-12-171-1/+1
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-8/+8
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+1
* Don't print out undefined coercionsSimon Peyton Jones2018-10-241-1/+2
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-34/+22
* Coercion Quantificationningning2018-09-151-2/+2
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-10/+64
* Delete duplicated comment lineSimon Peyton Jones2018-09-131-1/+0
* canCFunEqCan: use isTcReflexiveCo (not isTcReflCo)Simon Peyton Jones2018-09-031-4/+16
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-2/+2
* Stop marking soluble ~R# constraints as insolubleSimon Peyton Jones2018-07-231-15/+24
* Refactor coercion ruleningning2018-07-091-9/+12
* Instances in no-evidence implicationsSimon Peyton Jones2018-06-221-0/+9
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-88/+328
* Use dischargeFunEq consistentlySimon Peyton Jones2018-05-231-22/+14
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-26/+3
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-1/+1
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-112/+222
* Fix isDroppableCt (Trac #14763)Simon Peyton Jones2018-02-081-5/+10
* Fix solveOneFromTheOther for RecursiveSuperclassesSimon Peyton Jones2018-02-071-10/+33
* Experiment with eliminating the younger tyvarSimon Peyton Jones2018-02-011-13/+0
View Lorry Controller Status