Menu
▾
▴
[MLton-commit] r4820
|
From: Vesa K. <ve...@ml...> - 2006-11-14 01:38:04
|
Added convenience aliases to polymorphic slices.
----------------------------------------------------------------------
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array-slice.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector-slice.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/array-slice.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig
----------------------------------------------------------------------
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array-slice.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array-slice.sml 2006-11-13 21:08:43 UTC (rev 4819)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array-slice.sml 2006-11-14 09:37:47 UTC (rev 4820)
@@ -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 {ArraySlice :> ARRAY_SLICE} structure.
+ *)
+structure ArraySlice : ARRAY_SLICE = struct
+ open ArraySlice
+ type 'a t = 'a slice
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array-slice.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-11-13 21:08:43 UTC (rev 4819)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-11-14 09:37:47 UTC (rev 4820)
@@ -5,6 +5,7 @@
*)
group is
+ ../../public/array-slice.sig
../../public/array.sig
../../public/bool.sig
../../public/char.sig
@@ -20,8 +21,10 @@
../../public/string.sig
../../public/substring.sig
../../public/text.sig
+ ../../public/vector-slice.sig
../../public/vector.sig
../../public/word.sig
+ ../array-slice.sml
../array.sml
../bool.sml
../common.sml
@@ -34,6 +37,7 @@
../smlnj/mono-vectors.sml
../smlnj/reals.sml
../smlnj/words.sml
+ ../vector-slice.sml
../vector.sml
funs.cm
workarounds/basis.cm
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector-slice.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector-slice.sml 2006-11-13 21:08:43 UTC (rev 4819)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector-slice.sml 2006-11-14 09:37:47 UTC (rev 4820)
@@ -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 {VectorSlice :> VECTOR_SLICE} structure.
+ *)
+structure VectorSlice : VECTOR_SLICE = struct
+ open VectorSlice
+ type 'a t = 'a slice
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector-slice.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-13 21:08:43 UTC (rev 4819)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-14 09:37:47 UTC (rev 4820)
@@ -58,7 +58,9 @@
public/word.sig
public/list.sig
public/vector.sig
+ public/vector-slice.sig
public/array.sig
+ public/array-slice.sig
public/mono-vector.sig
public/mono-array.sig
public/char.sig
@@ -71,7 +73,9 @@
detail/option.sml
detail/list.sml
detail/vector.sml
+ detail/vector-slice.sml
detail/array.sml
+ detail/array-slice.sml
detail/common.sml
detail/$(SML_COMPILER)/ints.sml
detail/$(SML_COMPILER)/reals.sml
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-11-13 21:08:43 UTC (rev 4819)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-11-14 09:37:47 UTC (rev 4820)
@@ -41,7 +41,9 @@
"public/word.sig",
"public/list.sig",
"public/vector.sig",
+ "public/vector-slice.sig",
"public/array.sig",
+ "public/array-slice.sig",
"public/mono-vector.sig",
"public/mono-array.sig",
"public/char.sig",
@@ -54,7 +56,9 @@
"detail/option.sml",
"detail/list.sml",
"detail/vector.sml",
+ "detail/vector-slice.sml",
"detail/array.sml",
+ "detail/array-slice.sml",
"detail/common.sml",
"detail/"^compiler^"/ints.sml",
"detail/"^compiler^"/reals.sml",
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/array-slice.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/array-slice.sig 2006-11-13 21:08:43 UTC (rev 4819)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/array-slice.sig 2006-11-14 09:37:47 UTC (rev 4820)
@@ -0,0 +1,17 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {ARRAY_SLICE} signature.
+ *)
+signature ARRAY_SLICE = sig
+ include ARRAY_SLICE
+
+ type 'a t = 'a slice
+ (**
+ * Convenience alias.
+ *)
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/array-slice.sig
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml 2006-11-13 21:08:43 UTC (rev 4819)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml 2006-11-14 09:37:47 UTC (rev 4820)
@@ -7,6 +7,7 @@
(** == Implementation independent extensions == *)
signature ARRAY = ARRAY
+signature ARRAY_SLICE = ARRAY_SLICE
signature BOOL = BOOL
signature CHAR = CHAR
signature EMB = EMB
@@ -22,9 +23,11 @@
signature SUBSTRING = SUBSTRING
signature TEXT = TEXT
signature VECTOR = VECTOR
+signature VECTOR_SLICE = VECTOR_SLICE
signature WORD = WORD
structure Array : ARRAY = Array
+structure ArraySlice : ARRAY_SLICE = ArraySlice
structure Bool : BOOL = Bool
structure Char : CHAR = Char
structure CharArray : MONO_ARRAY = CharArray
@@ -43,6 +46,7 @@
structure Substring : SUBSTRING = Substring
structure Text : TEXT = Text
structure Vector : VECTOR = Vector
+structure VectorSlice : VECTOR_SLICE = VectorSlice
structure Word : WORD = Word
structure Word8 : WORD = Word8
structure Word8Array : MONO_ARRAY = Word8Array
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig 2006-11-13 21:08:43 UTC (rev 4819)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig 2006-11-14 09:37:47 UTC (rev 4820)
@@ -0,0 +1,17 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {VECTOR_SLICE} signature.
+ *)
+signature VECTOR_SLICE = sig
+ include VECTOR_SLICE
+
+ type 'a t = 'a slice
+ (**
+ * Convenience alias.
+ *)
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig
___________________________________________________________________
Name: svn:eol-style
+ native
|
