Wed Jan 16 06:57:22 PST 2008 [EMAIL PROTECTED]
* A bottoming function should have infinite arity
I can't think how this one escaped for so long, but
(error "foo")
should have arityType ABot, just as 'error' itself does.
This improves eta expansion. I spotted it when looking at the function
Data.Array.Parallel.Arr.BBArr.writeMBB
in the ndp package.
M ./compiler/coreSyn/CoreUtils.lhs -3 +7
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
