[MLton-commit] r4794

[Vesa Karvonen]

Added extended List :> LIST module.
----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml
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/list.sig

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

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml	2006-10-29 18:19:12 UTC (rev 4793)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml	2006-10-29 18:43:52 UTC (rev 4794)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {List :> LIST} structure.
+ *)
+structure List : LIST = struct
+   open List
+   val sub = nth
+end


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml
___________________________________________________________________
Name: svn:eol-style
   + native

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 18:19:12 UTC (rev 4793)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm	2006-10-29 18:43:52 UTC (rev 4794)
@@ -11,6 +11,7 @@
    ../../public/int-inf.sig
    ../../public/integer.sig
    ../../public/iso.sig
+   ../../public/list.sig
    ../../public/mono-array.sig
    ../../public/mono-vector.sig
    ../../public/real.sig
@@ -23,6 +24,7 @@
    ../common.sml
    ../emb.sml
    ../iso.sml
+   ../list.sml
    ../smlnj/ints.sml
    ../smlnj/mono-arrays.sml
    ../smlnj/mono-vectors.sml

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2006-10-29 18:19:12 UTC (rev 4793)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2006-10-29 18:43:52 UTC (rev 4794)
@@ -54,6 +54,7 @@
          public/integer.sig
          public/real.sig
          public/word.sig
+         public/list.sig
          public/vector.sig
          public/array.sig
          public/mono-vector.sig
@@ -64,6 +65,7 @@
          public/text.sig
 
          (* Extended modules *)
+         detail/list.sml
          detail/vector.sml
          detail/array.sml
          detail/common.sml

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2006-10-29 18:19:12 UTC (rev 4793)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2006-10-29 18:43:52 UTC (rev 4794)
@@ -37,6 +37,7 @@
             "public/integer.sig",
             "public/real.sig",
             "public/word.sig",
+            "public/list.sig",
             "public/vector.sig",
             "public/array.sig",
             "public/mono-vector.sig",
@@ -47,6 +48,7 @@
             "public/text.sig",
 
             (* Extended modules *)
+            "detail/list.sml",
             "detail/vector.sml",
             "detail/array.sml",
             "detail/common.sml",

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml	2006-10-29 18:19:12 UTC (rev 4793)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml	2006-10-29 18:43:52 UTC (rev 4794)
@@ -15,6 +15,7 @@
 signature INTEGER = INTEGER
 signature INT_INF = INT_INF
 signature ISO = ISO
+signature LIST = LIST
 signature MONO_ARRAY = MONO_ARRAY
 signature MONO_VECTOR = MONO_VECTOR
 signature REAL = REAL
@@ -34,6 +35,7 @@
 structure LargeInt : INTEGER = LargeInt
 structure LargeReal : REAL = LargeReal
 structure LargeWord : WORD = LargeWord
+structure List : LIST = List
 structure Position : INTEGER = Position
 structure Real : REAL = Real
 structure String : STRING = String

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig	2006-10-29 18:19:12 UTC (rev 4793)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig	2006-10-29 18:43:52 UTC (rev 4794)
@@ -0,0 +1,18 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {LIST} signature.
+ *)
+signature LIST = sig
+   include LIST
+
+   val sub : 'a list * int -> 'a
+   (**
+    * {sub (l, i)} returns the {i}th element of the list {l}.  This is
+    * equivalent to {nth}.
+    *)
+end


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