Fix signature of interp in Iniquity and later.

cmsc430 · Nov 5, 2024 · d60ee92 · d60ee92
1 parent 9f48000
commit d60ee92
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 8 deletions.
diff --git a/iniquity/interp.rkt b/iniquity/interp.rkt
@@ -22,8 +22,7 @@
   (match p
     [(Prog ds e)
      (interp-env e '() ds)]))
-
-;; Expr Env -> Answer
+;; Expr Env Defns -> Answer
 (define (interp-env e r ds)
   (match e
     [(Lit d) d]

diff --git a/jig/interp.rkt b/jig/interp.rkt
@@ -22,8 +22,7 @@
   (match p
     [(Prog ds e)
      (interp-env e '() ds)]))
-
-;; Expr Env -> Answer
+;; Expr Env Defns -> Answer
 (define (interp-env e r ds)
   (match e
     [(Lit d) d]

diff --git a/knock/interp.rkt b/knock/interp.rkt
@@ -23,8 +23,7 @@
   (match p
     [(Prog ds e)
      (interp-env e '() ds)]))
-
-;; Expr Env -> Answer
+;; Expr Env Defns -> Answer
 (define (interp-env e r ds)
   (match e
     [(Lit d) d]

diff --git a/loot/interp.rkt b/loot/interp.rkt
@@ -24,8 +24,7 @@
   (match p
     [(Prog ds e)
      (interp-env e '() ds)]))
-
-;; Expr Env -> Answer
+;; Expr Env Defns -> Answer
 (define (interp-env e r ds)
   (match e
     [(Lit d) d]