equal
deleted
inserted
replaced
8 |
8 |
9 (** ML system related **) |
9 (** ML system related **) |
10 |
10 |
11 (* restore old-style character / string functions *) |
11 (* restore old-style character / string functions *) |
12 |
12 |
13 fun ord s = Char.ord (String.sub (s, 0)); |
13 val ord = SML90.ord; |
14 val chr = str o Char.chr; |
14 val chr = SML90.chr; |
15 val explode = (map str) o String.explode; |
15 val explode = SML90.explode; |
16 val implode = String.concat; |
16 val implode = SML90.implode; |
17 |
17 |
18 |
18 |
19 (* MLWorks parameters *) |
19 (* MLWorks parameters *) |
20 |
20 |
21 val _ = |
21 val _ = |