testsuite/tests/arrows/gadt/T9985.stderr


1
2
3
4
5
6


T9985.hs:29:18: error: [GHC-64525]
    • Proc patterns cannot use existential or GADT data constructors
    • In the pattern: VNil
      In the pattern: a :> VNil
      In the expression: proc (a :> VNil) -> returnA -< a