summaryrefslogtreecommitdiff
path: root/compiler/simplCore/SetLevels.hs
Commit message (Expand)AuthorAgeFilesLines
* Tiny refactor (swap order of args to (&&))wip/float-join-pointsSimon Peyton Jones2018-01-221-2/+2
* Allow joins to float to top levelSimon Peyton Jones2018-01-051-20/+24
* More Wip on floating join pointsSimon Peyton Jones2018-01-051-1/+3
* Wip on floating join pointsSimon Peyton Jones2018-01-051-12/+5
* Avoid creating dependent types in FloatOutSimon Peyton Jones2017-10-111-20/+61
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-071-1/+1
* SetLevels: Substitute in ticks in lvlMFEBen Gamari2017-09-051-1/+2
* Restrict exprOkForSpeculation/case to unlifted typesSimon Peyton Jones2017-08-251-2/+3
* Fix a small Float-Out bugSimon Peyton Jones2017-05-021-8/+31
* Fix another literal-string bugletSimon Peyton Jones2017-04-121-6/+7
* Fix #13382: Put join ceiling underneath lambdasLuke Maurer2017-03-131-1/+2
* Typos in changelog and commentsGabor Greif2017-03-071-1/+1
* Typos in comments and manualGabor Greif2017-03-061-1/+1
* Make FloatOut/SetLevels idemoptent on bottoming functionsSimon Peyton Jones2017-03-061-61/+105
* Don't float out expressions that are okay for speculationReid Barton2017-03-021-12/+12
* Improve SetLevels for join pointsSimon Peyton Jones2017-02-281-157/+144
* When floating, don't box an expression that's okay for speculation (#13338)Reid Barton2017-02-281-4/+32
* Fix SetLevels for makeStaticPtrSimon Peyton Jones2017-02-261-7/+10
* Fix SetLevels for join pointsSimon Peyton Jones2017-02-211-18/+14
* Typos [ci skip]Gabor Greif2017-02-151-1/+1
* Tweaks and typos in manual, note refs, commentsGabor Greif2017-02-091-8/+8
* Another improvement to SetLevelsSimon Peyton Jones2017-02-071-192/+307
* Join pointsLuke Maurer2017-02-011-72/+291
* FloatOut: Allow floating through breakpoint ticksBen Gamari2017-01-311-1/+2
* Allow top-level string literals in Core (#8472)Takano Akio2017-01-201-5/+6
* Update levity polymorphismRichard Eisenberg2017-01-191-2/+2
* Desugar static forms to makeStatic calls.Facundo Domínguez2017-01-131-3/+3
* Revert "Have addModFinalizer expose the local type environment."Facundo Domínguez2017-01-061-2/+2
* Have addModFinalizer expose the local type environment.Facundo Domínguez2017-01-061-2/+2
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-231-112/+185
* Move InId/OutId to CoreSynSimon Peyton Jones2016-12-211-5/+0
* Typos in commentsGabor Greif2016-12-161-1/+1
* Revert "Float unboxed expressions by boxing"Ben Gamari2016-12-131-107/+48
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-121-48/+107
* Levity polymorphic expressions mustn't be floated-out in let-bindings.Sylvain Henry2016-12-011-0/+4
* fixup! Stop the simplifier from removing StaticPtr binds.Facundo Domínguez2016-11-151-1/+2
* Stop the simplifier from removing StaticPtr binds.Facundo Domínguez2016-06-281-3/+15
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-2/+2
* Document some benign nondeterminismBartosz Nitka2016-05-241-2/+3
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-021-2/+10
* Rename FV related functionsBartosz Nitka2016-04-201-2/+2
* Typos in non-codeGabor Greif2016-03-301-1/+1
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-4/+4
* Fix two cloning-related bugsSimon Peyton Jones2016-01-261-32/+52
* Improve exprIsBottomSimon Peyton Jones2015-12-311-1/+12
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-15/+15
* Implement more deterministic operations and document themBartosz Nitka2015-12-021-4/+4
* Make abstractVars deterministic in SetLevelBartosz Nitka2015-11-231-11/+16
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-16/+20
View Lorry Controller Status