From 4c475fb64ce8a779e6e0c61547076e034e485bb9 Mon Sep 17 00:00:00 2001
From: Joe Marshall <eval.apply@gmail.com>
Date: Wed, 25 Jan 2012 00:38:56 -0800
Subject: [PATCH] Don't bother flipping the sense of negative conditionals.

---
 src/sf/subst.scm | 19 ++-----------------
 1 file changed, 2 insertions(+), 17 deletions(-)

diff --git a/src/sf/subst.scm b/src/sf/subst.scm
index 1258c41a8..87d6cbf9b 100644
--- a/src/sf/subst.scm
+++ b/src/sf/subst.scm
@@ -181,14 +181,7 @@ USA.
                                integrated-predicate
                                consequent
                                alternative)
-  (cond ((expression/call-to-not? integrated-predicate)
-         ;; (if (not <e1>) <e2> <e3>) => (if <e1> <e3> <e2>)
-         (integrate/conditional
-          operations environment expression
-          (first (combination/operands integrated-predicate))
-          alternative consequent))
-
-        ((sequence? integrated-predicate)
+  (cond ((sequence? integrated-predicate)
          (sequence/make
           (and expression (object/scode expression))
           (append (except-last-pair (sequence/actions integrated-predicate))
@@ -263,15 +256,7 @@ USA.
 
 (define (integrate/disjunction operations environment expression
                                integrated-predicate alternative)
-  (cond ((expression/call-to-not? integrated-predicate)
-         ;; (or (not e1) e2) => (if e1 e2 #t)
-         (integrate/conditional
-          operations environment expression
-          (first (combination/operands integrated-predicate))
-          alternative
-          (constant/make #f #t)))
-
-        ((and (expression/never-false? integrated-predicate)
+  (cond ((and (expression/never-false? integrated-predicate)
               (noisy-test sf:enable-disjunction-folding?
                           "Fold constant true disjunction"))
          ;; (or <exp1> <exp2>) => <exp1> if <exp1> is never false
-- 
2.25.1