summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcDerivInfer.hs
Commit message (Expand)AuthorAgeFilesLines
* Ensure that coreView/tcView are able to inlinewip/T17441Ben Gamari2019-11-101-0/+1
* Refactor TcDeriv to validity-check less in anyclass/via deriving (#13154)Ryan Scott2019-10-281-44/+35
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+3
* Refactor some cruft in TcDerivInfer.inferConstraintsRyan Scott2019-10-151-24/+127
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-2/+2
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+1
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-3/+3
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-1/+1
* Fix TcLevel manipulation in TcDerivInfer.simplifyDerivSimon Peyton Jones2018-06-261-31/+42
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Two small refactoringsSimon Peyton Jones2018-06-181-1/+1
* Minor typosRyan Scott2018-05-241-2/+2
* Minor refactor and commmentsSimon Peyton Jones2018-03-271-17/+24
* Fix two pernicious bugs in DeriveAnyClassRyan Scott2018-03-251-49/+57
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-14/+29
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-1/+1
* Add a missing zonk in TcDerivInfer.simplifyDerivSimon Peyton Jones2017-10-111-0/+2
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Allow TcDerivInfer to compile with GHC 8.0.1Ben Gamari2017-08-161-21/+21
* Use a ReaderT in TcDeriv to avoid some tedious plumbingRyan Scott2017-08-141-210/+242
* Split out inferConstraintsDataConArgs from inferConstraintsRyan Scott2017-08-121-21/+41
* Fix note references and some typosGabor Greif2017-07-261-1/+1
* Use lengthIs and friends in more placesRyan Scott2017-06-021-4/+4
* Define TcSimplify.simplifyTopImplic and use itSimon Peyton Jones2017-03-101-1/+1
* Typos in comments and manualGabor Greif2017-03-061-1/+1
* Replace some pushTcLevelM's with pushTcLevelM_Ryan Scott2017-02-211-3/+3
* Minor spelling, grammar, and formatting fixesRyan Scott2017-02-211-6/+7
* Refactor inferConstraints not to use CPSSimon Peyton Jones2017-02-211-18/+15
* Fix DeriveAnyClass (again)Simon Peyton Jones2017-02-211-118/+126
* Refactor DeriveAnyClass's instance context inferenceRyan Scott2017-02-101-70/+287
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Refactor TcDeriv and TcGenDerivRyan Scott2016-10-061-0/+653
View Lorry Controller Status