summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsUtils.hs
Commit message (Expand)AuthorAgeFilesLines
* Give seq a more precise type and remove magicBen Gamari2019-11-191-68/+74
* Separate `LPat` from `Pat` on the type-levelSebastian Graf2019-11-021-2/+2
* Much simpler language for PmCheckSebastian Graf2019-10-111-2/+2
* Note [Don't flatten tuples from HsSyn] in MkCoreRichard Eisenberg2019-10-031-4/+1
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-2/+1
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-2/+2
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-3/+3
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-4/+4
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+1
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-26/+29
* Rename literal constructorsSylvain Henry2018-11-221-2/+2
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* Fix #15385 by using addDictsDs in matchGuardsRyan Scott2018-07-301-1/+31
* Small refactor in desugar of pattern matchingSimon Peyton Jones2018-07-271-9/+37
* vectorise: Put it out of its miseryBen Gamari2018-06-021-76/+2
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-30/+33
* Kill off irrefutable pattern errorsDavid Feuer2018-01-151-1/+1
* Revert "trees that grow" workBen Gamari2017-11-211-33/+30
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-30/+33
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-33/+30
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-30/+33
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-291-2/+2
* Treat banged bindings as FunBindsBen Gamari2017-06-271-1/+13
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-14/+15
* Fix #12709 by not building bad applicationsRichard Eisenberg2017-03-171-0/+2
* Join pointsLuke Maurer2017-02-011-0/+14
* Update levity polymorphismRichard Eisenberg2017-01-191-2/+2
* Ensure nested binders have Internal NamesSimon Peyton Jones2017-01-051-5/+6
* Fix desugaring of pattern bindings (again)Simon Peyton Jones2016-09-301-55/+81
* Fix and refactor strict pattern bindingsSimon Peyton Jones2016-02-261-122/+186
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-2/+2
* Fix desugaring of bang-pattern let-bindingsSimon Peyton Jones2016-02-181-26/+23
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-5/+5
* Expose enabled language extensions to THBen Gamari2015-12-151-2/+3
* Comment layout onlySimon Peyton Jones2015-12-151-5/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-10/+12
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-2/+3
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-1/+1
* Implement the Strict language extensionAdam Sandberg Eriksson2015-11-141-21/+65
* Generate Typeable info at definition sitesBen Gamari2015-10-301-7/+7
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-7/+7
* Generate Typeable info at definition sitesBen Gamari2015-10-291-7/+7
* ApplicativeDo transformationSimon Marlow2015-09-171-9/+9
* Define DsUtils.mkCastDs and use itSimon Peyton Jones2015-07-301-4/+23
* Generalized Coverage pass to allow adding multiple types of TickishsPeter Wortmann2014-12-161-5/+4
* compiler: de-lhs deSugar/Austin Seipp2014-12-031-0/+826
View Lorry Controller Status