summaryrefslogtreecommitdiff
path: root/compiler/types/Type.hs
Commit message (Expand)AuthorAgeFilesLines
* Reify oversaturated data family instances correctly (#17296)Ryan Scott2019-10-231-1/+0
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-2/+4
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-337/+83
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-121-8/+1
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-1/+2
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-0/+4
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-3/+3
* CoreUtils: Use mightBeUnliftedType in exprIsTopLevelBindableBen Gamari2019-09-191-1/+3
* SetLevels: Fix potential panic in lvlBindBen Gamari2019-09-111-1/+11
* Move tyConAppNeedsKindSig to TypeBen Gamari2019-07-311-0/+268
* Break up TyCoRepBen Gamari2019-07-311-104/+6
* Comments and tiny refactorSimon Peyton Jones2019-06-191-18/+3
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-0/+28
* Fix assertion failures reported in #16533Krzysztof Gogolewski2019-04-141-1/+1
* Fix #16518 with some more kind-splitting smartsRyan Scott2019-04-041-0/+15
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-8/+8
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-4/+34
* Visible dependent quantificationRyan Scott2019-03-011-2/+14
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-162/+158
* Get rid of tcm_smart from TyCoMapperSimon Peyton Jones2019-02-171-40/+24
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-25/+48
* Fix #16293 by cleaning up Proxy# infelicitiesRyan Scott2019-02-121-9/+15
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-081-5/+1
* More minor comment improvementsRichard Eisenberg2019-01-111-2/+4
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-145/+129
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-031-1/+9
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-68/+58
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-1/+3
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-221-17/+15
* Fix #15845 by defining etaExpandFamInstLHS and using itRyan Scott2018-11-081-0/+39
* Finish fix for #14880.Tobias Dammers2018-10-281-25/+118
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-10/+69
* Fix #15792 by not reifying invisible arguments in AppTysRyan Scott2018-10-241-4/+25
* Fix #15637 by using VTA more in GNDRyan Scott2018-10-011-29/+44
* Coercion Quantificationningning2018-09-151-133/+240
* Reject class instances with type families in kindsRyan Scott2018-09-021-2/+7
* Comments onlySimon Peyton Jones2018-08-311-2/+2
* Rename kind vars in left-to-right order in bindHsQTyVarsRyan Scott2018-08-281-1/+1
* Turn infinite loop into a panicSimon Peyton Jones2018-08-221-4/+10
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-2/+2
* Support typechecking of type literals in backpackPiyush P Kurur2018-08-061-0/+6
* Remove the type-checking knot.Richard Eisenberg2018-08-011-7/+18
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-41/+84
* Fix a nasty bug in piResultTysSimon Peyton Jones2018-07-241-8/+35
* Note [Ordering of implicit variables]Richard Eisenberg2018-07-101-0/+5
* Fix decompsePiCos and visible type applicationSimon Peyton Jones2018-07-101-2/+2
* Refactor coercion ruleningning2018-07-091-20/+34
* Two small refactoringsSimon Peyton Jones2018-06-181-4/+4
* Fix corner case in typeKind, plus refactoringSimon Peyton Jones2018-06-151-11/+162
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-5/+6
View Lorry Controller Status