Skip to content
  • Simon Peyton Jones's avatar
    [project @ 2001-07-20 10:05:37 by simonpj] · 98a74c9d
    Simon Peyton Jones authored
    --------------------------
    	Correct a bug in exprArity
    	--------------------------
    
    This long-standing bug meant that exprArity gave over-pessimistic
    answers.  e.g.
    
    	\x -> f x
    
    where nothing is known about f.  We were getting
    
    	0 (for f)
    	-1 (for the argument)
    	+1 (for the lambda)
    	-----
    	0
    
    The right answer is of course 1.
    98a74c9d