Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | open MLton |
2 | ||
3 | val l = [1, 2, 3, 4] | |
4 | ||
5 | structure W = Word8 | |
6 | structure V = Word8Vector | |
7 | ||
8 | val r = ref 0 | |
9 | val t = (r, r) | |
10 | ||
11 | fun pv v = (V.app (fn w => (print(W.toString w); print " ")) v | |
12 | ; print "\n") | |
13 | ||
14 | fun pr s = (print s; print "\n") | |
15 | ||
16 | fun pi i = (print(Int.toString i); print " ") | |
17 | fun pl l = List.app pi l | |
18 | ||
19 | fun 'a ds(a: 'a): 'a = deserialize(serialize a) | |
20 | val pb = pr o Bool.toString | |
21 | ||
22 | val _ = | |
23 | (pb(serialize l = serialize l) | |
24 | ; pl(ds l) ; print "\n" | |
25 | ; pb(l = ds l) | |
26 | ; pb(let val t: int ref * int ref = ds t | |
27 | in #1 t = #2 t | |
28 | end) | |
29 | ; pi(ds (fn x => x) 13) | |
30 | ; pi(ds (fn x => x + 1) 14) | |
31 | ; print "\n") |