# HG changeset patch
# User wenzelm
# Date 977309698 -3600
# Node ID 1a6348a114895589e494aa50058b159891dacbcc
# Parent  9285b4d87d7d7148115c5f0a242fa69f59b9adea
SML90: ord, chr, explode, implode;

diff -r 9285b4d87d7d -r 1a6348a11489 src/Pure/ML-Systems/polyml-4.0.ML
--- a/src/Pure/ML-Systems/polyml-4.0.ML	Tue Dec 19 15:24:55 2000 +0100
+++ b/src/Pure/ML-Systems/polyml-4.0.ML	Wed Dec 20 11:54:58 2000 +0100
@@ -21,10 +21,10 @@
 
 (* restore old-style character / string functions *)
 
-fun ord s = Char.ord (String.sub (s, 0));
-val chr = str o Char.chr;
-val explode = (map str) o String.explode;
-val implode = String.concat;
+val ord = SML90.ord;
+val chr = SML90.chr;
+val explode = SML90.explode;
+val implode = SML90.implode;
 
 
 (*Note start point for timing*)