[MLton-commit] r5543

[Vesa Karvonen]

Tuning naming of datatypes.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/order.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2007-05-01 21:47:46 UTC (rev 5542)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2007-05-01 22:00:01 UTC (rev 5543)
@@ -31,7 +31,7 @@
 structure VectorSlice = struct open BasisVectorSlice type 'a t = 'a slice end
 structure List = struct open BasisList type 'a t = 'a list end
 structure Effect = struct type 'a t = 'a -> Unit.t end
-structure Order = struct datatype t = datatype order end
+structure Order = struct datatype order = datatype order type t = order end
 structure Pair = struct
    type ('a, 'b) pair = 'a * 'b
    type ('a, 'b) t = ('a, 'b) pair

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig	2007-05-01 21:47:46 UTC (rev 5542)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig	2007-05-01 22:00:01 UTC (rev 5543)
@@ -6,9 +6,10 @@
 
 (** Extended {BOOL} signature. *)
 signature BOOL = sig
-   datatype bool = datatype Bool.bool
+   datatype bool = datatype bool
+   (** The {bool} datatype. *)
 
-   type t = Bool.t
+   type t = bool
    (** Convenience alias. *)
 
    val not : t UnOp.t

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/order.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/order.sig	2007-05-01 21:47:46 UTC (rev 5542)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/order.sig	2007-05-01 22:00:01 UTC (rev 5543)
@@ -6,9 +6,12 @@
 
 (** Utilities for dealing with the {order} datatype. *)
 signature ORDER = sig
-   datatype t = datatype order
+   datatype order = datatype order
    (** The {order} datatype. *)
 
+   type t = order
+   (** Convenience alias. *)
+
    val swap : t UnOp.t
    (**
     * Swap order: