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

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

diff --git a/types.db b/types.db
index ce07444..c148dad 100644
--- a/types.db
+++ b/types.db
@@ -333,8 +333,6 @@
     (##core#inline_allocate ("C_a_i_flonum_quotient_checked" 4) #(1) #(2))))
 
 (= (#(procedure #:clean #:enforce) = (#!rest number) boolean)
-   (() '#t)
-   ((number) (let ((#(tmp) #(1))) '#t))
    ((fixnum fixnum) (eq? #(1) #(2)))
    ((float fixnum) (##core#inline
 		    "C_flonum_equalp"
@@ -347,8 +345,6 @@
    ((float float) (##core#inline "C_flonum_equalp" #(1) #(2))))
 
 (> (#(procedure #:clean #:enforce) > (#!rest number) boolean)
-   (() '#t)
-   ((number) (let ((#(tmp) #(1))) '#t))
    ((fixnum fixnum) (fx> #(1) #(2)))
    ((float fixnum) (##core#inline
 		    "C_flonum_greaterp"
@@ -361,8 +357,6 @@
    ((float float) (##core#inline "C_flonum_greaterp" #(1) #(2))))
 
 (< (#(procedure #:clean #:enforce) < (#!rest number) boolean)
-   (() '#t)
-   ((number) (let ((#(tmp) #(1))) '#t))
    ((fixnum fixnum) (fx< #(1) #(2)))
    ((float fixnum) (##core#inline
 		    "C_flonum_lessp"
@@ -375,8 +369,6 @@
    ((float float) (##core#inline "C_flonum_lessp" #(1) #(2))))
 
 (>= (#(procedure #:clean #:enforce) >= (#!rest number) boolean)
-    (() '#t)
-    ((number) (let ((#(tmp) #(1))) '#t))
     ((fixnum fixnum) (fx>= #(1) #(2)))
     ((float fixnum) (##core#inline
 		     "C_flonum_greater_or_equal_p"
@@ -389,8 +381,6 @@
     ((float float) (##core#inline "C_flonum_greater_or_equal_p" #(1) #(2))))
 
 (<= (#(procedure #:clean #:enforce) <= (#!rest number) boolean)
-    (() '#t)
-    ((number) (let ((#(tmp) #(1))) '#t))
     ((fixnum fixnum) (fx<= #(1) #(2)))
     ((float fixnum) (##core#inline
 		     "C_flonum_less_or_equal_p"
-- 
2.1.4