summaryrefslogtreecommitdiff
path: root/compiler/deSugar/Match.hs
Commit message (Expand)AuthorAgeFilesLines
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-29/+31
* Rename literal constructorsSylvain Henry2018-11-221-2/+2
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-2/+2
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-2/+2
* Small refactor in desugar of pattern matchingSimon Peyton Jones2018-07-271-9/+12
* Improve exhaustiveness checking for literal values and patterns, fix #14546HE, Tao2018-06-031-1/+1
* vectorise: Put it out of its miseryBen Gamari2018-06-021-9/+0
* Remove TcType.toTcTypeSimon Peyton Jones2018-05-211-2/+1
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-7/+8
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-52/+55
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-2/+2
* Revert "trees that grow" workBen Gamari2017-11-211-55/+52
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-2/+2
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-16/+16
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-34/+37
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-38/+34
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-34/+38
* Clean up comments about match algorithm a bit.klebinger.andreas@gmx.at2017-11-031-66/+43
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Remove redundant goopSimon Peyton Jones2017-07-311-7/+2
* Treat banged bindings as FunBindsBen Gamari2017-06-271-2/+7
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-21/+22
* Make XNegativeLiterals treat -0.0 as negative 0Nolan2017-05-081-4/+4
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* Typos in comments [ci skip]Gabor Greif2017-03-301-1/+1
* Remove `runs` function which already exists in baseÖmer Sinan Ağacan2017-03-121-2/+2
* dsGRHSs: Remove unused pattern variables argumentÖmer Sinan Ağacan2017-03-111-1/+1
* Ensure that Literals are in rangeJoachim Breitner2017-02-261-5/+40
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-1/+1
* Fix push_bang_into_newtype when the pattern match has no argumentsMatthew Pickering2017-02-071-9/+23
* Update levity polymorphismRichard Eisenberg2017-01-191-3/+15
* Ensure nested binders have Internal NamesSimon Peyton Jones2017-01-051-15/+29
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-211-2/+3
* Updated code comment regarding EquationInfo. Trac #12856Andreas Klebinger2016-11-201-1/+1
* Fix desugaring of pattern bindings (again)Simon Peyton Jones2016-09-301-5/+16
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+7
* Refactor match to not use Unique orderBartosz Nitka2016-06-291-9/+23
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-271-1/+1
* Fix and refactor strict pattern bindingsSimon Peyton Jones2016-02-261-21/+14
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-041-14/+2
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-9/+23
* Adding flags: -ffull-guard-reasoning and too-many-guardsGeorge Karachalias2015-12-271-6/+20
* Visible type applicationRichard Eisenberg2015-12-241-1/+1
* Fix grouping for pattern synonymsSimon Peyton Jones2015-12-221-32/+54
* Make binds in do-blocks strict when -XStrict (#11193)Adam Sandberg Eriksson2015-12-141-9/+11
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-13/+7
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-138/+36
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-1/+1
* Implement OverloadedLabelsAdam Gundry2015-11-171-0/+1
* Implement the Strict language extensionAdam Sandberg Eriksson2015-11-141-2/+7
View Lorry Controller Status