Touch up CEnv type defn.

dvanhorn · dvanhorn · commit 64071f5817a1 · 2023-06-21T01:15:24.000-04:00
diff --git a/langs/fraud/compile.rkt b/langs/fraud/compile.rkt
@@ -8,7 +8,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = (Listof ID)
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Expr -> Asm
 (define (compile e)
diff --git a/langs/hoax/compile.rkt b/langs/hoax/compile.rkt
@@ -9,7 +9,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Variable]
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Expr -> Asm
 (define (compile e)
diff --git a/langs/hustle/compile.rkt b/langs/hustle/compile.rkt
@@ -9,7 +9,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Variable]
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Expr -> Asm
 (define (compile e)
diff --git a/langs/iniquity/compile.rkt b/langs/iniquity/compile.rkt
@@ -9,7 +9,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Variable]
+;; type CEnv = (Listof [Maybe Id])
   
 ;; Prog -> Asm
 (define (compile p)
diff --git a/langs/jig/compile.rkt b/langs/jig/compile.rkt
@@ -9,7 +9,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Variable]
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Prog -> Asm
 (define (compile p)
diff --git a/langs/knock/compile.rkt b/langs/knock/compile.rkt
@@ -9,7 +9,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Variable]
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Prog -> Asm
 (define (compile p)
diff --git a/langs/loot/compile.rkt b/langs/loot/compile.rkt
@@ -9,7 +9,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Id]
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Prog -> Asm
 (define (compile p)
diff --git a/langs/mountebank/compile.rkt b/langs/mountebank/compile.rkt
@@ -16,7 +16,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Id]
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Prog -> Asm
 (define (compile p)
diff --git a/langs/mug/compile.rkt b/langs/mug/compile.rkt
@@ -16,7 +16,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Id]
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Prog -> Asm
 (define (compile p)
diff --git a/langs/neerdowell/compile.rkt b/langs/neerdowell/compile.rkt
@@ -16,7 +16,7 @@
 (define rdi 'rdi) ; arg
 (define r15 'r15) ; stack pad (non-volatile)
 
-;; type CEnv = [Listof Id]
+;; type CEnv = (Listof [Maybe Id])
 
 ;; Prog -> Asm
 (define (compile p)
diff --git a/www/notes/dupe.scrbl b/www/notes/dupe.scrbl
@@ -1016,14 +1016,16 @@ interpreter and compiler are free to do anything on this input.
 
 Since we know Racket will signal an error when the interpreter tries
 to interpret a meaningless expression, we can write an alternate
-@racket[check-correctness] function that catches any exceptions and
-produces void, effectively ignoring the test:
+@racket[check-correctness] function that first runs the interpreter
+with an exception handler installed.  Should an error occur,
+the test is ignored, otherwise the value produced is compared
+to that of the compiler:
 
 @ex[
 (define (check-correctness e)
   (with-handlers ([exn:fail? void])
-    (check-equal? (interp-compile e)
-                  (interp e))))
+    (let ((v (interp e)))
+      (check-equal? v (interp-compile e)))))
 
 (check-correctness (parse '(add1 7)))
 (check-correctness (parse '(add1 #f)))
