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
  	(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



More information about the Cvs-ghc mailing list