blob: 3a65e68164d91b3e51378ec92da8171445b79887 (
plain)
1
2
3
4
5
6
|
T5777.hs:13:18: error: [GHC-64525]
• 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 -< ()
|