Extend eta reduction to work with casted arguments
authorsimonpj@microsoft.com <unknown>
Wed, 15 Sep 2010 22:12:29 +0000 (22:12 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 15 Sep 2010 22:12:29 +0000 (22:12 +0000)
commit50b8745f8b9c1be7b14f0ff24f49b07c6ad7d8ec
treed780338b8dd2a7a315133a97589bcc1ccb5fa048
parentd108044bef62f6a0d579c92ced5e8188f72edc2d
Extend eta reduction to work with casted arguments

See Trac #4201, and
Note [Eta reduction with casted arguments]

Thanks to Louis Wasserman for suggesting this, and
implementing an early version of the patch
compiler/coreSyn/CoreUtils.lhs