projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e3b990) | patch
Add extra WARN test
authorsimonpj@microsoft.com <unknown>
Wed, 17 Sep 2008 16:24:34 +0000 (16:24 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 17 Sep 2008 16:24:34 +0000 (16:24 +0000)
commita211dd24b1149cf3bc5262f775f63e4d1c9b60ce
treeeeae2e3fe25e12cd6150a39c17af1f75bf271068tree | snapshot
parent8e3b990169fc33f1924b4e4faa53a5c6fd43268bcommit | diff
Add extra WARN test

This warning tests that the arity of a function does not decrease.
And that it's at least as great as the strictness signature.

Failing this test isn't a disater, but it's distinctly odd and
usually indicates that not enough information is getting propagated
around, and hence you may get more simplifier iterations.
compiler/simplCore/Simplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)