summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsExpr.hs
Commit message (Expand)AuthorAgeFilesLines
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-33/+36
* 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-1/+1
* Be mindful of GADT tyvar order when desugaring record updatesRyan Scott2018-08-171-8/+17
* Small refactor in desugar of pattern matchingSimon Peyton Jones2018-07-271-1/+1
* TTG for IPBind had wrong extension nameAlan Zimmerman2018-06-221-1/+1
* vectorise: Put it out of its miseryBen Gamari2018-06-021-27/+0
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-20/+23
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-7/+11
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-60/+64
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-2/+2
* Improve exhaustive checking for guards in pattern bindings and MultiIf.HE, Tao2018-03-021-0/+3
* Make cost centre symbol names deterministic.Shea Levy2018-03-021-2/+3
* Detect levity-polymorphic uses of unsafeCoerce#Simon Peyton Jones2017-12-131-1/+2
* Revert "trees that grow" workBen Gamari2017-11-211-63/+59
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-1/+2
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-55/+57
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-3/+4
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-1/+1
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-1/+1
* ApplicativeDo: handle BodyStmt (#12143)Simon Marlow2017-10-271-1/+1
* desugar: Catch levity polymorphism in unboxed sum expressionsBen Gamari2017-09-261-5/+5
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix #13929 by adding another levity polymorphism checkRichard Eisenberg2017-09-141-5/+4
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-291-1/+1
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-11/+0
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-20/+21
* Use lengthIs and friends in more placesRyan Scott2017-06-021-2/+2
* Treat banged bindings as FunBindsBen Gamari2017-05-081-1/+1
* Make XNegativeLiterals treat -0.0 as negative 0Nolan2017-05-081-2/+2
* Fix #13233 by checking for lev-poly primopsRichard Eisenberg2017-05-021-76/+186
* Fix #12709 by not building bad applicationsRichard Eisenberg2017-03-171-9/+15
* Changed OverLit warnings to work with negative literals (#13257)Rupert Horlick2017-03-061-0/+9
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-52/+125
* Typos in comments only [ci skip]Gabor Greif2017-01-181-1/+1
* Desugar static forms to makeStatic calls.Facundo Domínguez2017-01-131-57/+6
* Revert "Have addModFinalizer expose the local type environment."Facundo Domínguez2017-01-061-8/+50
* Have addModFinalizer expose the local type environment.Facundo Domínguez2017-01-061-50/+8
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-211-4/+7
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+7
* DsExpr: Remove usage of concatFS in fingerprintNameBen Gamari2016-07-081-7/+5
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-5/+9
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-021-70/+44
* Refactor in TcMatchesSimon Peyton Jones2016-03-311-4/+3
* DsExpr: Rip out static/dynamic check in list desugaringBen Gamari2016-03-241-67/+28
* DsExpr: Don't build/foldr huge listsBen Gamari2016-03-201-1/+28
* Refactor visible type application.Richard Eisenberg2016-03-141-10/+5
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-271-7/+7
* Replace mkTvSubstPrs (a `zip` b) with zipTvSubst a bBartosz Nitka2016-02-101-1/+1
View Lorry Controller Status