[MLton-commit] r5540

[geoffw at mlton.org]

Added disjunction and conjunction operators for booleans.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/bool.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/bool.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/bool.sml	2007-04-25 13:40:19 UTC (rev 5539)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/bool.sml	2007-04-27 19:29:03 UTC (rev 5540)
@@ -29,4 +29,7 @@
    open Stringable
 
    open Core
+
+   fun orb (b1, b2) = b1 orelse b2
+   fun andb (b1, b2) = b1 andalso b2
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig	2007-04-25 13:40:19 UTC (rev 5539)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig	2007-04-27 19:29:03 UTC (rev 5540)
@@ -14,6 +14,12 @@
    val not : t UnOp.t
    (** Logical negation. *)
 
+   val orb : t BinOp.t
+   (** Logical disjunction *)
+
+   val andb : t BinOp.t
+   (** Logical conjunction *)
+
    val isTrue : t UnPr.t
    (** {isTrue x = x = true} *)