testsuite/tests/arrows/gadt/ArrowExistential.stderr


1
2
3
4
5
6


ArrowExistential.hs:16:27: error: [GHC-64525]
    • Proc patterns cannot use existential or GADT data constructors
    • In the pattern: Bar a
      In a case alternative within arrow notation: Bar a -> foo -< a
      In the command: case x of Bar a -> foo -< a