summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcRules.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+3
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Use level numbers for generalisationRichard Eisenberg2019-09-191-3/+1
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-5/+6
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-2/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-21/+15
* Finish fix for #14880.Tobias Dammers2018-10-281-12/+14
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-32/+68
* Fix TcLevel manipulation in TcDerivInfer.simplifyDerivSimon Peyton Jones2018-06-261-33/+48
* tcExtendTyVarEnv2 changed to tcExtendNameTyVarEnvAlanas Plascinskas2018-06-021-1/+1
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-9/+12
* Look inside implications in simplifyRuleSimon Peyton Jones2018-01-311-31/+74
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-111-10/+13
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix lexically-scoped type variablesSimon Peyton Jones2017-06-291-2/+2
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-5/+5
* Remove dead quantifyTyVarsSimon Peyton Jones2017-04-131-1/+1
* Typos in manual and commentsGabor Greif2017-03-141-1/+1
* Fix constraint simplification in rulesSimon Peyton Jones2017-03-101-76/+77
* Typos in comments only [ci skip]Gabor Greif2017-01-181-1/+1
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-11/+10
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-1/+1
* Zonk before calling splitDepVarsOfType.Richard Eisenberg2016-03-211-3/+3
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-1/+2
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-2/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-47/+93
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-24/+9
* Comments onlySimon Peyton Jones2015-06-261-1/+1
* Treat out-of-scope variables as holesSimon Peyton Jones2015-06-261-2/+3
* ApiAnnotations : strings in warnings do not return SourceTextAlan Zimmerman2015-06-011-5/+5
* Comments and white space onlySimon Peyton Jones2015-04-141-3/+7
* Improve typechecking of RULEs, to account for type wildcard holesSimon Peyton Jones2015-02-151-2/+9
* API Annotations tweaks.Alan Zimmerman2015-01-161-2/+7
* Tighten up constraint solve order for RULESSimon Peyton Jones2015-01-141-76/+167
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-18/+18
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+225
View Lorry Controller Status