1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
PolyML.Compiler.printInAlphabeticalOrder := false;
val (c, a, b) = (3,1,2);
local
structure s = struct val r = true val ww = false end
in val w = 3 val aaa = 4 type t = int infix foo exception e
structure f = s
open f
datatype s = x | y
end;
val a = 2 functor f () = struct end signature s = sig end type t = int functor q(): s = struct end;
signature s = sig end and p = sig end;
functor g () = struct end and f () = struct end and h () = struct end;
fun f a b = 1 infix a fun f a b = 2 val z = f 0 0 and z' = 1 a 1;
nonfix a;
|
