[MLton-commit] r4997

[Vesa K. <ve...@ml...>]

Added ShiftOp : SHIFT_OP.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/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/fn/shift-op.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2006-12-25 05:00:18 UTC (rev 4996)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2006-12-27 14:19:26 UTC (rev 4997)
@@ -52,3 +52,4 @@
 structure Emb = struct type ('a, 'b) t = ('a -> 'b) * ('b -> 'a Option.t) end
 structure Iso = struct type ('a, 'b) t = ('a -> 'b) * ('b -> 'a) end
 structure With = struct type ('a, 'b) t = ('a -> 'b) -> 'b end
+structure ShiftOp = struct type 'a t = 'a * Word.t -> 'a end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm	2006-12-25 05:00:18 UTC (rev 4996)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm	2006-12-27 14:19:26 UTC (rev 4997)
@@ -25,6 +25,7 @@
    ../../public/fn/cmp.sig
    ../../public/fn/effect.sig
    ../../public/fn/fn.sig
+   ../../public/fn/shift-op.sig
    ../../public/fn/thunk.sig
    ../../public/fn/un-op.sig
    ../../public/fn/un-pr.sig

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2006-12-25 05:00:18 UTC (rev 4996)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2006-12-27 14:19:26 UTC (rev 4997)
@@ -201,6 +201,7 @@
          in
             bas public/lazy/promise.sig detail/promise.sml end
          end
+         basis ShiftOp = bas public/fn/shift-op.sig end
 
          open BinOp BinPr Bool Buffer
          open Cmp
@@ -212,7 +213,7 @@
          open Option Order
          open Products Promise
          open Reader Ref
-         open Scalars Seqs Sq Sum
+         open Scalars Seqs ShiftOp Sq Sum
          open Thunk Tie
          open Unit Univ UnOp UnPr
          open With Writer

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2006-12-25 05:00:18 UTC (rev 4996)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2006-12-27 14:19:26 UTC (rev 4997)
@@ -88,6 +88,7 @@
         "detail/"^compiler^"/mono-array-slices.sml",
         "detail/"^compiler^"/texts.sml",
         "public/lazy/promise.sig", "detail/promise.sml",
+        "public/fn/shift-op.sig",
         "detail/"^compiler^"/forget.use",
         "public/export/"^compiler^".sml",
         "public/export/common.sml",

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2006-12-25 05:00:18 UTC (rev 4996)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2006-12-27 14:19:26 UTC (rev 4997)
@@ -38,6 +38,7 @@
 signature READER = READER
 signature REAL = REAL
 signature REF = REF
+signature SHIFT_OP = SHIFT_OP
 signature SQ = SQ
 signature STRING = STRING
 signature SUBSTRING = SUBSTRING
@@ -55,10 +56,14 @@
 signature WORD = WORD
 signature WRITER = WRITER
 
+structure Sq : SQ = Sq
+structure Sum : SUM = Sum
+structure Thunk : THUNK = Thunk
+structure UnPr : UN_PR = UnPr
 structure Univ : UNIV = Univ
 structure Vector : VECTOR = Vector
+structure With : WITH = With
 structure Writer : WRITER = Writer
-structure With : WITH = With
 
 structure Array : ARRAY = Array
 structure ArraySlice : ARRAY_SLICE = ArraySlice
@@ -94,15 +99,12 @@
 structure Reader : READER = Reader
 structure Real : REAL = Real
 structure Ref : REF where type 'a t = 'a ref = Ref
-structure Sq : SQ = Sq
+structure ShiftOp : SHIFT_OP = ShiftOp
 structure String : STRING = String
 structure Substring : SUBSTRING = Substring
-structure Sum : SUM = Sum
 structure Text : TEXT = Text
-structure Thunk : THUNK = Thunk
 structure Tie : TIE = Tie
 structure UnOp : UN_OP = UnOp
-structure UnPr : UN_PR = UnPr
 structure Unit : UNIT = Unit
 structure VectorSlice : VECTOR_SLICE = VectorSlice
 structure Word : WORD = Word

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/shift-op.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/shift-op.sig	2006-12-25 05:00:18 UTC (rev 4996)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/shift-op.sig	2006-12-27 14:19:26 UTC (rev 4997)
@@ -0,0 +1,11 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+(** Utilities for dealing with bit-wise shift operators. *)
+signature SHIFT_OP = sig
+   type 'a t = 'a * Word.t -> 'a
+   (** Type of bit-wise shift operators {<<, >>, ~>>}. *)
+end


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