7f918cf1 CE |
1 | val c: int as d: int = 13 |
2 | val c: unit -> unit as d: unit -> unit = fn () => () |
3 | val c: 'a -> unit as d: 'a -> unit = fn _ => () |
4 | |
5 | val (f, hd::tail) = (fn x => x, [fn y => (y,y)]) |
6 | |
7 | val (s,_) = f (hd "hello world\n") |
8 | |
9 | val _ = print (s) |
10 | |
11 | |