1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
signature S = sig
datatype t = Hoge | Fuga
end
structur A = struct
structure B = struct
structure C = struct
type t = int * real * string * bool ref
end
end
end
functor F(X:sig type t; val compare: t * t -> order): S = struct
datatype t = Hoge | Fuga
end
structure Main = struct
local
structure M = F(Int)
open M
in
fun id x = x
val bool = if true then false orelse false else true andalso true
val int = ~1 + 1
val real = 0.7 - 0.32E5 * E3~7
val string = "a\a\b\t\n\v\f\r\^M\097\u00a1\"\\\
\"
(* (* comments *) *)
val ## = 1
val |=| = 2
infix ##
infixr ##
val op## = case Hoge of
Hoge => Fuga
| Fuga => Hoge
type s = {1: t, label: unit}
type u = A.B.C.t
val s = {1 = Hoge, label = ()}
fun id x = x
val rec id = fn x => x
exception X and Y
raise X handle X => (nil, [1], [1, 2])
end
end
|
