# HG changeset patch
# User wenzelm
# Date 1175621062 -7200
# Node ID 2ed8a11f3172839682d4f69114bd332cf8cc2bdf
# Parent  e6c25fd3de2ae93290f359e642de835e7463a8fe
fixed chr/explode;

diff -r e6c25fd3de2a -r 2ed8a11f3172 src/Pure/ML-Systems/alice.ML
--- a/src/Pure/ML-Systems/alice.ML	Tue Apr 03 19:24:21 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML	Tue Apr 03 19:24:22 2007 +0200
@@ -1,10 +1,9 @@
 (*  Title:      Pure/ML-Systems/alice.ML
     ID:         $Id$
 
-Compatibility file for Alice 1.3.
+Compatibility file for Alice 1.4 (CVS version).
 val ml_system = "alice";
 use "ML-Systems/alice.ML";
-
 *)
 
 fun exit 0 = (OS.Process.exit OS.Process.success): unit
@@ -23,8 +22,8 @@
 fun ord "" = raise Ord
   | ord s = Char.ord (String.sub (s, 0));
 
-val chr = Char.toString o chr;
-val explode = map Char.toString o String.explode;
+val chr = String.str o chr;
+val explode = map String.str o String.explode;
 val implode = String.concat;