summaryrefslogtreecommitdiff
path: root/compiler/types/TyCoRep.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-03-161-1848/+0
* Modules: Core (#13009)Sylvain Henry2020-02-261-3/+3
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-8/+2
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-3/+1
* Use foldTyCo for exactTyCoVarsOfTypeSimon Peyton Jones2020-02-061-6/+10
* Reform the free variable finders for typesSimon Peyton Jones2020-02-061-0/+162
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-2/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-87/+0
* PredType for type constraints in the pattern match checker instead of EvVarSebastian Graf2019-09-211-3/+3
* Break up TyCoRepBen Gamari2019-07-311-2389/+23
* Fix #16870 by improving documentation (only)Richard Eisenberg2019-07-191-1/+3
* Fix missing unboxed tuple RuntimeReps (#16565)Krzysztof Gogolewski2019-05-291-19/+18
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-10/+10
* Change the warning in substTy back to an assertionKrzysztof Gogolewski2019-03-111-3/+2
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-2/+4
* Visible dependent quantificationRyan Scott2019-03-011-1/+1
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-94/+284
* Tiny refactor in isUnliftedRuntimeRepSimon Peyton Jones2019-02-201-11/+17
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-2/+5
* Fix #14579 by defining tyConAppNeedsKindSig, and using itRyan Scott2019-02-051-16/+289
* Some refactoring in tcInferAppsRichard Eisenberg2019-01-271-0/+3
* Remove OPTIONS_HADDOCK hide in favour for not-homeAdam Sandberg Eriksson2019-01-061-1/+1
* Visible kind applicationmynguyen2019-01-031-0/+7
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-25/+48
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-33/+45
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-8/+9
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-221-8/+14
* Comments adding to the fix for Trac #15859Simon Peyton Jones2018-11-151-1/+4
* Finish fix for #14880.Tobias Dammers2018-10-281-30/+5
* 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-241-12/+1
* Adding almost devoid check for covar in ForAllCoNingning Xie2018-10-191-2/+94
* Use an accumulator version of tyCoVarsOfTypeTobias Dammers2018-10-151-103/+184
* Coercion Quantificationningning2018-09-151-148/+324
* Add comments about pretty-printing via IfaceSynSimon Peyton Jones2018-08-241-1/+5
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-7/+33
* Remove the type-checking knot.Richard Eisenberg2018-08-011-0/+6
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-20/+2
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-0/+3
* Refactor coercion ruleningning2018-07-091-35/+83
* Define an Outputable MCoercion instanceRyan Scott2018-07-081-0/+4
* Add commnent about binder orderSimon Peyton Jones2018-06-261-4/+15
* Two small refactoringsSimon Peyton Jones2018-06-181-17/+20
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-0/+1
* Define MCoercion typeningning2018-05-301-0/+10
* Comments about the substition invariantSimon Peyton Jones2018-05-251-32/+43
* Fix #14875 by introducing PprPrec, and using itRyan Scott2018-05-131-18/+19
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-12/+34
View Lorry Controller Status