[MLton-commit] r4793

[Vesa Karvonen]

Added extended Substring :> SUBSTRING module.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml	2006-10-29 17:51:40 UTC (rev 4792)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml	2006-10-29 18:19:12 UTC (rev 4793)
@@ -26,3 +26,4 @@
 structure CharArray = Text.CharArray
 structure CharVector = Text.CharVector
 structure String = Text.String
+structure Substring = Text.Substring

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun	2006-10-29 17:51:40 UTC (rev 4792)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun	2006-10-29 18:19:12 UTC (rev 4793)
@@ -29,4 +29,9 @@
       val embString = (toString, fromString)
       val isoList = (explode, implode)
    end
+
+   structure Substring = struct
+      open Substring
+      val length = size
+   end
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm	2006-10-29 17:51:40 UTC (rev 4792)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm	2006-10-29 18:19:12 UTC (rev 4793)
@@ -15,6 +15,7 @@
    ../../public/mono-vector.sig
    ../../public/real.sig
    ../../public/string.sig
+   ../../public/substring.sig
    ../../public/text.sig
    ../../public/vector.sig
    ../../public/word.sig

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2006-10-29 17:51:40 UTC (rev 4792)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2006-10-29 18:19:12 UTC (rev 4793)
@@ -60,6 +60,7 @@
          public/mono-array.sig
          public/char.sig
          public/string.sig
+         public/substring.sig
          public/text.sig
 
          (* Extended modules *)
@@ -73,8 +74,8 @@
          detail/$(SML_COMPILER)/mono-arrays.sml
          detail/$(SML_COMPILER)/texts.sml
       in
+         public/export-$(SML_COMPILER).sml
          public/export.sml
-         public/export-$(SML_COMPILER).sml
       end
    end
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2006-10-29 17:51:40 UTC (rev 4792)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2006-10-29 18:19:12 UTC (rev 4793)
@@ -43,6 +43,7 @@
             "public/mono-array.sig",
             "public/char.sig",
             "public/string.sig",
+            "public/substring.sig",
             "public/text.sig",
 
             (* Extended modules *)
@@ -60,6 +61,6 @@
             "detail/"^compiler^"/forget.use",
 
             (* Export filter *)
-            "public/export.sml",
-            "public/export-"^compiler^".sml"]
+            "public/export-"^compiler^".sml",
+            "public/export.sml"]
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml	2006-10-29 17:51:40 UTC (rev 4792)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml	2006-10-29 18:19:12 UTC (rev 4793)
@@ -19,6 +19,7 @@
 signature MONO_VECTOR = MONO_VECTOR
 signature REAL = REAL
 signature STRING = STRING
+signature SUBSTRING = SUBSTRING
 signature TEXT = TEXT
 signature VECTOR = VECTOR
 signature WORD = WORD
@@ -36,6 +37,7 @@
 structure Position : INTEGER = Position
 structure Real : REAL = Real
 structure String : STRING = String
+structure Substring : SUBSTRING = Substring
 structure Text : TEXT = Text
 structure Vector : VECTOR = Vector
 structure Word : WORD = Word

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig	2006-10-29 17:51:40 UTC (rev 4792)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig	2006-10-29 18:19:12 UTC (rev 4793)
@@ -0,0 +1,15 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+signature SUBSTRING = sig
+   include SUBSTRING
+
+   val length : substring -> int
+   (**
+    * Returns the size of the given substring.  This is equivalent to
+    * {size}.
+    *)
+end


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig
___________________________________________________________________
Name: svn:eol-style
   + native