summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcEvidence.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1026/+0
* Modules: Types (#13009)Sylvain Henry2020-03-291-7/+7
* Modules: Core (#13009)Sylvain Henry2020-03-161-9/+9
* Wrap an implication around class-sig kind errorsSimon Peyton Jones2020-03-141-2/+1
* Modules: Core (#13009)Sylvain Henry2020-02-261-3/+3
* Comments, small refactorKrzysztof Gogolewski2020-02-241-1/+0
* Disentangle DynFlags and SDocSylvain Henry2020-02-201-5/+4
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-2/+2
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-121-5/+30
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-4/+9
* Remove dead codeKrzysztof Gogolewski2019-06-151-16/+1
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-1/+8
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-071-1/+17
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-2/+2
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+1
* Remove unnecessary free-var-set deletionSimon Peyton Jones2018-10-241-8/+7
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-1/+5
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* Fix and document cloneWCSimon Peyton Jones2018-07-251-10/+10
* Refactor coercion ruleningning2018-07-091-3/+11
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-51/+75
* Do better sharing in the short-cut solverSimon Peyton Jones2018-05-211-1/+5
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-3/+17
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-6/+6
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-1/+11
* Fix solveOneFromTheOther for RecursiveSuperclassesSimon Peyton Jones2018-02-071-1/+28
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-132/+74
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-1/+6
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix unused-given-constraint bugSimon Peyton Jones2017-09-191-0/+2
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-2/+6
* Replace Digraph's Node type synonym with a data typeMatthew Pickering2017-04-041-3/+3
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-011-3/+3
* Type-indexed TypeableBen Gamari2017-02-181-6/+13
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-0/+7
* Tweaks and typos in manual, note refs, commentsGabor Greif2017-02-091-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-12/+76
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-211-1/+18
* Collect coercion variables, not type variablesSimon Peyton Jones2016-10-271-2/+2
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-5/+28
* Misspellings in comments [skip ci]Gabor Greif2016-08-141-2/+2
* Provide Uniquable version of SCCBartosz Nitka2016-06-231-1/+1
* Remove 'deriving Typeable' statementsRyan Scott2016-05-241-7/+5
* Document SCC determinismBartosz Nitka2016-05-111-2/+6
* Don't infer CallStacksEric Seidel2016-04-041-0/+3
* Typos in comments, etc.Gabor Greif2016-02-261-1/+1
* Improve pretty-printing of HsWrappersSimon Peyton Jones2016-02-121-19/+21
* Hide the CallStack implicit parameterEric Seidel2016-02-011-11/+14
View Lorry Controller Status