Write closure conversion.

I desperately need a diffing library.

1 files changed, 2 insertions, 10 deletions

diff --git a/csc/ir1.csc b/csc/ir1.csc
index 73ec703..33588c9 100644
--- a/csc/ir1.csc
+++ b/csc/ir1.csc
@@ -196,7 +196,7 @@
       (expression letrec-expression))
 
 
-    (define (ir1=?-sametype x y)
+    (define (ir1=? x y)
       (cond
         ((and (constant? x) (constant? y))
           (equal? (constant-expression x) (constant-expression y)))
@@ -253,12 +253,4 @@
               (= (length x-values) (length y-values))
               (all ir1=? x-values y-values)
               (ir1=? (letrec-expression x) (letrec-expression y)))))
-        (else #f)))
-
-
-    (define (ir1=? x y)
-      (cond
-        ((ir1=?-sametype x y) #t)
-        ((and (ir1=?-sametype x x) (ir1=?-sametype y y))
-          #f)
-        (else (error "One or more arguments has a type unknown to ir1=?" x y))))))
+        (else #f)))))