summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcUnify.hs
Commit message (Expand)AuthorAgeFilesLines
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+3
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-3/+3
* Fix typosBrian Wignall2019-11-231-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-1/+4
* Improve documentation around empty tuples/listsRichard Eisenberg2019-10-031-18/+46
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Fix over-eager implication constraint discardSimon Peyton Jones2019-07-041-0/+7
* Add a missing zonk (fixes #16902)Simon Peyton Jones2019-07-041-10/+22
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-4/+3
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-37/+41
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-161-1/+8
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-17/+17
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-15/+14
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-22/+28
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-6/+6
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-13/+20
* Coercion Quantificationningning2018-09-151-1/+1
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-16/+16
* Set GenSigCtxt for the argument part of tcSubTypeSimon Peyton Jones2018-07-251-2/+30
* Build more implicationsSimon Peyton Jones2018-07-251-8/+53
* Remove dead code in TcUnifyKrzysztof Gogolewski2018-07-241-13/+1
* Suppress -Winaccessible-code in derived codeRyan Scott2018-07-241-20/+18
* Correct spelling errorsSasa Bogicevic2018-07-171-9/+9
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-101-8/+11
* Refactor coercion ruleningning2018-07-091-6/+6
* A few typofixes in commentsGabor Greif2018-06-291-1/+1
* A bit more tc-tracking in TcUnify.uUnfilledVarSimon Peyton Jones2018-06-261-4/+10
* Fix corner case in typeKind, plus refactoringSimon Peyton Jones2018-06-151-148/+5
* vectorise: Put it out of its miseryBen Gamari2018-06-021-8/+0
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-73/+173
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-2/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-10/+17
* Experiment with eliminating the younger tyvarSimon Peyton Jones2018-02-011-5/+45
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-10/+7
* Tiny refactor around fillInferResultSimon Peyton Jones2018-01-031-10/+16
* Refactor coercion holesSimon Peyton Jones2017-12-211-7/+12
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Fix a TyVar bug in the flattenerSimon Peyton Jones2017-11-141-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Remove dead function TcUnify.wrapFunResCoercionArnaud Spiwack2017-09-151-17/+0
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-071-2/+2
* Small changes to ddump-tc tracingSimon Peyton Jones2017-08-311-2/+5
* Fix defer-out-of-scope-variablesSimon Peyton Jones2017-08-241-17/+34
* Revise function arity mismatch errors involving TypeApplicationsRyan Scott2017-08-221-0/+17
* A bunch of typofixesGabor Greif2017-07-311-1/+1
* Track visibility in TypeEqOriginRichard Eisenberg2017-07-271-32/+46
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-38/+27
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-19/+9
* Typos in comments and manual [ci skip]Gabor Greif2017-06-281-2/+2
View Lorry Controller Status