[MLton-commit] r4761
Vesa Karvonen
vesak at mlton.org
Tue Oct 24 08:59:49 PDT 2006
SML/NJ doesn't like top-level non-module bindings.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -36,14 +36,14 @@
(** == Isomorphisms == *)
- val isoList : ('a array, 'a list) iso
+ val isoList : ('a array, 'a list) Iso.iso
(**
* An isomorphism between arrays and lists. It is always equivalent to
* {(toList, fromList)}. Note that the isomorphism does not preserve
* identity.
*)
- val isoVector : ('a array, 'a vector) iso
+ val isoVector : ('a array, 'a vector) Iso.iso
(**
* An isomorphism between arrays and vectors. It is always equivalent
* to {(toVector, fromVector)}. Note that the isomorphism does not
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -31,7 +31,7 @@
(** == Isomorphisms == *)
- val isoInt : (char, Int.int) iso
+ val isoInt : (char, Int.int) Iso.iso
(**
* An isomorphism between characters and character codes. It always
* equals {(ord, chr)}. Note that the projection part of the
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml 2006-10-24 15:59:43 UTC (rev 4761)
@@ -6,8 +6,8 @@
(** == Implementation independent extensions == *)
-type ('a, 'b) emb = ('a, 'b) emb
-type ('a, 'b) iso = ('a, 'b) iso
+type ('a, 'b) emb = ('a, 'b) Emb.emb
+type ('a, 'b) iso = ('a, 'b) Iso.iso
signature ARRAY = ARRAY
signature CHAR = CHAR
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -22,7 +22,7 @@
(** == Embeddings == *)
- val embString : (int, string) emb
+ val embString : (int, string) Emb.emb
(**
* An embedding of integers into strings. It is always equivalent to
* {(toString, fromString)}.
@@ -30,14 +30,14 @@
(** == Isomorphisms == *)
- val isoInt : (int, Int.int) iso
+ val isoInt : (int, Int.int) Iso.iso
(**
* An isomorphism between integers of type {int} and the default
* integer type. It is always equivalent to {(toInt, fromInt)}. Note
* that one of the injection and projection parts may be partial.
*)
- val isoLarge : (int, LargeInt.int) iso
+ val isoLarge : (int, LargeInt.int) Iso.iso
(**
* An isomorphism between integers of type {int} and integers of type
* {LargeInt.int}. It is always equivalent to {(toLarge, fromLarge)}.
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -22,7 +22,7 @@
(** == Embeddings == *)
- val embString : (int, string) emb
+ val embString : (int, string) Emb.emb
(**
* An embedding of integers into strings. It is always equivalent to
* {(toString, fromString)}.
@@ -30,14 +30,14 @@
(** == Isomorphisms == *)
- val isoInt : (int, Int.int) iso
+ val isoInt : (int, Int.int) Iso.iso
(**
* An isomorphism between integers of type {int} and the default
* integer type. It is always equivalent to {(toInt, fromInt)}. Note
* that one of the injection and projection parts may be partial.
*)
- val isoLarge : (int, LargeInt.int) iso
+ val isoLarge : (int, LargeInt.int) Iso.iso
(**
* An isomorphism between integers of type {int} and integers of type
* {LargeInt.int}. It is always equivalent to {(toLarge, fromLarge)}.
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -57,21 +57,21 @@
(** == Isomorphisms == *)
- val isoList : (array, elem list) iso
+ val isoList : (array, elem list) Iso.iso
(**
* An isomorphism between arrays and lists. It is always equivalent to
* {(toList, fromList)}. Note that the isomorphism does not preserve
* identity.
*)
- val isoPoly : (array, elem Array.array) iso
+ val isoPoly : (array, elem Array.array) Iso.iso
(**
* An isomorphism between monomorphic and polymorphic arrays. It is
* always equivalent to {(toPoly, fromPoly)}. Note that the
* isomorphism does not preserve identity.
*)
- val isoVector : (array, vector) iso
+ val isoVector : (array, vector) Iso.iso
(**
* An isomorphism between arrays and vectors. It is always equivalent
* to {(toVector, fromVector)}. Note that the isomorphism does not
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -36,13 +36,13 @@
(** == Isomorphisms == *)
- val isoList : (vector, elem list) iso
+ val isoList : (vector, elem list) Iso.iso
(**
* An isomorphism between vectors and lists. It is always equivalent
* to {(toList, fromList)}.
*)
- val isoPoly : (vector, elem Vector.vector) iso
+ val isoPoly : (vector, elem Vector.vector) Iso.iso
(**
* An isomorphism between monomorphic and polymorphic vectors. It is
* always equivalent to {(toPoly, fromPoly)}.
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -12,13 +12,13 @@
(** == Embeddings == *)
- val embDecimal : (real, IEEEReal.decimal_approx) emb
+ val embDecimal : (real, IEEEReal.decimal_approx) Emb.emb
(**
* An embedding of reals into decimal approximations. It is always
* equivalent to {(toDecimal, fromDecimal)}.
*)
- val embString : (real, string) emb
+ val embString : (real, string) Emb.emb
(**
* An embedding of reals into strings. It is always equivalent to
* {(toString, fromString)}.
@@ -26,7 +26,7 @@
(** == Isomorphisms == *)
- val isoInt : IEEEReal.rounding_mode -> (real, Int.int) iso
+ val isoInt : IEEEReal.rounding_mode -> (real, Int.int) Iso.iso
(**
* Returns an isomorphism between integers of type {Int.int} and reals
* given a rounding mode. Specifically, the result of {isoInt mode} is
@@ -34,7 +34,7 @@
* an isomorphism in the mathematical sense.
*)
- val isoLarge : IEEEReal.rounding_mode -> (real, LargeReal.real) iso
+ val isoLarge : IEEEReal.rounding_mode -> (real, LargeReal.real) Iso.iso
(**
* Returns an isomorphism between reals of type {LargeReal.real} and
* reals of type {real} given a rounding mode. Specifically, the
@@ -43,7 +43,7 @@
* mathematical sense.
*)
- val isoLargeInt : IEEEReal.rounding_mode -> (real, LargeInt.int) iso
+ val isoLargeInt : IEEEReal.rounding_mode -> (real, LargeInt.int) Iso.iso
(**
* Returns an isomorphism between integers of type {LargeInt.int} and
* reals given a rounding mode. Specifically, the result of
@@ -52,7 +52,7 @@
* mathematical sense.
*)
- val isoManExp : (real, {man : real, exp : int}) iso
+ val isoManExp : (real, {man : real, exp : int}) Iso.iso
(**
* An isomorphism between reals and their representation as a mantissa
* and an exponent. It is always equivalent to {(toManExp,
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -12,13 +12,13 @@
(** == Embeddings == *)
- val embCString : (string, string) emb
+ val embCString : (string, string) Emb.emb
(**
* An embedding of strings into C-style string literals. It is always
* equivalent to {(toCString, fromCString)}.
*)
- val embString : (string, string) emb
+ val embString : (string, string) Emb.emb
(**
* An embedding of strings into SML-style string literals. It is
* always equivalent to {(toString, fromString)}.
@@ -26,7 +26,7 @@
(** == Isomorphisms == *)
- val isoList : (string, char list) iso
+ val isoList : (string, char list) Iso.iso
(**
* An isomorphism between strings and lists. It is always equivalent
* to {(toList, fromList)}.
@@ -49,7 +49,7 @@
val foldri : (int * elem * 'a -> 'a) -> 'a -> vector -> 'a
val fromList : elem list -> vector
val fromPoly : elem Vector.vector -> vector
- val isoPoly : (vector, elem Vector.vector) iso
+ val isoPoly : (vector, elem Vector.vector) Iso.iso
val length : vector -> int
val mapi : (int * elem -> elem) -> vector -> vector
val maxLen : int
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -20,7 +20,7 @@
(** == Isomorphisms == *)
- val isoList : ('a vector, 'a list) iso
+ val isoList : ('a vector, 'a list) Iso.iso
(**
* An isomorphism between vectors and lists. It is always equivalent
* to {(toList, fromList)}.
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig 2006-10-24 15:27:43 UTC (rev 4760)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig 2006-10-24 15:59:43 UTC (rev 4761)
@@ -67,7 +67,7 @@
(** == Embeddings == *)
- val embString : (word, string) emb
+ val embString : (word, string) Emb.emb
(**
* An embedding of words into strings. It is always equivalent to
* {(toString, fromString)}.
@@ -75,49 +75,49 @@
(** == Isomorphisms == *)
- val isoInt : (word, Int.int) iso
+ val isoInt : (word, Int.int) Iso.iso
(**
* An isomorphism between words of type {word} and the default integer
* type. It is always equivalent to {(toInt, fromInt)}.
*)
- val isoIntX : (word, Int.int) iso
+ val isoIntX : (word, Int.int) Iso.iso
(**
* An isomorphism between words of type {word} and the default integer
* type. It is always equivalent to {(toIntX, fromInt)}.
*)
- val isoLarge : (word, LargeWord.word) iso
+ val isoLarge : (word, LargeWord.word) Iso.iso
(**
* An isomorphism between words of type {word} and the {LargeWord.word}
* type. It is always equivalent to {(toLarge, fromLarge)}.
*)
- val isoLargeInt : (word, LargeInt.int) iso
+ val isoLargeInt : (word, LargeInt.int) Iso.iso
(**
* An isomorphism between words of type {word} and the {LargeInt.int}
* type. It is always equivalent to {(toLargeInt, fromLargeInt)}.
*)
- val isoLargeIntX : (word, LargeInt.int) iso
+ val isoLargeIntX : (word, LargeInt.int) Iso.iso
(**
* An isomorphism between words of type {word} and the {LargeInt.int}
* type. It is always equivalent to {(toLargeIntX, fromLargeInt)}.
*)
- val isoLargeX : (word, LargeWord.word) iso
+ val isoLargeX : (word, LargeWord.word) Iso.iso
(**
* An isomorphism between words of type {word} and the {LargeWord.word}
* type. It is always equivalent to {(toLargeX, fromLarge)}.
*)
- val isoWord : (word, Word.word) iso
+ val isoWord : (word, Word.word) Iso.iso
(**
* An isomorphism between words of type {word} and the default word
* type. It is always equivalent to {(toWord, fromWord)}.
*)
- val isoWordX : (word, Word.word) iso
+ val isoWordX : (word, Word.word) Iso.iso
(**
* An isomorphism between words of type {word} and the default word
* type. It is always equivalent to {(toWordX, fromWordX)}.
More information about the MLton-commit
mailing list