projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d97842) | patch
[project @ 2001-07-20 10:05:37 by simonpj]
authorsimonpj <unknown>
Fri, 20 Jul 2001 10:05:37 +0000 (10:05 +0000)
committersimonpj <unknown>
Fri, 20 Jul 2001 10:05:37 +0000 (10:05 +0000)
commit98a74c9da8b10a3ba8fa2c261c2e26970c56a811
tree7909643def6879f8e1f9e8fe96009d57b5d30555tree | snapshot
parent9d9784263ae1cb1d2add4b714ca676ca4b6cc22ccommit | diff
[project @ 2001-07-20 10:05:37 by simonpj]
--------------------------
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.
ghc/compiler/coreSyn/CoreUtils.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)