projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d832d5) | patch
Two new warnings: arity differing from demand type, and strict IDs at top level
authorKirsten Chevalier <chevalier@alum.wellesley.edu>
Mon, 29 Jan 2007 22:55:33 +0000 (22:55 +0000)
committerKirsten Chevalier <chevalier@alum.wellesley.edu>
Mon, 29 Jan 2007 22:55:33 +0000 (22:55 +0000)
commit49d454d8f8f0e1a83369ec12f8aafc1dcf80aea9
treed8ca0c4aa80ee8e7ab6c63cbe8280c0a8103f9cctree | snapshot
parent8d832d5132c89660e4bac807785008b7280d401acommit | diff
Two new warnings: arity differing from demand type, and strict IDs at top level

I added two new Core Lint checks in lintSingleBinding:

1. Check that the id's arity is equal to the
   number of arguments in its demand type, if it has a demand type
   at all (i.e., if demand analysis already happened).

2. Check that top-level or recursive binders aren't demanded.
compiler/basicTypes/Id.lhs diff | blob | history
compiler/coreSyn/CoreLint.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)