summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcDeriv.hs
Commit message (Expand)AuthorAgeFilesLines
* TH: make `Lift` and `TExp` levity-polymorphicAlec Theriault2019-04-181-0/+2
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-18/+18
* Visible dependent quantificationRyan Scott2019-03-011-1/+2
* Mention DerivingStrategies in the warning when DAC and GND are both enabledChaitanya Koparkar2019-01-201-1/+4
* Fix #16133 by checking for TypeApplications in rnExprRyan Scott2019-01-061-0/+3
* Visible kind applicationmynguyen2019-01-031-1/+1
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-5/+5
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-20/+36
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-5/+2
* More refactoring in TcValiditySimon Peyton Jones2018-07-101-10/+10
* Two small refactoringsSimon Peyton Jones2018-06-181-5/+3
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-7/+7
* Introduce DerivingViaRyan Scott2018-06-041-199/+373
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-6/+12
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-1/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-0/+3
* Fix #14916 with an additional validity check in deriveTyDataRyan Scott2018-03-251-1/+8
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-37/+114
* Slight refactor of stock deriving internalsRyan Scott2018-02-201-13/+3
* Implement stopgap solution for #14728Ryan Scott2018-02-181-3/+40
* Sequester deriving-related validity check into cond_stdOKRyan Scott2018-01-311-9/+10
* Remove hack put in place for #12512Ryan Scott2017-12-201-11/+1
* Revert "trees that grow" workBen Gamari2017-11-211-1/+1
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-1/+1
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-1/+1
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-1/+1
* Error when deriving instances in hs-boot filesRyan Scott2017-10-191-0/+4
* A bunch of typofixesGabor Greif2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Use a ReaderT in TcDeriv to avoid some tedious plumbingRyan Scott2017-08-141-376/+391
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-121-10/+12
* Fix #10684 by processing deriving clauses with finer grainRyan Scott2017-07-251-20/+89
* Suppress unused warnings for selectors for some derived classesRyan Scott2017-07-111-19/+20
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-19/+20
* Use lengthIs and friends in more placesRyan Scott2017-06-021-3/+3
* Split up RnEnv into 4 modules, RnUnbound, RnUtils and RnFixityMatthew Pickering2017-04-121-0/+1
* Refactor inferConstraints not to use CPSSimon Peyton Jones2017-02-211-4/+6
* Fix computation of dfun_tvs in mkNewTypeEqnSimon Peyton Jones2017-02-211-4/+3
* Refactor DeriveAnyClass's instance context inferenceRyan Scott2017-02-101-25/+25
* Ditch static flagsSylvain Henry2017-02-021-3/+4
* Rename TH constructors for deriving strategiesRyan Scott2016-12-091-10/+10
* Typos in commentsGabor Greif2016-12-011-1/+1
* Kill Type pretty-printerBen Gamari2016-11-131-2/+3
* Prevent GND from inferring an instance context for method-less classesRyan Scott2016-11-101-4/+4
* Refactoring of mkNewTypeEqnSimon Peyton Jones2016-11-101-18/+19
* Allow GeneralizedNewtypeDeriving for classes with associated type familiesRyan Scott2016-11-061-62/+239
* Tiny refactorSimon Peyton Jones2016-11-021-2/+2
View Lorry Controller Status