From 1aff86a55f581a023c2279c5123ff007cfa5fd2f Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 7 Jul 2009 14:25:52 +0000
Subject: [PATCH]
---
src/funcheck/lib/Specs.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/funcheck/lib/Specs.scala b/src/funcheck/lib/Specs.scala
index ba31e1888..962ff5c57 100644
--- a/src/funcheck/lib/Specs.scala
+++ b/src/funcheck/lib/Specs.scala
@@ -11,7 +11,7 @@ object Specs {
class generator extends StaticAnnotation
implicit def extendedBoolean(b: Boolean) = new {
- def ==>(p: Boolean) = Specs ==> (b,p)
+ def ==>(p: Boolean) = (!b || p) // Specs ==> (b,p)
}
def forAll[A](f: A => Boolean): Boolean = {
@@ -22,9 +22,9 @@ object Specs {
/** Implication */
- def ==>(ifz: => Boolean, then: Boolean): Boolean = {
+/* def ==>(ifz: => Boolean, then: Boolean): Boolean = {
Console.err.println("Warning: ignored implication. Are you using the funcheck plugin?")
true
//error("\"==>\" (implication) combinator is currently unsupported by plugin.")
- }
+ }*/
}
--
GitLab