summaryrefslogtreecommitdiff
path: root/compiler/simplCore/SetLevels.hs
Commit message (Expand)AuthorAgeFilesLines
* Don't float unlifted join points to top levelSimon Peyton Jones2019-08-041-2/+11
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-6/+6
* Comments onlySimon Peyton Jones2018-12-211-9/+13
* Stomp a few typos and grammarosGabor Greif2018-12-171-6/+6
* Careful tweaking to exprOkForSpeculationSimon Peyton Jones2018-12-071-9/+23
* Rename literal constructorsSylvain Henry2018-11-221-1/+1
* Make `UniqDSet` a newtypeSebastian Graf2018-11-131-1/+2
* Finish fix for #14880.Tobias Dammers2018-10-281-2/+1
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-9/+9
* Refactor SetLevels.abstractVarsSimon Peyton Jones2018-06-041-14/+6
* Minor refactoringGabor Greif2018-05-291-1/+1
* 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
View Lorry Controller Status