[Haskell-cafe] Eta-reducing case branches

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Fri Apr 10 16:41:02 UTC 2015


Has anyone ever considered permitting case branches to be eta reduced?  For
example, it is often nice to rewrite

    foo x = bar baz x

as

    foo = bar baz

Likewise, I have often wanted to rewrite

    case m of
        Nothing -> n
        Just x  -> quux x

as
    case m of
        Nothing -> n
        Just    -> quux

Am I missing an obvious reason this wouldn't work?

Tom


More information about the Haskell-Cafe mailing list