Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* error *) |
2 | local | |
3 | fun _ f _ = () | |
4 | in | |
5 | end | |
6 | ||
7 | (* error *) | |
8 | local | |
9 | fun (_ f _) = () | |
10 | in | |
11 | end | |
12 | ||
13 | (* error *) | |
14 | local | |
15 | fun (_ f _) _ = () | |
16 | in | |
17 | end | |
18 | ||
19 | infix && || | |
20 | ||
21 | (* error *) | |
22 | local | |
23 | fun && x = () | |
24 | in | |
25 | end | |
26 | ||
27 | (* error *) | |
28 | local | |
29 | fun x && = () | |
30 | in | |
31 | end | |
32 | ||
33 | (* error *) | |
34 | local | |
35 | fun && || = () | |
36 | in | |
37 | end | |
38 | ||
39 | (* error *) | |
40 | local | |
41 | fun || && = () | |
42 | in | |
43 | end |