A bottoming function should have infinite arity
authorsimonpj@microsoft.com <unknown>
Wed, 16 Jan 2008 14:57:22 +0000 (14:57 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 16 Jan 2008 14:57:22 +0000 (14:57 +0000)
commitdecb48fcf5d82c1abeb8b729dc9c955d0051194a
tree1c28aa4d5bfb8ca27aaa0aafc2d077f73e3105ba
parent530f9f611e9f6bdf2cc45fe7560052e249dee1dd
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.
compiler/coreSyn/CoreUtils.lhs