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
....
|