summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcSMonad.hs
Commit message (Expand)AuthorAgeFilesLines
* Minor refactor around quantified constraintsSimon Peyton Jones2020-01-121-1/+21
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-6/+6
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-1/+1
* Add GHC-API logging hooksSylvain Henry2019-12-181-1/+5
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-4/+4
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-1/+0
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-27/+10
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-4/+7
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-121-13/+72
* Mark newtype constructors as used in the Coercible solver (#10347)Ryan Scott2019-10-081-1/+3
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-4/+4
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-5/+2
* Preserve ShadowInfo when rewriting evidenceSimon Peyton Jones2019-06-071-14/+31
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-14/+14
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-4/+2
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-3/+1
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-181-0/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-2/+2
* Fix unused-import warningsDavid Eichmann2018-11-221-2/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-11/+4
* Remove unnecessary free-var-set deletionSimon Peyton Jones2018-10-241-2/+2
* Expand the Note on let-bound skolemsSimon Peyton Jones2018-09-261-0/+25
* Comments onlySimon Peyton Jones2018-09-231-1/+1
* Suppress -Winaccessible-code in derived codeRyan Scott2018-07-241-18/+16
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-051-19/+35
* Fix commentSimon Peyton Jones2018-07-041-1/+1
* Remove unnecessary call to checkReductionDepthSimon Peyton Jones2018-06-221-1/+2
* Instances in no-evidence implicationsSimon Peyton Jones2018-06-221-16/+30
* Remove duplicate quantified constraintsSimon Peyton Jones2018-06-111-28/+28
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-97/+222
* Use dischargeFunEq consistentlySimon Peyton Jones2018-05-231-12/+22
* Make dischargeFmv handle DerivedsSimon Peyton Jones2018-05-211-4/+15
* Do better sharing in the short-cut solverSimon Peyton Jones2018-05-211-3/+15
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-35/+41
* Split TrieMap into a general (TrieMap) and core specific (CoreTrieMap) module.klebinger.andreas@gmx.at2018-05-051-1/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-9/+12
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-2/+98
* Fix isDroppableCt (Trac #14763)Simon Peyton Jones2018-02-081-76/+33
* Prioritise equalities when solving, incl derivedsSimon Peyton Jones2018-01-311-22/+71
* A bit more tc-tracingSimon Peyton Jones2018-01-311-4/+9
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-12/+19
* Typos in commentsGabor Greif2018-01-171-1/+1
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-19/+17
* Fix floating of equalitiesSimon Peyton Jones2017-12-211-4/+3
* Refactor coercion holesSimon Peyton Jones2017-12-211-2/+2
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Catch a few more typos in commentsGabor Greif2017-10-301-3/+3
* Improve kick-out in the constraint solverSimon Peyton Jones2017-10-201-62/+95
* Better solving for representational equalitiesSimon Peyton Jones2017-10-181-75/+16
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-111-45/+39
View Lorry Controller Status