Improve the very simple optimiser slightly

Authored by simonpj on Feb 18 2019, 7:46 AM.

Description

Improve the very simple optimiser slightly

There was a missing case in the very simple optimiser,
CoreOpt.simpleOptExpr, which led to Trac Trac #13208 comment:2.

In particular, in simple_app, if we find a Let, we should
just float it outwards. Otherwise we leave behind some
easy-to-reduce beta-redexes.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Feb 20 2019, 9:17 AM
Parents
rGHCe86606f2dd25: Tiny refactor in isUnliftedRuntimeRep
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC5eeefe4c1e00: Improve the very simple optimiser slightly (authored by simonpj).Feb 20 2019, 9:17 AM