mlton-commit Mailing List for MLton (Page 134)

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Added documentation headers to signatures and reorganized specs.
Added missing extended MONO_VECTOR specs to extended STRING signature.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/array.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/char.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/int-inf.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/integer.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/mono-array.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/mono-vector.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/real.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/string.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/text.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/word.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/array.sig
===================================================================

--- mltonlib/trunk/com/ssh/extended-basis/unstable/array.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/array.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,13 +7,19 @@
 (**
  * Extended {ARRAY} signature.
  *)
-
 signature ARRAY =
    sig
       include ARRAY
+
+      (** == Conversions == *)
+
+      val fromVector : 'a vector -> 'a array
+
       val toList : 'a array -> 'a list
+      val toVector : 'a array -> 'a vector
+
+      (** == Isomorphisms == *)
+
       val listIso : ('a array, 'a list) iso
-      val toVector : 'a array -> 'a vector
-      val fromVector : 'a vector -> 'a array
       val vectorIso : ('a array, 'a vector) iso
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/char.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/char.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/char.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -11,11 +11,11 @@
    sig
       include CHAR
 
-      val intIso : (char, Int.int) iso
+      (** == Bounds == *)
+
+      val minOrd : Int.int
       (**
-       * The isomorphism between characters and character codes.  It
-       * always equals {(ord, chr)}.  Note that the projection part of the
-       * isomorphism, namely {chr}, is likely to be a partial function.
+       * The least character code.  It always equals {0}.
        *)
 
       val boundsChar : char * char
@@ -24,14 +24,18 @@
        * {(minChar, maxChar)}.
        *)
 
-      val minOrd : Int.int
-      (**
-       * The least character code.  It always equals {0}.
-       *)
-
       val boundsOrd : Int.int * Int.int
       (**
        * Pair of the least and greatest character codes.  It always equals
        * {(minOrd, maxOrd)}.
        *)
+
+      (** == Isomorphisms == *)
+
+      val intIso : (char, Int.int) iso
+      (**
+       * The isomorphism between characters and character codes.  It
+       * always equals {(ord, chr)}.  Note that the projection part of the
+       * isomorphism, namely {chr}, is likely to be a partial function.
+       *)
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/int-inf.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/int-inf.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/int-inf.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,15 +7,26 @@
 (**
  * Extended {INT_INF} signature.
  *)
-
 signature INT_INF =
    sig
       include INT_INF
+
+      (** == Bounds == *)
+
+      val bounds : (int * int) option
+
+      (** == Embeddings == *)
+
+      val stringEmb : (int, string) emb
+
+      (** == Isomorphisms == *)
+
       val intIso : (int, Int.int) iso
       val largeIso : (int, LargeInt.int) iso
-      val stringEmb : (int, string) emb
-      val isZero : int -> bool
+
+      (** == Predicates == *)
+
       val isEven : int -> bool
       val isOdd : int -> bool
-      val bounds : (int * int) option
+      val isZero : int -> bool
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/integer.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/integer.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/integer.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,15 +7,26 @@
 (**
  * Extended {INTEGER} signature.
  *)
-
 signature INTEGER =
    sig
       include INTEGER
+
+      (** == Bounds == *)
+
+      val bounds : (int * int) option
+
+      (** == Embeddings == *)
+
+      val stringEmb : (int, string) emb
+
+      (** == Isomorphisms == *)
+
       val intIso : (int, Int.int) iso
       val largeIso : (int, LargeInt.int) iso
-      val stringEmb : (int, string) emb
-      val isZero : int -> bool
+
+      (** == Predicates == *)
+
       val isEven : int -> bool
       val isOdd : int -> bool
-      val bounds : (int * int) option
+      val isZero : int -> bool
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/mono-array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/mono-array.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/mono-array.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,16 +7,22 @@
 (**
  * Extended {MONO_ARRAY} signature.
  *)
-
 signature MONO_ARRAY =
    sig
       include MONO_ARRAY
+
+      (** == Conversions == *)
+
+      val fromPoly : elem Array.array -> array
+      val fromVector : vector -> array
+
       val toList : array -> elem list
+      val toPoly : array -> elem Array.array
+      val toVector : array -> vector
+
+      (** == Isomorphisms == *)
+
       val listIso : (array, elem list) iso
-      val toVector : array -> vector
-      val fromVector : vector -> array
+      val polyIso : (array, elem Array.array) iso
       val vectorIso : (array, vector) iso
-      val toPoly : array -> elem Array.array
-      val fromPoly : elem Array.array -> array
-      val polyIso : (array, elem Array.array) iso
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/mono-vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/mono-vector.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/mono-vector.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,13 +7,19 @@
 (**
  * Extended {MONO_VECTOR} signature.
  *)
-
 signature MONO_VECTOR =
    sig
       include MONO_VECTOR
+
+      (** == Conversions == *)
+
+      val fromPoly : elem Vector.vector -> vector
+
       val toList : vector -> elem list
+      val toPoly : vector -> elem Vector.vector
+
+      (** == Isomorphisms *)
+
       val listIso : (vector, elem list) iso
-      val toPoly : vector -> elem Vector.vector
-      val fromPoly : elem Vector.vector -> vector
       val polyIso : (vector, elem Vector.vector) iso
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/real.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/real.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/real.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,14 +7,19 @@
 (**
  * Extended {REAL} signature.
  *)
-
 signature REAL =
    sig
       include REAL
+
+      (** == Embeddings == *)
+
       val decimalEmb : (real, IEEEReal.decimal_approx) emb
+      val stringEmb : (real, string) emb
+
+      (** == Isomorphisms == *)
+
       val intIso : (real, Int.int) iso
+      val largeIntIso : (real, LargeInt.int) iso
       val largeIso : (real, LargeReal.real) iso
-      val largeIntIso : (real, LargeInt.int) iso
       val manExpIso : (real, {man : real, exp : int}) iso
-      val stringEmb : (real, string) emb
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/string.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/string.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/string.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,16 +7,23 @@
 (**
  * Extended {STRING} signature.
  *)
-
 signature STRING =
    sig
       include STRING
-      val listIso : (string, char list) iso
+
+      (** == Embeddings == *)
+
       val cStringEmb : (string, string) emb
       val stringEmb : (string, string) emb
 
+      (** == Isomorphisms == *)
+
+      val listIso : (string, char list) iso
+
+      (** == {MONO_VECTOR} == *)
+
+      type elem = char
       type vector = string
-      type elem = char
 
       val all : (elem -> bool) -> vector -> bool
       val app  : (elem -> unit) -> vector -> unit
@@ -29,10 +36,13 @@
       val foldr  : (elem * 'a -> 'a) -> 'a -> vector -> 'a
       val foldri : (int * elem * 'a -> 'a) -> 'a -> vector -> 'a
       val fromList : elem list -> vector
+      val fromPoly : elem Vector.vector -> vector
       val length : vector -> int
       val mapi : (int * elem -> elem) -> vector -> vector
       val maxLen : int
+      val polyIso : (vector, elem Vector.vector) iso
       val tabulate : int * (int -> elem) -> vector
       val toList : vector -> elem list
+      val toPoly : vector -> elem Vector.vector
       val update : vector * int * elem -> vector
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/text.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/text.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/text.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -6,8 +6,10 @@
 
 (**
  * Extended {TEXT} signature.
+ *
+ * This signature is just a restament of the {TEXT} signature using the
+ * extended substructure signatures.
  *)
-
 signature TEXT =
    sig
       structure Char            : CHAR

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,10 +7,15 @@
 (**
  * Extended {VECTOR} signature.
  *)
-
 signature VECTOR =
    sig
       include VECTOR
+
+      (** == Conversions == *)
+
+      val toList : 'a vector -> 'a list
+
+      (** == Isomorphisms == *)
+
       val listIso : ('a vector, 'a list) iso
-      val toList : 'a vector -> 'a list
    end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/word.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/word.sig	2006-10-20 16:11:14 UTC (rev 4737)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/word.sig	2006-10-20 16:48:08 UTC (rev 4738)
@@ -7,24 +7,39 @@
 (**
  * Extended {WORD} signature.
  *)
-
 signature WORD =
    sig
       include WORD
+
+      (** == Bounds == *)
+
+      val maxWord : word
+      val minWord : word
+
+      val bounds : word * word
+
+      (** == Conversions == *)
+
+      val fromWord : Word.word -> word
       val toWord : word -> Word.word
-      val fromWord : Word.word -> word
+
+      (** == Embeddings == *)
+
+      val stringEmb : (word, string) emb
+
+      (** == Isomorphisms == *)
+
       val intIso : (word, Int.int) iso
       val intXIso : (word, Int.int) iso
-      val largeIso : (word, LargeWord.word) iso
       val largeIntIso : (word, LargeInt.int) iso
       val largeIntXIso : (word, LargeInt.int) iso
+      val largeIso : (word, LargeWord.word) iso
       val largeXIso : (word, LargeWord.word) iso
       val wordIso : (word, Word.word) iso
-      val stringEmb : (word, string) emb
-      val isZero : word -> bool
+
+      (** == Predicates == *)
+
       val isEven : word -> bool
       val isOdd : word -> bool
-      val minWord : word
-      val maxWord : word
-      val bounds : word * word
+      val isZero : word -> bool
    end





2005	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug (56)	Sep (40)	Oct (30)	Nov (144)	Dec (23)
2006	Jan (41)	Feb (29)	Mar (31)	Apr (39)	May (193)	Jun (45)	Jul (19)	Aug (3)	Sep (23)	Oct (83)	Nov (92)	Dec (123)
2007	Jan (90)	Feb (267)	Mar (120)	Apr (51)	May (40)	Jun (121)	Jul (109)	Aug (173)	Sep (77)	Oct (52)	Nov (121)	Dec (62)
2008	Jan (76)	Feb (53)	Mar (98)	Apr (87)	May (26)	Jun (27)	Jul (23)	Aug (136)	Sep (79)	Oct (68)	Nov (29)	Dec (14)
2009	Jan (7)	Feb (2)	Mar (11)	Apr (75)	May (1)	Jun (95)	Jul (19)	Aug (4)	Sep (8)	Oct (93)	Nov (43)	Dec (21)
2010	Jan (20)	Feb (23)	Mar (18)	Apr (6)	May (20)	Jun (23)	Jul (1)	Aug	Sep	Oct	Nov	Dec
2011	Jan (2)	Feb (6)	Mar (15)	Apr (5)	May (9)	Jun (14)	Jul (9)	Aug	Sep	Oct	Nov	Dec
2012	Jan	Feb (3)	Mar	Apr	May (2)	Jun (17)	Jul (37)	Aug	Sep (1)	Oct (6)	Nov	Dec
2013	Jan	Feb	Mar (5)	Apr (2)	May (7)	Jun (11)	Jul (8)	Aug	Sep (1)	Oct (2)	Nov	Dec
2014	Jan	Feb (2)	Mar (1)	Apr	May (1)	Jun (1)	Jul (7)	Aug (2)	Sep	Oct (5)	Nov (2)	Dec (4)
2015	Jan	Feb (2)	Mar (2)	Apr	May	Jun (9)	Jul (1)	Aug	Sep	Oct (4)	Nov (1)	Dec
2016	Jan (2)	Feb (1)	Mar (1)	Apr (1)	May (1)	Jun (2)	Jul (1)	Aug	Sep (5)	Oct	Nov	Dec
2017	Jan (1)	Feb (3)	Mar (3)	Apr (7)	May (2)	Jun (2)	Jul (5)	Aug (1)	Sep (2)	Oct (17)	Nov (4)	Dec (7)
2018	Jan (5)	Feb (14)	Mar (2)	Apr (5)	May (2)	Jun (5)	Jul	Aug (2)	Sep	Oct (3)	Nov (5)	Dec
2019	Jan (4)	Feb (2)	Mar (3)	Apr (1)	May (8)	Jun (14)	Jul (2)	Aug	Sep (2)	Oct (2)	Nov (15)	Dec (2)
2020	Jan (10)	Feb (3)	Mar (1)	Apr	May (9)	Jun (4)	Jul (16)	Aug (10)	Sep (4)	Oct (3)	Nov	Dec
2021	Jan (11)	Feb (2)	Mar (2)	Apr	May	Jun (1)	Jul	Aug (5)	Sep	Oct (6)	Nov (4)	Dec (4)
2022	Jan (4)	Feb (2)	Mar (2)	Apr	May (6)	Jun (3)	Jul	Aug (1)	Sep	Oct	Nov (1)	Dec
2023	Jan	Feb	Mar	Apr (2)	May (5)	Jun (1)	Jul (4)	Aug (1)	Sep	Oct (1)	Nov (13)	Dec
2024	Jan (1)	Feb	Mar (5)	Apr	May (10)	Jun	Jul	Aug (3)	Sep	Oct	Nov (1)	Dec (14)
2025	Jan (3)	Feb	Mar (1)	Apr	May (2)	Jun (3)	Jul	Aug	Sep (2)	Oct (3)	Nov	Dec

mlton-commit Mailing List for MLton (Page 134)

A whole-program optimizing compiler for Standard ML

mlton-commit — [MLton-commit] Code commits