testsuite/tests/arrows/gadt/T20469.stderr


1
2
3
4
5
6


T20469.hs:8:13: error:
    • Proc patterns cannot use existential or GADT data constructors
    • In the pattern: D
      In the pattern: (D, x)
      In the expression: proc (D, x) -> id -< x