blob: 0fd1329dcf56994d8850ddf6e841115ea5300ca1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T17594.hs:4:1: error:
• @-binders in functions are not allowed yet
• In an equation for ‘id1’: id1 @a x = x
The equation for ‘id1’ has two value arguments,
but its type ‘a -> a’ has only one
T17594.hs:7:1: error:
• @-binders in functions are not allowed yet
• In an equation for ‘id2’: id2 @_ x = x
The equation for ‘id2’ has two value arguments,
but its type ‘a -> a’ has only one
T17594.hs:10:1: error:
• @-binders in functions are not allowed yet
• In an equation for ‘id3’: id3 @a (x :: a) = x
The equation for ‘id3’ has two value arguments,
but its type ‘a -> a’ has only one
|