From 37e086d27d478246e72b8f5c1b75ed5d092495fa Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rhogenson@posteo.net>
Date: Sat, 2 Jul 2022 23:04:28 -0700
Subject: Write closure conversion.

I desperately need a diffing library.
---
 csc/ir1.csc | 12 ++----------
 1 file changed, 2 insertions(+), 10 deletions(-)

(limited to 'csc/ir1.csc')

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)))))
-- 
cgit v1.3.1