[MLton-commit] r5529

[Vesa Karvonen]

Added droplr.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/text/mk-text-ext.fun
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/substring.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/text/mk-text-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/text/mk-text-ext.fun	2007-04-16 03:26:32 UTC (rev 5528)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/text/mk-text-ext.fun	2007-04-17 15:53:36 UTC (rev 5529)
@@ -94,6 +94,7 @@
       open Substring
       type t = substring
       val length = size
+      fun droplr p = dropl p o dropr p
       fun extendl pred ss = let
          val (s, i, n) = base ss
          val j = i+n

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/substring.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/substring.sig	2007-04-16 03:26:32 UTC (rev 5528)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/substring.sig	2007-04-17 15:53:36 UTC (rev 5529)
@@ -17,6 +17,9 @@
     * {size}.
     *)
 
+   val droplr : char UnPr.t -> t UnOp.t
+   (** {droplr p} is equivalent to {dropl p o dropr p}. *)
+
    val extendl : char UnPr.t -> t UnOp.t
    val extendr : char UnPr.t -> t UnOp.t
    (**