Menu
▾
▴
[MLton-commit] r4821
|
From: Vesa K. <ve...@ml...> - 2006-11-14 05:00:32
|
Added extended mono slices. The only extension, at the moment, is the
convenience type alias.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-slice-ext.fun
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-slice-ext.fun
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-array-slices.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-vector-slices.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-array-slices.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vector-slices.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/forget.use
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-array-slices.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vector-slices.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-array-slices.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vector-slices.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-mlton.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector-slice.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -18,12 +18,18 @@
structure Word8 = MkWordExt (Word8)
structure Word8Vector = MkMonoVectorExt (Word8Vector)
+structure Word8VectorSlice =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Word8VectorSlice)
structure Word8Array = MkMonoArrayExt (structure MonoArray = Word8Array
structure MonoVector = Word8Vector)
+structure Word8ArraySlice =
+ MkMonoArraySliceExt (structure MonoArraySlice = Word8ArraySlice)
structure Text = MkTextExt (Text)
structure Char = Text.Char
structure CharArray = Text.CharArray
+structure CharArraySlice = Text.CharArraySlice
structure CharVector = Text.CharVector
+structure CharVectorSlice = Text.CharVectorSlice
structure String = Text.String
structure Substring = Text.Substring
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-slice-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-slice-ext.fun 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-slice-ext.fun 2006-11-14 12:59:50 UTC (rev 4821)
@@ -0,0 +1,14 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Functor for extending {MONO_ARRAY_SLICE} modules.
+ *)
+functor MkMonoArraySliceExt (structure MonoArraySlice : MONO_ARRAY_SLICE) =
+struct
+ open MonoArraySlice
+ type t = slice
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-slice-ext.fun
___________________________________________________________________
Name: svn:eol-style
+ native
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-slice-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-slice-ext.fun 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-slice-ext.fun 2006-11-14 12:59:50 UTC (rev 4821)
@@ -0,0 +1,14 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Functor for extending {MONO_VECTOR_SLICE} modules.
+ *)
+functor MkMonoVectorSliceExt (structure MonoVectorSlice : MONO_VECTOR_SLICE) =
+struct
+ open MonoVectorSlice
+ type t = slice
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-slice-ext.fun
___________________________________________________________________
Name: svn:eol-style
+ native
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-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun 2006-11-14 12:59:50 UTC (rev 4821)
@@ -20,10 +20,17 @@
end
structure CharVector = MkMonoVectorExt (CharVector)
+
+ structure CharVectorSlice =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = CharVectorSlice)
+
structure CharArray =
MkMonoArrayExt (structure MonoArray = CharArray
structure MonoVector = CharVector)
+ structure CharArraySlice =
+ MkMonoArraySliceExt (structure MonoArraySlice = CharArraySlice)
+
structure String = struct
open CharVector String
type t = string
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-array-slices.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-array-slices.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-array-slices.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -0,0 +1,7 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_ARRAY_SLICE} modules for MLKit == *)
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-array-slices.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-vector-slices.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-vector-slices.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-vector-slices.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -0,0 +1,7 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_VECTOR_SLICE} modules for MLKit == *)
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-vector-slices.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-array-slices.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-array-slices.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-array-slices.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -0,0 +1,43 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_ARRAY_SLICE} modules for MLton == *)
+
+structure BoolArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = BoolArraySlice)
+
+structure IntArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = IntArraySlice)
+structure LargeIntArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = LargeIntArraySlice)
+structure Int8ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Int8ArraySlice)
+structure Int16ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Int16ArraySlice)
+structure Int32ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Int32ArraySlice)
+structure Int64ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Int64ArraySlice)
+
+structure RealArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = RealArraySlice)
+structure LargeRealArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = LargeRealArraySlice)
+structure Real32ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Real32ArraySlice)
+structure Real64ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Real64ArraySlice)
+
+structure WordArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = WordArraySlice)
+structure LargeWordArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = LargeWordArraySlice)
+structure Word16ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Word16ArraySlice)
+structure Word32ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Word32ArraySlice)
+structure Word64ArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = Word64ArraySlice)
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-array-slices.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vector-slices.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vector-slices.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vector-slices.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -0,0 +1,43 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_VECTOR_SLICE} modules for MLton == *)
+
+structure BoolVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = BoolVectorSlice)
+
+structure IntVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = IntVectorSlice)
+structure LargeIntVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = LargeIntVectorSlice)
+structure Int8VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Int8VectorSlice)
+structure Int16VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Int16VectorSlice)
+structure Int32VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Int32VectorSlice)
+structure Int64VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Int64VectorSlice)
+
+structure RealVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = RealVectorSlice)
+structure LargeRealVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = LargeRealVectorSlice)
+structure Real32VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Real32VectorSlice)
+structure Real64VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Real64VectorSlice)
+
+structure WordVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = WordVectorSlice)
+structure LargeWordVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = LargeWordVectorSlice)
+structure Word16VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Word16VectorSlice)
+structure Word32VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Word32VectorSlice)
+structure Word64VectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Word64VectorSlice)
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vector-slices.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/forget.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/forget.use 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/forget.use 2006-11-14 12:59:50 UTC (rev 4821)
@@ -11,5 +11,7 @@
"MkRealExt",
"MkWordExt",
"MkMonoVectorExt",
+ "MkMonoVectorSliceExt",
"MkMonoArrayExt",
+ "MkMonoArraySliceExt",
"MkTextExt"]
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-array-slices.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-array-slices.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-array-slices.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -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 {MONO_ARRAY_SLICE} modules for Poly/ML == *)
+
+structure IntArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = IntArraySlice)
+
+structure RealArraySlice : MONO_ARRAY_SLICE =
+ MkMonoArraySliceExt (structure MonoArraySlice = RealArraySlice)
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-array-slices.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vector-slices.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vector-slices.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vector-slices.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -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 {MONO_VECTOR_SLICE} modules for Poly/ML == *)
+
+structure IntVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = IntVectorSlice)
+
+structure RealVectorSlice : MONO_VECTOR_SLICE =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = RealVectorSlice)
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vector-slices.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm 2006-11-14 12:59:50 UTC (rev 4821)
@@ -8,7 +8,9 @@
../mk-int-inf-ext.fun
../mk-integer-ext.fun
../mk-mono-array-ext.fun
+ ../mk-mono-array-slice-ext.fun
../mk-mono-vector-ext.fun
+ ../mk-mono-vector-slice-ext.fun
../mk-real-ext.fun
../mk-text-ext.fun
../mk-word-ext.fun
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-array-slices.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-array-slices.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-array-slices.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_ARRAY_SLICE} modules for SML/NJ == *)
+
+structure RealArraySlice =
+ MkMonoArraySliceExt (structure MonoArraySlice = RealArraySlice)
+structure Real64ArraySlice =
+ MkMonoArraySliceExt (structure MonoArraySlice = Real64ArraySlice)
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-array-slices.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vector-slices.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vector-slices.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vector-slices.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_VECTOR_SLICE} modules for SML/NJ == *)
+
+structure RealVectorSlice =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = RealVectorSlice)
+structure Real64VectorSlice =
+ MkMonoVectorSliceExt (structure MonoVectorSlice = Real64VectorSlice)
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vector-slices.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-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-11-14 12:59:50 UTC (rev 4821)
@@ -14,7 +14,9 @@
../../public/integer.sig
../../public/iso.sig
../../public/list.sig
+ ../../public/mono-array-slice.sig
../../public/mono-array.sig
+ ../../public/mono-vector-slice.sig
../../public/mono-vector.sig
../../public/option.sig
../../public/real.sig
@@ -33,7 +35,9 @@
../list.sml
../option.sml
../smlnj/ints.sml
+ ../smlnj/mono-array-slices.sml
../smlnj/mono-arrays.sml
+ ../smlnj/mono-vector-slices.sml
../smlnj/mono-vectors.sml
../smlnj/reals.sml
../smlnj/words.sml
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-14 12:59:50 UTC (rev 4821)
@@ -46,7 +46,9 @@
detail/mk-real-ext.fun
detail/mk-word-ext.fun
detail/mk-mono-vector-ext.fun
+ detail/mk-mono-vector-slice-ext.fun
detail/mk-mono-array-ext.fun
+ detail/mk-mono-array-slice-ext.fun
detail/mk-text-ext.fun
(* Extended signatures *)
@@ -62,7 +64,9 @@
public/array.sig
public/array-slice.sig
public/mono-vector.sig
+ public/mono-vector-slice.sig
public/mono-array.sig
+ public/mono-array-slice.sig
public/char.sig
public/string.sig
public/substring.sig
@@ -81,7 +85,9 @@
detail/$(SML_COMPILER)/reals.sml
detail/$(SML_COMPILER)/words.sml
detail/$(SML_COMPILER)/mono-vectors.sml
+ detail/$(SML_COMPILER)/mono-vector-slices.sml
detail/$(SML_COMPILER)/mono-arrays.sml
+ detail/$(SML_COMPILER)/mono-array-slices.sml
detail/$(SML_COMPILER)/texts.sml
in
public/export-$(SML_COMPILER).sml
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-11-14 12:59:50 UTC (rev 4821)
@@ -29,7 +29,9 @@
"detail/mk-real-ext.fun",
"detail/mk-word-ext.fun",
"detail/mk-mono-vector-ext.fun",
+ "detail/mk-mono-vector-slice-ext.fun",
"detail/mk-mono-array-ext.fun",
+ "detail/mk-mono-array-slice-ext.fun",
"detail/mk-text-ext.fun",
(* Extended signatures *)
@@ -45,7 +47,9 @@
"public/array.sig",
"public/array-slice.sig",
"public/mono-vector.sig",
+ "public/mono-vector-slice.sig",
"public/mono-array.sig",
+ "public/mono-array-slice.sig",
"public/char.sig",
"public/string.sig",
"public/substring.sig",
@@ -64,7 +68,9 @@
"detail/"^compiler^"/reals.sml",
"detail/"^compiler^"/words.sml",
"detail/"^compiler^"/mono-vectors.sml",
+ "detail/"^compiler^"/mono-vector-slices.sml",
"detail/"^compiler^"/mono-arrays.sml",
+ "detail/"^compiler^"/mono-array-slices.sml",
"detail/"^compiler^"/texts.sml",
(* Forget implementation details (if possible) *)
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -7,7 +7,9 @@
(** == MLton specific extensions == *)
structure BoolArray : MONO_ARRAY = BoolArray
+structure BoolArraySlice : MONO_ARRAY_SLICE = BoolArraySlice
structure BoolVector : MONO_VECTOR = BoolVector
+structure BoolVectorSlice : MONO_VECTOR_SLICE = BoolVectorSlice
structure FixedInt : INTEGER = FixedInt
structure Int1 : INTEGER = Int1
structure Int10 : INTEGER = Int10
@@ -18,7 +20,9 @@
structure Int15 : INTEGER = Int15
structure Int16 : INTEGER = Int16
structure Int16Array : MONO_ARRAY = Int16Array
+structure Int16ArraySlice : MONO_ARRAY_SLICE = Int16ArraySlice
structure Int16Vector : MONO_VECTOR = Int16Vector
+structure Int16VectorSlice : MONO_VECTOR_SLICE = Int16VectorSlice
structure Int17 : INTEGER = Int17
structure Int18 : INTEGER = Int18
structure Int19 : INTEGER = Int19
@@ -38,35 +42,55 @@
structure Int31 : INTEGER = Int31
structure Int32 : INTEGER = Int32
structure Int32Array : MONO_ARRAY = Int32Array
+structure Int32ArraySlice : MONO_ARRAY_SLICE = Int32ArraySlice
structure Int32Vector : MONO_VECTOR = Int32Vector
+structure Int32VectorSlice : MONO_VECTOR_SLICE = Int32VectorSlice
structure Int4 : INTEGER = Int4
structure Int5 : INTEGER = Int5
structure Int6 : INTEGER = Int6
structure Int64 : INTEGER = Int64
structure Int64Array : MONO_ARRAY = Int64Array
+structure Int64ArraySlice : MONO_ARRAY_SLICE = Int64ArraySlice
structure Int64Vector : MONO_VECTOR = Int64Vector
+structure Int64VectorSlice : MONO_VECTOR_SLICE = Int64VectorSlice
structure Int7 : INTEGER = Int7
structure Int8 : INTEGER = Int8
structure Int8Array : MONO_ARRAY = Int8Array
+structure Int8ArraySlice : MONO_ARRAY_SLICE = Int8ArraySlice
structure Int8Vector : MONO_VECTOR = Int8Vector
+structure Int8VectorSlice : MONO_VECTOR_SLICE = Int8VectorSlice
structure Int9 : INTEGER = Int9
structure IntArray : MONO_ARRAY = IntArray
+structure IntArraySlice : MONO_ARRAY_SLICE = IntArraySlice
structure IntInf : INT_INF = IntInf
structure IntVector : MONO_VECTOR = IntVector
+structure IntVectorSlice : MONO_VECTOR_SLICE = IntVectorSlice
structure LargeIntArray : MONO_ARRAY = LargeIntArray
+structure LargeIntArraySlice : MONO_ARRAY_SLICE = LargeIntArraySlice
structure LargeIntVector : MONO_VECTOR = LargeIntVector
+structure LargeIntVectorSlice : MONO_VECTOR_SLICE = LargeIntVectorSlice
structure LargeRealArray : MONO_ARRAY = LargeRealArray
+structure LargeRealArraySlice : MONO_ARRAY_SLICE = LargeRealArraySlice
structure LargeRealVector : MONO_VECTOR = LargeRealVector
+structure LargeRealVectorSlice : MONO_VECTOR_SLICE = LargeRealVectorSlice
structure LargeWordArray : MONO_ARRAY = LargeWordArray
+structure LargeWordArraySlice : MONO_ARRAY_SLICE = LargeWordArraySlice
structure LargeWordVector : MONO_VECTOR = LargeWordVector
+structure LargeWordVectorSlice : MONO_VECTOR_SLICE = LargeWordVectorSlice
structure Real32 : REAL = Real32
structure Real32Array : MONO_ARRAY = Real32Array
+structure Real32ArraySlice : MONO_ARRAY_SLICE = Real32ArraySlice
structure Real32Vector : MONO_VECTOR = Real32Vector
+structure Real32VectorSlice : MONO_VECTOR_SLICE = Real32VectorSlice
structure Real64 : REAL = Real64
structure Real64Array : MONO_ARRAY = Real64Array
+structure Real64ArraySlice : MONO_ARRAY_SLICE = Real64ArraySlice
structure Real64Vector : MONO_VECTOR = Real64Vector
+structure Real64VectorSlice : MONO_VECTOR_SLICE = Real64VectorSlice
structure RealArray : MONO_ARRAY = RealArray
+structure RealArraySlice : MONO_ARRAY_SLICE = RealArraySlice
structure RealVector : MONO_VECTOR = RealVector
+structure RealVectorSlice : MONO_VECTOR_SLICE = RealVectorSlice
structure SysWord : WORD = SysWord
structure Word1 : WORD = Word1
structure Word10 : WORD = Word10
@@ -77,7 +101,9 @@
structure Word15 : WORD = Word15
structure Word16 : WORD = Word16
structure Word16Array : MONO_ARRAY = Word16Array
+structure Word16ArraySlice : MONO_ARRAY_SLICE = Word16ArraySlice
structure Word16Vector : MONO_VECTOR = Word16Vector
+structure Word16VectorSlice : MONO_VECTOR_SLICE = Word16VectorSlice
structure Word17 : WORD = Word17
structure Word18 : WORD = Word18
structure Word19 : WORD = Word19
@@ -97,14 +123,20 @@
structure Word31 : WORD = Word31
structure Word32 : WORD = Word32
structure Word32Array : MONO_ARRAY = Word32Array
+structure Word32ArraySlice : MONO_ARRAY_SLICE = Word32ArraySlice
structure Word32Vector : MONO_VECTOR = Word32Vector
+structure Word32VectorSlice : MONO_VECTOR_SLICE = Word32VectorSlice
structure Word4 : WORD = Word4
structure Word5 : WORD = Word5
structure Word6 : WORD = Word6
structure Word64 : WORD = Word64
structure Word64Array : MONO_ARRAY = Word64Array
+structure Word64ArraySlice : MONO_ARRAY_SLICE = Word64ArraySlice
structure Word64Vector : MONO_VECTOR = Word64Vector
+structure Word64VectorSlice : MONO_VECTOR_SLICE = Word64VectorSlice
structure Word7 : WORD = Word7
structure Word9 : WORD = Word9
structure WordArray : MONO_ARRAY = WordArray
+structure WordArraySlice : MONO_ARRAY_SLICE = WordArraySlice
structure WordVector : MONO_VECTOR = WordVector
+structure WordVectorSlice : MONO_VECTOR_SLICE = WordVectorSlice
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -9,8 +9,12 @@
structure BoolArray : MONO_ARRAY = BoolArray
structure BoolVector : MONO_VECTOR = BoolVector
structure IntArray : MONO_ARRAY = IntArray
+structure IntArraySlice : MONO_ARRAY_SLICE = IntArraySlice
structure IntVector : MONO_VECTOR = IntVector
+structure IntVectorSlice : MONO_VECTOR_SLICE = IntVectorSlice
structure RealArray : MONO_ARRAY = RealArray
+structure RealArraySlice : MONO_ARRAY_SLICE = RealArraySlice
structure RealVector : MONO_VECTOR = RealVector
+structure RealVectorSlice : MONO_VECTOR_SLICE = RealVectorSlice
structure SysWord : WORD = SysWord
structure Word8Vector : MONO_VECTOR = Word8Vector
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -13,9 +13,13 @@
structure IntInf : INT_INF = IntInf
structure Real64 : REAL = Real64
structure Real64Array : MONO_ARRAY = Real64Array
+structure Real64ArraySlice : MONO_ARRAY_SLICE = Real64ArraySlice
structure Real64Vector : MONO_VECTOR = Real64Vector
+structure Real64VectorSlice : MONO_VECTOR_SLICE = Real64VectorSlice
structure RealArray : MONO_ARRAY = RealArray
+structure RealArraySlice : MONO_ARRAY_SLICE = RealArraySlice
structure RealVector : MONO_VECTOR = RealVector
+structure RealVectorSlice : MONO_VECTOR_SLICE = RealVectorSlice
structure SysWord : WORD = SysWord
structure Word31 : WORD = Word31
structure Word32 : WORD = Word32
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml 2006-11-14 12:59:50 UTC (rev 4821)
@@ -16,7 +16,9 @@
signature ISO = ISO
signature LIST = LIST
signature MONO_ARRAY = MONO_ARRAY
+signature MONO_ARRAY_SLICE = MONO_ARRAY_SLICE
signature MONO_VECTOR = MONO_VECTOR
+signature MONO_VECTOR_SLICE = MONO_VECTOR_SLICE
signature OPTION = OPTION
signature REAL = REAL
signature STRING = STRING
@@ -31,7 +33,9 @@
structure Bool : BOOL = Bool
structure Char : CHAR = Char
structure CharArray : MONO_ARRAY = CharArray
+structure CharArraySlice : MONO_ARRAY_SLICE = CharArraySlice
structure CharVector : MONO_VECTOR = CharVector
+structure CharVectorSlice : MONO_VECTOR_SLICE = CharVectorSlice
structure Emb : EMB = Emb
structure Int : INTEGER = Int
structure Iso : ISO = Iso
@@ -50,4 +54,6 @@
structure Word : WORD = Word
structure Word8 : WORD = Word8
structure Word8Array : MONO_ARRAY = Word8Array
+structure Word8ArraySlice : MONO_ARRAY_SLICE = Word8ArraySlice
structure Word8Vector : MONO_VECTOR = Word8Vector
+structure Word8VectorSlice : MONO_VECTOR_SLICE = Word8VectorSlice
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig 2006-11-14 12:59:50 UTC (rev 4821)
@@ -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 {MONO_ARRAY_SLICE} signature.
+ *)
+signature MONO_ARRAY_SLICE = sig
+ include MONO_ARRAY_SLICE
+
+ type t = slice
+ (**
+ * Convenience alias.
+ *)
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig
___________________________________________________________________
Name: svn:eol-style
+ native
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector-slice.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector-slice.sig 2006-11-14 09:37:47 UTC (rev 4820)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector-slice.sig 2006-11-14 12:59:50 UTC (rev 4821)
@@ -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 {MONO_VECTOR_SLICE} signature.
+ *)
+signature MONO_VECTOR_SLICE = sig
+ include MONO_VECTOR_SLICE
+
+ type t = slice
+ (**
+ * Convenience alias.
+ *)
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector-slice.sig
___________________________________________________________________
Name: svn:eol-style
+ native
|
