[MLton-commit] r6499

Vesa Karvonen vesak at mlton.org
Sat Mar 22 06:17:15 PST 2008


Renamed negate -> neg for brevity.  "negate p" is usually longer than "not
o p", but "neg p" isn't.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn/un-pr.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-pr.sig
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/seq.sml
U   mltonlib/trunk/com/ssh/misc-util/unstable/eq.sml
U   mltonlib/trunk/com/ssh/misc-util/unstable/queue.sml
U   mltonlib/trunk/org/mlton/vesak/ds/unstable/detail/linked-queue.sml

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn/un-pr.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn/un-pr.sml	2008-03-21 12:40:19 UTC (rev 6498)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn/un-pr.sml	2008-03-22 14:17:10 UTC (rev 6499)
@@ -9,5 +9,5 @@
    fun map f p = p o f
    fun op andAlso (p, q) ? = p ? andalso q ?
    fun op orElse (p, q) ? = p ? orelse q ?
-   fun negate p = not o p
+   fun neg p = not o p
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2008-03-21 12:40:19 UTC (rev 6498)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2008-03-22 14:17:10 UTC (rev 6499)
@@ -115,7 +115,7 @@
 
    (** == UnPr == *)
 
-   val negate = UnPr.negate
+   val neg = UnPr.neg
 
    val op andAlso = UnPr.andAlso
    val op orElse = UnPr.orElse

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-pr.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-pr.sig	2008-03-21 12:40:19 UTC (rev 6498)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-pr.sig	2008-03-22 14:17:10 UTC (rev 6499)
@@ -15,8 +15,8 @@
    val andAlso : 'a t BinOp.t
    (** Conjunction of predicates ({(p andAlso q) x = p x andalso q y}). *)
 
-   val negate : 'a t UnOp.t
-   (** Predicate negation ({negate p = not o p}). *)
+   val neg : 'a t UnOp.t
+   (** Predicate negation ({neg p = not o p}). *)
 
    val orElse : 'a t BinOp.t
    (** Disjunction of predicates ({(p orElse q) x = p x orelse q x}). *)

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/seq.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/seq.sml	2008-03-21 12:40:19 UTC (rev 6498)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/seq.sml	2008-03-22 14:17:10 UTC (rev 6499)
@@ -67,7 +67,7 @@
        case getT t
         of IN eq => fn xy =>
            eq (HashMap.new {eq = HashUniv.eq, hash = HashUniv.hash}, xy)
-   fun notSeq t = negate (seq t)
+   fun notSeq t = neg (seq t)
    fun withSeq eq = mapT (const (lift eq))
 
    structure Open = LayerDepCases

Modified: mltonlib/trunk/com/ssh/misc-util/unstable/eq.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/eq.sml	2008-03-21 12:40:19 UTC (rev 6498)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/eq.sml	2008-03-22 14:17:10 UTC (rev 6499)
@@ -41,7 +41,7 @@
    type 'a eq_t = 'a t
 
    val eq = id
-   val notEq = negate
+   val notEq = neg
 
    fun iso b (a2b, _) = b o Pair.map (Sq.mk a2b)
 

Modified: mltonlib/trunk/com/ssh/misc-util/unstable/queue.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/queue.sml	2008-03-21 12:40:19 UTC (rev 6498)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/queue.sml	2008-03-22 14:17:10 UTC (rev 6499)
@@ -47,7 +47,7 @@
    fun filter c (T {back, front}) =
        back := Node.filter c (!front)
 
-   fun filterOut c = filter (negate c)
+   fun filterOut c = filter (neg c)
 
    fun appClear ef (T {back, front}) =
        back := Node.appClear ef (!front)

Modified: mltonlib/trunk/org/mlton/vesak/ds/unstable/detail/linked-queue.sml
===================================================================
--- mltonlib/trunk/org/mlton/vesak/ds/unstable/detail/linked-queue.sml	2008-03-21 12:40:19 UTC (rev 6498)
+++ mltonlib/trunk/org/mlton/vesak/ds/unstable/detail/linked-queue.sml	2008-03-22 14:17:10 UTC (rev 6499)
@@ -45,7 +45,7 @@
    fun filter c (T {back, front}) =
        back := Node.filter c (!front)
 
-   fun filterOut c = filter (negate c)
+   fun filterOut c = filter (neg c)
 
    fun appClear ef (T {back, front}) =
        back := Node.appClear ef (!front)




More information about the MLton-commit mailing list