• simonpj@microsoft.com's avatar
    A bottoming function should have infinite arity · decb48fc
    simonpj@microsoft.com authored
    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
    in the ndp package.
CoreUtils.lhs 53.7 KB