summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/lazypat.stderr
blob: d64f40e487b3f65cd43d2acfd56f5b96151489c0 (plain)
1
2
3
4
5
6
7

lazypat.hs:7:5:
    An existential or GADT data constructor cannot be used
      inside a lazy (~) pattern
    In the pattern: T x f
    In the pattern: ~(T x f)
    In an equation for `f': f ~(T x f) = f x