-
Simon Peyton Jones authored
See Note [Casts and lambdas] in SimplUtils. I found this transformation when staring at some cast-heavy code generated by Language.Haskell.Lexer.hs in the haskell-src library. The basic transformation is this: (\x. e `cast` g1) --> (\x.e) `cast` (tx -> g1) where x:tx.
4539cb1b