summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcGenFunctor.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-1/+1
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-3/+3
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-4/+5
* Coercion Quantificationningning2018-09-151-1/+1
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* Turn on MonadFail desugaring by defaultHerbert Valerio Riedel2018-08-071-10/+15
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-0/+1
* Revert "trees that grow" workBen Gamari2017-11-211-1/+0
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-0/+1
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-1/+0
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-0/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-49/+50
* Treat banged bindings as FunBindsBen Gamari2017-05-081-7/+6
* Derive the definition of nullDavid Feuer2017-04-021-5/+127
* Clean up coreView/tcView.Ben Gamari2017-03-311-1/+1
* Deriving for phantom and empty typesDavid Feuer2017-03-301-39/+177
* Typos in manual and comments [ci skip]Gabor Greif2017-03-171-1/+1
* Typos in comments [skip ci]Gabor Greif2017-02-071-1/+1
* Derive <$David Feuer2017-02-071-7/+147
* Add liftA2 to Applicative classDavid Feuer2017-02-051-6/+9
* Spelling fixesGabor Greif2017-02-021-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-5/+7
* Typos in commentsGabor Greif2016-12-161-1/+1
* Add infix flag for class and data declarationsAlan Zimmerman2016-12-121-0/+1
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+4
* Refactor TcDeriv and TcGenDerivRyan Scott2016-10-061-0/+875