testsuite/tests/arrows/gadt/T5777.stderr


1
2
3
4
5
6


T5777.hs:13:18: error:
    • Proc patterns cannot use existential or GADT data constructors
    • In the pattern: BoolVal
      In the expression: proc BoolVal -> returnA -< ()
      In an equation for ‘arrif’: arrif = proc BoolVal -> returnA -< ()