patch applied (ghc): A bottoming function should have infinite arity
Simon Peyton Jones
simonpj at microsoft.com
Wed Jan 16 10:04:51 EST 2008
Wed Jan 16 06:57:22 PST 2008 simonpj at microsoft.com
* A bottoming function should have infinite arity
I can't think how this one escaped for so long, but
should have arityType ABot, just as 'error' itself does.
This improves eta expansion. I spotted it when looking at the function
in the ndp package.
M ./compiler/coreSyn/CoreUtils.lhs -3 +7
More information about the Cvs-ghc