Pattern matching in GF is currently broken

[kr.angelov]

if you have case expression like this:

case x of {

A (B _) => ...

}

the compiler complains that "_" underscore is undefined variable. This happens only when the variables are not on the first level. This for example works:

case x of {

A _ => ...

}