From a9efcf4890af278edb6641f8344878e4a98f455f Mon Sep 17 00:00:00 2001
From: Peter Bex <address@hidden>
Date: Sun, 31 May 2015 17:29:36 +0200
Subject: [PATCH] Remove bogus scrutiny entries for zero and one arg
 comparators

---
 types.db | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/types.db b/types.db
index 7f0c87b..c8830f6 100644
--- a/types.db
+++ b/types.db
@@ -396,40 +396,30 @@
     (##sys#/-2 #(1) #(2))))
 
 (= (#(procedure #:clean #:enforce #:foldable) = (#!rest number) boolean)
-   (() '#t)
-   ((number) (let ((#(tmp) #(1))) '#t))
    ((fixnum fixnum) (eq? #(1) #(2)))
    ((float float) (##core#inline "C_flonum_equalp" #(1) #(2)))
    ((integer integer) (##core#inline "C_i_integer_equalp" #(1) #(2)))
    ((* *) (##core#inline "C_i_nequalp" #(1) #(2))))
 
 (> (#(procedure #:clean #:enforce #:foldable) > (#!rest number) boolean)
-   (() '#t)
-   ((number) (let ((#(tmp) #(1))) '#t))
    ((fixnum fixnum) (fx> #(1) #(2)))
    ((float float) (##core#inline "C_flonum_greaterp" #(1) #(2)))
    ((integer integer) (##core#inline "C_i_integer_greaterp" #(1) #(2)))
    ((* *) (##core#inline "C_i_greaterp" #(1) #(2))))
 
 (< (#(procedure #:clean #:enforce #:foldable) < (#!rest number) boolean)
-   (() '#t)
-   ((number) (let ((#(tmp) #(1))) '#t))
    ((fixnum fixnum) (fx< #(1) #(2)))
    ((integer integer) (##core#inline "C_i_integer_lessp" #(1) #(2)))
    ((float float) (##core#inline "C_flonum_lessp" #(1) #(2)))
    ((* *) (##core#inline "C_i_lessp" #(1) #(2))))
 
 (>= (#(procedure #:clean #:enforce #:foldable) >= (#!rest number) boolean)
-    (() '#t)
-    ((number) (let ((#(tmp) #(1))) '#t))
     ((fixnum fixnum) (fx>= #(1) #(2)))
     ((integer integer) (##core#inline "C_i_integer_greater_or_equalp" #(1) #(2)))
     ((float float) (##core#inline "C_flonum_greater_or_equal_p" #(1) #(2)))
     ((* *) (##core#inline "C_i_greater_or_equalp" #(1) #(2))))
 
 (<= (#(procedure #:clean #:enforce #:foldable) <= (#!rest number) boolean)
-    (() '#t)
-    ((number) (let ((#(tmp) #(1))) '#t))
     ((fixnum fixnum) (fx<= #(1) #(2)))
     ((integer integer) (##core#inline "C_i_integer_less_or_equalp" #(1) #(2)))
     ((float float) (##core#inline "C_flonum_less_or_equal_p" #(1) #(2)))
-- 
2.1.4