projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5f0e18) | patch
FIX Trac 1662: actually check for existentials in proc patterns
authorsimonpj@microsoft.com <unknown>
Wed, 14 Nov 2007 11:29:30 +0000 (11:29 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 14 Nov 2007 11:29:30 +0000 (11:29 +0000)
commite9efdf979386e596394aee9984593d518866fe41
tree44b9a83652794dce4b0dd5cb0a2e29517c5067f3tree | snapshot
parentb5f0e18253f3e1c9bc3d901162c76960c0f4901ecommit | diff
FIX Trac 1662: actually check for existentials in proc patterns

I'd fixed the bug for code that should be OK, but had forgotten to
make the test for code that should be rejected!

Test is arrowfail004
compiler/typecheck/TcArrows.lhs diff | blob | history
compiler/typecheck/TcPat.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)