testsuite/tests/gadt/lazypat.stderr


1
2
3
4
5
6
7


lazypat.hs:7:5: error: [GHC-87005]
    • 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