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 fst x && y = x | |
15 | in | |
16 | end | |
17 | ||
18 | (* defines fst *) | |
19 | local | |
20 | fun fst (x && y) = x | |
21 | in | |
22 | val _ = fst | |
23 | end | |
24 | ||
25 | (* error *) | |
26 | local | |
27 | fun fst x <! y = x | |
28 | in | |
29 | end | |
30 | ||
31 | (* error *) | |
32 | local | |
33 | fun fst (x <! y) = x | |
34 | in | |
35 | end | |
36 | ||
37 | (* error *) | |
38 | local | |
39 | fun f = () | |
40 | in | |
41 | end | |
42 | ||
43 | (* defines f *) | |
44 | local | |
45 | fun f _ = () | |
46 | in | |
47 | val _ = f | |
48 | end | |
49 | ||
50 | (* defines f *) | |
51 | local | |
52 | fun f _ _ = () | |
53 | in | |
54 | val _ = f | |
55 | end | |
56 | ||
57 | (* defines f *) | |
58 | local | |
59 | fun f _ _ _ = () | |
60 | in | |
61 | val _ = f | |
62 | end | |
63 | ||
64 | (* defines f *) | |
65 | local | |
66 | fun f _ _ _ _ = () | |
67 | in | |
68 | val _ = f | |
69 | end | |
70 | ||
71 | (* defines f *) | |
72 | local | |
73 | fun f _ _ _ _ _ = () | |
74 | in | |
75 | val _ = f | |
76 | end | |
77 | ||
78 | (* error *) | |
79 | local | |
80 | fun _ = () | |
81 | in | |
82 | end | |
83 | ||
84 | (* error *) | |
85 | local | |
86 | fun _ _ = () | |
87 | in | |
88 | end | |
89 | ||
90 | (* error *) | |
91 | local | |
92 | fun _ _ _ = () | |
93 | in | |
94 | end | |
95 | ||
96 | (* error *) | |
97 | local | |
98 | fun _ _ _ _ = () | |
99 | in | |
100 | end |