summaryrefslogtreecommitdiff
path: root/compiler/types
Commit message (Expand)AuthorAgeFilesLines
* Get rid of tcm_smart from TyCoMapperSimon Peyton Jones2019-02-171-40/+24
* Make a smart mkAppTyMSimon Peyton Jones2019-02-146-49/+84
* Fix #16188Richard Eisenberg2019-02-121-0/+3
* Fix #16293 by cleaning up Proxy# infelicitiesRyan Scott2019-02-121-9/+15
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-083-35/+502
* Fix #14579 by defining tyConAppNeedsKindSig, and using itRyan Scott2019-02-051-16/+289
* Some refactoring in tcInferAppsRichard Eisenberg2019-01-271-0/+3
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-181-0/+2
* More minor comment improvementsRichard Eisenberg2019-01-112-12/+8
* Remove OPTIONS_HADDOCK hide in favour for not-homeAdam Sandberg Eriksson2019-01-061-1/+1
* Fix some typos, etc., in comments.Richard Eisenberg2019-01-032-6/+9
* Visible kind applicationmynguyen2019-01-031-0/+7
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-072-8/+8
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-033-190/+181
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-031-1/+9
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-298-279/+371
* Fix unused-import warningsDavid Eichmann2018-11-221-2/+2
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-222-9/+12
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-224-34/+47
* Introduce Int16# and Word16#Abhiroop Sarkar2018-11-171-0/+4
* Comments adding to the fix for Trac #15859Simon Peyton Jones2018-11-151-1/+4
* Comments only, about polykinded TyConAppsSimon Peyton Jones2018-11-151-1/+13
* Fix #15845 by defining etaExpandFamInstLHS and using itRyan Scott2018-11-084-18/+53
* Add Int8# and Word8#Michal Terepeta2018-11-021-0/+4
* Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv.mniip2018-11-012-22/+32
* Fix embarrassing, egregious bug in roles of (->)Richard Eisenberg2018-11-011-1/+1
* Finish fix for #14880.Tobias Dammers2018-10-285-79/+171
* Fix nasty bug in the type free-var finder, at lastSimon Peyton Jones2018-10-261-12/+94
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-242-22/+70
* Fix #15792 by not reifying invisible arguments in AppTysRyan Scott2018-10-241-4/+25
* Clarify Note about ForAllCo coercions.Richard Eisenberg2018-10-221-4/+17
* Adding almost devoid check for covar in ForAllCoNingning Xie2018-10-193-22/+129
* Use an accumulator version of tyCoVarsOfTypeTobias Dammers2018-10-151-103/+184
* Fix #15725 with an extra SymRyan Scott2018-10-151-11/+22
* Revert "Add Int8# and Word8#"Ben Gamari2018-10-091-4/+0
* Add Int8# and Word8#Michal Terepeta2018-10-071-0/+4
* Improve generated `GHC.Prim` docsAlec Theriault2018-10-041-0/+1
* Fix #15637 by using VTA more in GNDRyan Scott2018-10-011-29/+44
* Add a recursivity check in nonVoidRyan Scott2018-09-231-4/+15
* Coercion Quantificationningning2018-09-158-535/+1202
* Reject class instances with type families in kindsRyan Scott2018-09-021-2/+7
* Comments onlySimon Peyton Jones2018-08-311-2/+2
* Minor improvements to comments [skip ci]Richard Eisenberg2018-08-301-6/+0
* Rename kind vars in left-to-right order in bindHsQTyVarsRyan Scott2018-08-281-1/+1
* Add comments about pretty-printing via IfaceSynSimon Peyton Jones2018-08-241-1/+5
* Comments onlySimon Peyton Jones2018-08-233-8/+22
* Turn infinite loop into a panicSimon Peyton Jones2018-08-221-4/+10
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-215-9/+9
* Support typechecking of type literals in backpackPiyush P Kurur2018-08-061-0/+6
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-7/+33
View Lorry Controller Status