[MLton-commit] r6089

[Vesa Karvonen]

Workaround for the STRING signature.

----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/string.sig
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/text.sig
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/text.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds.mlb

----------------------------------------------------------------------

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/string.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/string.sig	2007-10-25 11:45:46 UTC (rev 6088)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/string.sig	2007-10-25 12:34:01 UTC (rev 6089)
@@ -0,0 +1,10 @@
+(* Copyright (C) 2007 SSH Communications Security, Helsinki, Finland
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+signature STRING = sig
+   include STRING
+   val scan : (Char.char, 'a) StringCvt.reader -> (string, 'a) StringCvt.reader
+end


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/string.sig
___________________________________________________________________
Name: svn:eol-style
   + native

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/text.sig (from rev 6080, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/workarounds/text.sig)

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/text.sml (from rev 6080, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/workarounds/text.sml)

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds.mlb	2007-10-25 11:45:46 UTC (rev 6088)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds.mlb	2007-10-25 12:34:01 UTC (rev 6089)
@@ -13,4 +13,8 @@
    workarounds/mk-real-sane.fun
    workarounds/real.sig
    workarounds/reals.sml
+
+   workarounds/string.sig
+   workarounds/text.sig
+   workarounds/text.sml
 end