CoreLint should check for out-of-scope worker
authorsimonpj@microsoft.com <unknown>
Sat, 14 Jun 2008 02:38:09 +0000 (02:38 +0000)
committersimonpj@microsoft.com <unknown>
Sat, 14 Jun 2008 02:38:09 +0000 (02:38 +0000)
commit67fee0f2a808a26a7e2d906394ec287a0fba6461
tree04f06b232881ada95f61bf6d9e7f7e6108c0b13f
parent0f5e104c36b1dc3d8deeec5fef3d65e7b3a1b5ad
CoreLint should check for out-of-scope worker
compiler/coreSyn/CoreLint.lhs