summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcValidity.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-7/+7
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-2/+2
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-161-15/+18
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-101-3/+3
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-3/+6
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+2
* Don't skip validity checks for built-in classes (#17355)Ryan Scott2019-10-151-5/+6
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-121-9/+1
* Fix validity checking for inferred typesSimon Peyton Jones2019-10-121-2/+4
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-1/+10
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)Ryan Scott2019-08-021-16/+61
* Improve comments around injectivity checksRichard Eisenberg2019-05-281-0/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-33/+33
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-19/+49
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-82/+167
* Visible dependent quantificationRyan Scott2019-03-011-3/+66
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-29/+39
* Fix #16287 by checking for more unsaturated synonym argumentsRyan Scott2019-02-061-24/+23
* Reject oversaturated VKAs in type family equationsRyan Scott2019-02-011-1/+67
* Remove export of checkValidFamPats, never usedSimon Peyton Jones2019-01-171-1/+1
* @simonpj's suggested refactorRyan Scott2019-01-151-36/+71
* Control validity-checking of type synonym applications more carefullyRyan Scott2019-01-151-56/+185
* Be pickier about unsaturated synonyms in :kindRyan Scott2019-01-081-7/+54
* don't suggest Rank2Types in error messages (Fixed #16000)chessai2018-12-191-2/+2
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-071-20/+66
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-4/+4
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-031-17/+49
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-312/+395
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-31/+17
* Finish fix for #14880.Tobias Dammers2018-10-281-10/+38
* Fix generalisation for type constructorsSimon Peyton Jones2018-10-261-57/+35
* Support builtin classes like KnownNat in backpackPiyush P Kurur2018-10-111-4/+35
* Fix #15637 by using VTA more in GNDRyan Scott2018-10-011-1/+3
* Coercion Quantificationningning2018-09-151-5/+5
* Fix buildKrzysztof Gogolewski2018-09-131-1/+0
* Remove dead variable bindingSimon Peyton Jones2018-09-131-4/+3
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-10/+3
* Reject class instances with type families in kindsRyan Scott2018-09-021-21/+41
* Fix a typo in TcValidity.checkFamInstRhsSimon Peyton Jones2018-08-231-10/+14
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-33/+4
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-1/+1
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-4/+4
* More refactoring in TcValiditySimon Peyton Jones2018-07-101-61/+142
* Refactor coercion ruleningning2018-07-091-2/+6
* Comment out a pprTraceRyan Scott2018-07-051-1/+1
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-051-61/+109
View Lorry Controller Status