[MLton-commit] r5798

[Vesa Karvonen]

Trivialities.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn/un-op.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-op.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn/un-op.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn/un-op.sml	2007-07-27 06:07:52 UTC (rev 5797)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn/un-op.sml	2007-07-27 09:57:16 UTC (rev 5798)
@@ -6,4 +6,5 @@
 
 structure UnOp :> UN_OP = struct
    open UnOp
+   val map = Fn.map
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2007-07-27 06:07:52 UTC (rev 5797)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2007-07-27 09:57:16 UTC (rev 5798)
@@ -112,12 +112,13 @@
 
 (*
  * These structures are mentioned separately here, rather than in the
- * below list sorted alphabetically, because otherwise SML/NJ (v110.62)
+ * below list sorted alphabetically, because otherwise SML/NJ (v110.65)
  * barfs.
  *)
 structure Sq : SQ = Sq
 structure Sum : SUM = Sum
 structure Thunk : THUNK = Thunk
+structure UnOp : UN_OP = UnOp
 structure UnPr : UN_PR = UnPr
 structure Univ : UNIV = Univ
 structure Vector : VECTOR = Vector
@@ -168,7 +169,6 @@
 structure Text : TEXT = Text
 structure TextIO : TEXT_IO = TextIO
 structure Tie : TIE = Tie
-structure UnOp : UN_OP = UnOp
 structure Unit : UNIT = Unit
 structure VectorSlice : VECTOR_SLICE = VectorSlice
 structure Void : VOID = Void

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-op.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-op.sig	2007-07-27 06:07:52 UTC (rev 5797)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-op.sig	2007-07-27 09:57:16 UTC (rev 5798)
@@ -8,4 +8,7 @@
 signature UN_OP = sig
    type 'a t = 'a -> 'a
    (** Type of unary operators (e.g. {~, rev, ...}). *)
+
+   val map : ('a, 'b) Iso.t -> 'b t -> 'a t
+   (** Change the sort of a unary operator. *)
 end