Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | infix 1 <! <@ |
2 | infix 2 <!! <@@ | |
3 | infixr 1 !> @> | |
4 | infixr 2 !!> @@> | |
5 | ||
6 | infix 0 & | |
7 | infix 9 && | |
8 | ||
9 | datatype ('a, 'b) t1 = & of 'a * 'b | |
10 | datatype ('a, 'b) t2 = && of 'a * 'b | |
11 | ||
12 | (* error *) | |
13 | local | |
14 | fun _ f = () | |
15 | in | |
16 | end | |
17 | ||
18 | (* error *) | |
19 | local | |
20 | fun _ f _ = () | |
21 | in | |
22 | end | |
23 | ||
24 | (* error *) | |
25 | local | |
26 | fun (_ f _) = () | |
27 | in | |
28 | end | |
29 | ||
30 | (* error *) | |
31 | local | |
32 | fun (_ f _) _ = () | |
33 | in | |
34 | end | |
35 | ||
36 | (* error *) | |
37 | local | |
38 | fun _ f _ _ = () | |
39 | in | |
40 | end |