blob: 342639a100cb3fbd957bc0df39b431e901b68078 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T19928.hs:6:9: error:
Parse error: ‘(%1 ->)’
Record constructors in GADTs must use an ordinary, non-linear arrow.
T19928.hs:7:9: error:
Parse error: ‘(%p ->)’
Record constructors in GADTs must use an ordinary, non-linear arrow.
T19928.hs:8:9: error:
Parse error: ‘(%1 ->)’
Record constructors in GADTs must use an ordinary, non-linear arrow.
|
