summaryrefslogtreecommitdiff
path: root/compiler/typecheck/FunDeps.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-2/+2
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-2/+3
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-9/+9
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-3/+3
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* tc-tracing onlySimon Peyton Jones2018-07-251-1/+8
* A bunch of typofixesGabor Greif2017-09-261-2/+2
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Use lengthIs and friends in more placesRyan Scott2017-06-021-2/+2
* Typos in manual and commentsGabor Greif2017-03-141-1/+1
* Comments only [ci skip]Gabor Greif2017-03-091-1/+1
* Refactor functional dependencies a bitSimon Peyton Jones2016-11-251-6/+10
* Make a panic into an ASSERTSimon Peyton Jones2016-11-251-4/+2
* Take account of injectivity when doing fundepsSimon Peyton Jones2016-11-041-3/+36
* Fundeps work even for unary type classesSimon Peyton Jones2016-10-261-2/+1
* Fix #12442.Richard Eisenberg2016-09-231-4/+4
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-121-1/+1
* Make benign non-determinism in pretty-printing more obviousBartosz Nitka2016-04-221-3/+3
* Define TyCoRep.ppSuggestExplicitKinds, and use itSimon Peyton Jones2016-04-191-1/+1
* Add asserts to other substitution functionsBartosz Nitka2016-01-301-1/+1
* Avoid recursive use of immSuperClassesSimon Peyton Jones2016-01-251-8/+7
* substTy to substTyUnchecked to fix Travis buildBartosz Nitka2016-01-201-2/+2
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-14/+13
* Simplify API to tcMatchTysSimon Peyton Jones2016-01-181-3/+2
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-6/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-28/+38
* Refactoring around FunDepsSimon Peyton Jones2015-07-241-54/+65
* Comments onlySimon Peyton Jones2015-07-231-1/+7
* Improve error message for fundepsSimon Peyton Jones2015-07-101-7/+14
* closeOverKinds *before* oclose in coverage checkSimon Peyton Jones2015-06-261-15/+70
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-17/+15
* Revert multiple commitsAustin Seipp2015-05-141-15/+17
* Separate transCloVarSet from fixVarSetSimon Peyton Jones2015-05-131-1/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-17/+15
* Fix fundep coverage-condition check for poly-kindsSimon Peyton Jones2015-04-151-4/+5
* Some simplification and refactoring of FunDepsSimon Peyton Jones2015-01-201-67/+54
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-3/+3
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+566
View Lorry Controller Status