fixed chr/explode;
authorwenzelm
Tue Apr 03 19:24:22 2007 +0200 (2007-04-03)
changeset 225752ed8a11f3172
parent 22574 e6c25fd3de2a
child 22576 1beba4e2aa9f
fixed chr/explode;
src/Pure/ML-Systems/alice.ML
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Tue Apr 03 19:24:21 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Tue Apr 03 19:24:22 2007 +0200
     1.3 @@ -1,10 +1,9 @@
     1.4  (*  Title:      Pure/ML-Systems/alice.ML
     1.5      ID:         $Id$
     1.6  
     1.7 -Compatibility file for Alice 1.3.
     1.8 +Compatibility file for Alice 1.4 (CVS version).
     1.9  val ml_system = "alice";
    1.10  use "ML-Systems/alice.ML";
    1.11 -
    1.12  *)
    1.13  
    1.14  fun exit 0 = (OS.Process.exit OS.Process.success): unit
    1.15 @@ -23,8 +22,8 @@
    1.16  fun ord "" = raise Ord
    1.17    | ord s = Char.ord (String.sub (s, 0));
    1.18  
    1.19 -val chr = Char.toString o chr;
    1.20 -val explode = map Char.toString o String.explode;
    1.21 +val chr = String.str o chr;
    1.22 +val explode = map String.str o String.explode;
    1.23  val implode = String.concat;
    1.24  
    1.25