[MLton-commit] r6222

Vesa Karvonen vesak at mlton.org
Thu Nov 29 02:14:04 PST 2007


Added convenience type alias t to Time.
----------------------------------------------------------------------

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
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/public/time/
A   mltonlib/trunk/com/ssh/extended-basis/unstable/public/time/time.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2007-11-29 06:20:02 UTC (rev 6221)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2007-11-29 10:14:02 UTC (rev 6222)
@@ -28,7 +28,10 @@
 structure LargeWord = struct open BasisLargeWord type t = word end
 structure List = struct open BasisList type 'a t = 'a list end
 structure Option = struct open BasisOption type 'a t = 'a option end
-structure Order = struct datatype order = datatype order type t = order end
+structure Order = struct
+   datatype order = datatype BasisGeneral.order
+   type t = order
+end
 structure String = struct open BasisString type t = string end
 structure Substring = struct open BasisSubstring type t = substring end
 structure Vector = struct open BasisVector type 'a t = 'a vector end
@@ -64,3 +67,4 @@
 structure ShiftOp = struct type 'a t = 'a * Word.t -> 'a end
 structure BinFn = struct type ('a, 'b) t = 'a Sq.t -> 'b end
 structure IEEEReal = BasisIEEEReal
+structure Time = struct open BasisTime type t = time 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	2007-11-29 06:20:02 UTC (rev 6221)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm	2007-11-29 10:14:02 UTC (rev 6222)
@@ -83,5 +83,6 @@
    ../../../public/text/string.sig
    ../../../public/text/substring.sig
    ../../../public/text/text.sig
+   ../../../public/time/time.sig
    ../../../public/typing/phantom.sig
    bootstrap.cm

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2007-11-29 06:20:02 UTC (rev 6221)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2007-11-29 10:14:02 UTC (rev 6222)
@@ -306,6 +306,9 @@
 
          (* MkWordFlags *)
          detail/concept/mk-word-flags.fun
+
+         (* Time *)
+         public/time/time.sig
       in
          public/export/$(SML_COMPILER).sml
          public/export/common.sml

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2007-11-29 06:20:02 UTC (rev 6221)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2007-11-29 10:14:02 UTC (rev 6222)
@@ -160,6 +160,7 @@
      "public/os/os.sig",
      "detail/os/os.sml",
      "detail/concept/mk-word-flags.fun",
+     "public/time/time.sig",
      "public/export/${SML_COMPILER}.sml",
      "public/export/common.sml",
      "public/export/top-level.sml",

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2007-11-29 06:20:02 UTC (rev 6221)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2007-11-29 10:14:02 UTC (rev 6222)
@@ -103,6 +103,7 @@
 signature TEXT_IO = TEXT_IO
 signature THUNK = THUNK
 signature TIE = TIE
+signature TIME = TIME
 signature UNIT = UNIT
 signature UNIV = UNIV
 signature UN_OP = UN_OP
@@ -180,6 +181,7 @@
 structure Text : TEXT = Text
 structure TextIO : TEXT_IO = TextIO
 structure Tie : TIE = Tie
+structure Time : TIME = Time
 structure Unit : UNIT = Unit
 structure VectorSlice : VECTOR_SLICE = VectorSlice
 structure Void : VOID = Void

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/time/time.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/time/time.sig	2007-11-29 06:20:02 UTC (rev 6221)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/time/time.sig	2007-11-29 10:14:02 UTC (rev 6222)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2007 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.
+ *)
+
+(**
+ * Extended {TIME} signature.
+ *)
+signature TIME = sig
+   include BASIS_TIME
+   type t = time
+end


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




More information about the MLton-commit mailing list