Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature SIG1 = |
2 | sig | |
3 | datatype t = = of unit | |
4 | end | |
5 | signature SIG2 = | |
6 | sig | |
7 | exception = | |
8 | end | |
9 | signature SIG3 = | |
10 | sig | |
11 | val = : unit | |
12 | end | |
13 | ||
14 | local | |
15 | datatype t = = of unit | |
16 | in end | |
17 | local | |
18 | exception = | |
19 | in end | |
20 | ||
21 | local | |
22 | val op= = () | |
23 | in end | |
24 | ||
25 | local | |
26 | val rec f = fn op= => fn () => () | |
27 | val rec op= = fn () => () | |
28 | in end | |
29 | ||
30 | local | |
31 | fun f op= () = () | |
32 | fun op= () = () | |
33 | in end |