summaryrefslogtreecommitdiff
path: root/compiler/types/Coercion.hs
Commit message (Expand)AuthorAgeFilesLines
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-25/+52
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-191-5/+18
* Break up TyCoRepBen Gamari2019-07-311-0/+4
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-1/+6
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-7/+7
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-5/+6
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-1/+1
* Fix #16188Richard Eisenberg2019-02-121-0/+3
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-081-5/+393
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-071-7/+7
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-48/+92
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-221-8/+17
* Fix #15845 by defining etaExpandFamInstLHS and using itRyan Scott2018-11-081-14/+4
* Clarify Note about ForAllCo coercions.Richard Eisenberg2018-10-221-4/+17
* Adding almost devoid check for covar in ForAllCoNingning Xie2018-10-191-19/+34
* Coercion Quantificationningning2018-09-151-142/+340
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-4/+4
* Fix some casts.Richard Eisenberg2018-07-231-1/+1
* Fix decompsePiCos and visible type applicationSimon Peyton Jones2018-07-101-42/+68
* Refactor coercion ruleningning2018-07-091-122/+212
* A few typofixes in commentsGabor Greif2018-06-291-1/+1
* Two small refactoringsSimon Peyton Jones2018-06-181-8/+8
* Define MCoercion typeningning2018-05-301-1/+1
* Clean up the conflicting data family instances error messageRyan Scott2018-05-241-7/+26
* Add missing check to isReflCoVar_maybeSimon Peyton Jones2018-05-231-4/+6
* coercion: Improve debugging outputSimon Peyton Jones2018-04-231-36/+46
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-185/+286
* Remove unused function: mkFunCosMatthew Pickering2018-04-131-5/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-1/+2
* Fix performance of flattener patch (#12919)Alexander Vieth2018-03-261-1/+0
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-101/+134
* Optimize coercionKind (Trac #11735)Tobias Dammers2018-01-311-16/+36
* Remove dead code: mkNthCoRoleSimon Peyton Jones2018-01-251-10/+1
* Small refactoring in CoercionSimon Peyton Jones2018-01-031-16/+13
* Refactor coercion holesSimon Peyton Jones2017-12-211-24/+18
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Expand type synonyms during role inferenceRyan Scott2017-08-121-0/+2
* Remove old coercion pretty-printerRichard Eisenberg2017-07-271-96/+11
* Use lengthIs and friends in more placesRyan Scott2017-06-021-3/+3
* Add a couple of HasDebugCallStack contextsSimon Peyton Jones2017-03-291-2/+2
* Allow unbound Refl binders in a RULESimon Peyton Jones2017-03-291-9/+24
* Make Specialise work with castsSimon Peyton Jones2017-02-281-5/+41
* Coercion: Try dropping constraintIsLifted axiomBen Gamari2017-02-261-34/+0
* Generalize kind of the (->) tyconBen Gamari2017-02-181-16/+102
* Typos and grammar in manual/commentsGabor Greif2017-01-231-1/+1
* Fix the implementation of the "push rules"Simon Peyton Jones2017-01-061-1/+4
* Move typeSize/coercionSize into TyCoRepSimon Peyton Jones2016-12-211-24/+0
* Deal correctly with unused imports for 'coerce'Simon Peyton Jones2016-06-281-36/+44
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-1/+1
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-7/+6
View Lorry Controller Status