| changeset 62354 | fdd6989cc8a0 |
| parent 62077 | e8ae72c26025 |
| child 62356 | e307a410f46c |
| 62341:a594429637fd | 62354:fdd6989cc8a0 |
|---|---|
99 |
99 |
100 val ord = SML90.ord; |
100 val ord = SML90.ord; |
101 val chr = SML90.chr; |
101 val chr = SML90.chr; |
102 val raw_explode = SML90.explode; |
102 val raw_explode = SML90.explode; |
103 val implode = SML90.implode; |
103 val implode = SML90.implode; |
104 |
|
105 val io_buffer_size = 4096; |
|
106 |
104 |
107 fun quit () = exit 0; |
105 fun quit () = exit 0; |
108 |
106 |
109 |
107 |
110 (* ML runtime system *) |
108 (* ML runtime system *) |