From dfed0dd11c8a7efb222424002613eb168e02136e Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rhogenson@posteo.net>
Date: Fri, 22 Apr 2022 19:12:21 -0700
Subject: Remove the void type.

Why have void? We will just use #f.
---
 csc/ir1.csc | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'csc/ir1.csc')

diff --git a/csc/ir1.csc b/csc/ir1.csc
index e5fc2dd..ab60fc9 100644
--- a/csc/ir1.csc
+++ b/csc/ir1.csc
@@ -54,11 +54,9 @@
     make-library-define
     make-library-ref
     make-sequence
-    make-void
     sequence-head
     sequence-tail
-    sequence?
-    void?)
+    sequence?)
   (import (scheme base)
           (only (csc loop) loop return))
   (begin
@@ -67,13 +65,6 @@
     ; Tree-IL).
 
 
-    ; <void>
-    ; An empty expression. In practice, equivalent to Scheme's (if #f #f).
-    (define-record-type <void>
-      (make-void)
-      void?)
-
-
     ; <constant> expression
     ; Constant is used to include literal constants in scheme code.
     (define-record-type <constant>
@@ -212,7 +203,6 @@
 
     (define (ir1=?-sametype x y)
       (cond
-        ((and (void? x) (void? y)) #t)
         ((and (constant? x) (constant? y))
           (equal? (constant-expression x) (constant-expression y)))
         ((and (lexical-ref? x) (lexical-ref? y))
-- 
cgit v1.3.1