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