summaryrefslogtreecommitdiff
path: root/testsuite/tests/arrows/gadt/T17423.stderr
blob: 8e8cf00c9de7f04f2597bc4ac0ff83c75d5f986b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

T17423.hs:19:13: error:
    • Proc patterns cannot use existential or GADT data constructors
    • In the pattern: DecoBool i c
      In the expression:
        proc (DecoBool i c) -> do i1 <- id -< i
                                  c1 <- id -< c
                                  returnA -< DecoBool i1 c1
      In an equation for ‘decoBoolDialog’:
          decoBoolDialog
            = proc (DecoBool i c) -> do i1 <- id -< i
                                        c1 <- id -< c
                                        ....