summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Fix #14135 by validity checking matchesCarlos Tomé2017-12-141-9/+17
* Detect levity-polymorphic uses of unsafeCoerce#Simon Peyton Jones2017-12-131-1/+2
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-071-64/+55
* Cache TypeRep kinds aggressivelyDavid Feuer2017-12-011-6/+11
* Add trace injectionDavid Feuer2017-12-011-1/+33
* Revert "trees that grow" workBen Gamari2017-11-2111-498/+456
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-147-68/+86
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-119-214/+217
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-088-175/+196
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-077-187/+168
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-077-168/+187
* Clean up comments about match algorithm a bit.klebinger.andreas@gmx.at2017-11-031-66/+43
* Fix typo in accessor nameGabor Greif2017-10-302-4/+4
* ApplicativeDo: handle BodyStmt (#12143)Simon Marlow2017-10-272-3/+6
* Fix panic for `ByteArray#` arguments in CApiFFI foreign importsHerbert Valerio Riedel2017-10-161-0/+6
* Minor refactoringSimon Peyton Jones2017-10-111-16/+16
* TypofixesGabor Greif2017-09-271-1/+1
* desugar: Catch levity polymorphism in unboxed sum expressionsBen Gamari2017-09-261-5/+5
* A bunch of typofixesGabor Greif2017-09-261-1/+1
* Document how GHC disambiguates between multiple COMPLETE setsRyan Scott2017-09-251-1/+6
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-1920-0/+40
* Fix #13929 by adding another levity polymorphism checkRichard Eisenberg2017-09-141-5/+4
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-122-5/+5
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-072-2/+2
* Add missing Semigroup instances to compilerHerbert Valerio Riedel2017-08-311-15/+30
* Add debugPprTypeSimon Peyton Jones2017-08-311-2/+2
* Add a Note describing #14128Ben Gamari2017-08-291-1/+20
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-291-11/+13
* desugar: Ensure that a module's dep_orphs doesn't contain itselfBen Gamari2017-08-291-2/+6
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-293-6/+6
* Comments onlySimon Peyton Jones2017-08-181-1/+2
* Don't drop GHCi-defined functions with -fobject-code enabledRyan Scott2017-08-141-4/+15
* Change isClosedAlgType to be TYPE-aware, and rename it to pmIsClosedTypeRyan Scott2017-08-121-14/+147
* Don't warn when empty casing on TypeRyan Scott2017-08-051-0/+14
* Drop GHC 7.10 compatibilityRyan Scott2017-08-011-5/+1
* Typofixes [ci skip]Gabor Greif2017-08-011-1/+1
* Use field names for all uses of datacon MatchSimon Peyton Jones2017-07-314-17/+18
* Remove redundant goopSimon Peyton Jones2017-07-311-7/+2
* Reject top-level banged bindingsSimon Peyton Jones2017-07-311-4/+4
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-314-169/+104
* Refactoring around FunRhsSimon Peyton Jones2017-07-311-3/+3
* Merge types and kinds in DsMetaRyan Scott2017-07-281-125/+58
* Fix instantiation of pattern synonymsSimon Peyton Jones2017-07-281-8/+9
* Typos in comments and explanation for unusused importsGabor Greif2017-07-181-1/+1
* Add Template Haskell support for overloaded labelsMatthew Pickering2017-07-111-1/+7
* More typos in comments [ci skip]Gabor Greif2017-06-281-1/+1
* Treat banged bindings as FunBindsBen Gamari2017-06-274-17/+41
* Support signatures at the kind level in Template HaskellRyan Scott2017-06-121-0/+13
* Fix #13807 - foreign import nondeterminismBartosz Nitka2017-06-121-8/+5