projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1dc5c28) | patch
Check that lazy patterns are for lifted types
authorsimonpj@microsoft.com <unknown>
Tue, 8 Aug 2006 13:59:10 +0000 (13:59 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 8 Aug 2006 13:59:10 +0000 (13:59 +0000)
commitc295ee8ac9d7afb4d660dc3b63c10cca0a0b26e7
treed251eb52e9817085e8ba573033f1b2afb0d7254ctree | snapshot
parent1dc5c28c2370cc8254f024c5734f76d7e5827cd6commit | diff
Check that lazy patterns are for lifted types

A lazy pattern match must be for a lifted type. This is illegal:

f x = case g x of
                ~(# x,y #) -> ...

This commit fixes the problem.  Trac #845, test is tcfail159
compiler/typecheck/TcPat.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)