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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
|
structure C = struct
val a = 12
fun f x = x + 5
end
(*(*(*(*(* This file is all pretty strange Standard ML *)*)*)*) (**)*)
(* Robert J. Simmons *)
(* Comments (* can be nested *) *)
structure S = struct
val x = (1, 2, "three")
end
structure Sv = struct
(* These look good *)
val x = (1, 2, "three")
val z = #2 x
(* Although these look bad (not all the numbers are constants), *
* they never occur in practice, as they are equivalent to the above. *)
val x = {1 = 1, 3 = "three", 2 = 2}
val z = #
2 x
val || = 12
end
signature S = sig end
structure S = struct
val x = (1, 2, "three")
datatype 'a t = T of 'a
and u = U of v * v
withtype v = {left: int t, right: int t}
exception E1 of int and E2
fun 'a id (x: 'a) : 'a = x
val
'a id = fn (x : 'a) => x
end
signature R = sig
type t
val x : t
val f : t * int -> int
end
structure R : R = struct
datatype t = T of int
val x : t = T 0
fun f (T x, i : int) : int = x + i
fun 'a id (x: 'a) : 'a = x
end
signature BA_Z = sig
val s: int
include S R
end
structure b______ = struct (* What (* A * strange * name *) for ) a ( struct *)
val !%&$#+-/:<=>?@\~`^|* = 3
type struct' = int list
and 'a sig' = 'a list
and ('a, 'b) end' = 'b option * 'a list
structure baz = struct
structure Bar = struct
val foo = !%&$#+-/:<=>?@\~`^|*
end
end
infixr +!+
fun (a +!+ b) = (op +) (a, b)
open baz S R
val$$$ = fn x => fn y => fn z => fn w => w
val (foo, ++, bar, ||) = (4, baz.Bar.foo, !%&$#+-/:<=>?@\~`^|*, Bar.foo)
val _ = $$$foo++bar||
val val'ue : ' list = []
val struct3 : (' -> ') = fn x => x
val end_struct_' : ('a -> 'a) = fn x => x
val x : (''a -> ''a) = fn x => x
val x : ('''' -> '''') = fn x => x
val x : unit = print "Weird, huh?\n"
val w = {x=1,y=2,##= =3,4=3}
val {##=, x, 4=a,...} = w
val z = #4 w
val z = # ##= w
fun f x y 0 = 4
| f x y z = 4 + Sv.||
exception Foo of int
datatype ('0, 'b, '_, ') f'o'o = Bar | baZ12' | dsfa_fad | #@$ | Bug
and (', ''', '''', ''''') bar =
Bee of unit
| Ben of (', ''', '''', ''''') f'o'o * int
| X of ''' list
fun q x = raise Foo x
and h x = raise Foo (~x)
val x = 4
and y = 5
fun q 0 = 4
| q 1 = (case 1 of 1 => 2 | 3 => 4 | x => y)
| q y = case y of 1 => 2 | 3 => 4 | x => y
val x = ref true
fun q 0 = 4
| q 1 = if false then case 1 of 1 => 2 | 3 => 4 | x => y else 19
| q 2 = (while !x handle Match => !x | Fail _ => !x do () ; 2)
| q x = (raise Match) handle Domain => 9 | Match => 3
fun p 0 = 12
| p 1 = 8
| p 2 = r false
| p x = r true
and r true = 19
| r false = 12
val _ = 123
val _ = 0001
val _ = ~123
val _ = ~0001
val _ = 0w12412
val _ = 0w12412
val _ = 0xfA0
val _ = ~0xfA0
val _ = 0wxfA0
val _ = 1.4
val _ = ~1.4
val _ = 1e~2
val _ = 1E~2
val _ = 1e2
val _ = 1E2
val _ = 1.4e~2
val _ = 1.4E~2
val _ = 1.4e2
val _ = 1.4E2
val c = #"\000"
val st = "foo \
\ bar" ^ "baz \
\ and \
\ such\n"
val () = print st
val _ = foo::bar::4::[++]
end
|