[MLton-commit] r6954

[Vesa Karvonen]

Added Id : ID for the identity type constructor.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm
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/data/id.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2008-10-18 10:48:13 UTC (rev 6953)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2008-10-18 17:53:32 UTC (rev 6954)
@@ -45,7 +45,10 @@
 structure Word8Array = struct open BasisWord8Array type t = array end
 structure Word8ArraySlice = struct open BasisWord8ArraySlice type t = slice end
 structure Word8Vector = struct open BasisWord8Vector type t = vector end
-structure Word8VectorSlice = struct open BasisWord8VectorSlice type t = slice end
+structure Word8VectorSlice = struct
+   open BasisWord8VectorSlice
+   type t = slice
+end
 structure Pair = struct
    type ('a, 'b) pair = 'a * 'b
    type ('a, 'b) t = ('a, 'b) pair
@@ -76,3 +79,4 @@
 structure IEEEReal = BasisIEEEReal
 structure Time = struct open BasisTime type t = time end
 structure CPS = struct type ('a, 'b) t = ('a -> 'b) -> 'b end
+structure Id = struct type 'a t = 'a end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm	2008-10-18 10:48:13 UTC (rev 6953)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm	2008-10-18 17:53:32 UTC (rev 6954)
@@ -34,6 +34,7 @@
    ../../../public/control/iter.sig
    ../../../public/control/with.sig
    ../../../public/data/bool.sig
+   ../../../public/data/id.sig
    ../../../public/data/option.sig
    ../../../public/data/order.sig
    ../../../public/data/pair.sig

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2008-10-18 10:48:13 UTC (rev 6953)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2008-10-18 17:53:32 UTC (rev 6954)
@@ -105,6 +105,9 @@
          public/basic.sig
          detail/basic.sml
 
+         (* Id *)
+         public/data/id.sig
+
          (* Unit *)
          public/data/unit.sig
 

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2008-10-18 10:48:13 UTC (rev 6953)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2008-10-18 17:53:32 UTC (rev 6954)
@@ -45,6 +45,7 @@
      "detail/fn/cps.sml",
      "public/basic.sig",
      "detail/basic.sml",
+     "public/data/id.sig",
      "public/data/unit.sig",
      "public/data/sq.sig",
      "detail/data/sq.sml",

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/id.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/id.sig	2008-10-18 10:48:13 UTC (rev 6953)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/id.sig	2008-10-18 17:53:32 UTC (rev 6954)
@@ -0,0 +1,8 @@
+(* Copyright (C) 2008 Vesa Karvonen
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+(** Signature for the {Id} module for the identity type constructor. *)
+signature ID = T'1 where type 'a t = 'a


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/id.sig
___________________________________________________________________
Name: svn:eol-style
   + native

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2008-10-18 10:48:13 UTC (rev 6953)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2008-10-18 17:53:32 UTC (rev 6954)
@@ -80,6 +80,7 @@
 signature FN = FN
 signature FOLD = FOLD
 signature FRU = FRU
+signature ID = ID
 signature INTEGER = INTEGER
 signature INT_INF = INT_INF
 signature IOS_MONAD = IOS_MONAD
@@ -170,6 +171,7 @@
 structure FixedInt : INTEGER = FixedInt
 structure Fn : FN = Fn
 structure Fold : FOLD = Fold
+structure Id : ID = Id
 structure IOSMonad : IOS_MONAD = IOSMonad
 structure Int : INTEGER = Int
 structure Iso : ISO = Iso