add box cons void

Author: Connor-XY

Diff for: compile.rkt

@@ -63,13 +63,13 @@
     [(Prim1 p e0)        
     (match p
       ['add1  (begin (check-op-return-type f e et 'Int) ())]
-      ['sub1]
-      ['zero?]
-      ['char?]
-      ['char->integer]
-      ['integer->char]
-      ['eof-object?]
-      ['write-byte]
+      ['sub1  (begin (check-op-return-type f e et 'Int) ())]
+      ['zero? (begin (check-op-return-type f e et 'Bool) ())]
+      ['char? (begin (check-op-return-type f e et 'Bool) ())]
+      ['char->integer (begin (check-op-return-type f e et 'Int) ())]
+      ['integer->char (begin (check-op-return-type f e et 'Char) ())]
+      ['eof-object?   (begin (check-op-return-type f e et 'Bool) ())]
+      ['write-byte    (begin (check-op-return-type f e et 'Void) ())]
       ['box]
       ['unbox]
       ['car]

Diff for: types.rkt

@@ -66,7 +66,7 @@
   (zero? (bitwise-xor (bitwise-and v imm-mask) type-str)))
 
 (define types
-  '(Int Bool Char Str Vector Eof Empty Any))
+  '(Int Bool Char Str Vector Eof Empty Box Cons Void Any))
 
 (define (is-member e list)
   (if (eq? (member e list) #f) #f #t))