Delete use of annotations for now.

Author: dvanhorn

langs/iniquity/compile.rkt

@@ -9,8 +9,6 @@
 (define rdi 'rdi) ; arg
 
 ;; type CEnv = [Listof Variable]
-
-(current-annotation "top-level")
 
 ;; Prog -> Asm
 (define (compile p)
@@ -45,7 +43,6 @@
 
 ;; Defn -> Asm
 (define (compile-define d)
-  (parameterize ([current-annotation d])
   (match d
     [(Defn f xs e)
      (seq (Label (symbol->label f))
@@ -55,23 +52,22 @@
 
 ;; Expr CEnv -> Asm
 (define (compile-e e c)
-  (parameterize ([current-annotation e])
-    (match e
-      [(Int i)            (compile-value i)]
-      [(Bool b)           (compile-value b)]
-      [(Char c)           (compile-value c)]
-      [(Eof)              (compile-value eof)]
-      [(Empty)            (compile-value '())]
-      [(Var x)            (compile-variable x c)]
-      [(Str s)            (compile-string s)]
-      [(Prim0 p)          (compile-prim0 p c)]
-      [(Prim1 p e)        (compile-prim1 p e c)]
-      [(Prim2 p e1 e2)    (compile-prim2 p e1 e2 c)]
-      [(Prim3 p e1 e2 e3) (compile-prim3 p e1 e2 e3 c)]
-      [(If e1 e2 e3)      (compile-if e1 e2 e3 c)]
-      [(Begin e1 e2)      (compile-begin e1 e2 c)]
-      [(Let x e1 e2)      (compile-let x e1 e2 c)]
-      [(App f es)         (compile-app f es c)])))
+  (match e
+    [(Int i)            (compile-value i)]
+    [(Bool b)           (compile-value b)]
+    [(Char c)           (compile-value c)]
+    [(Eof)              (compile-value eof)]
+    [(Empty)            (compile-value '())]
+    [(Var x)            (compile-variable x c)]
+    [(Str s)            (compile-string s)]
+    [(Prim0 p)          (compile-prim0 p c)]
+    [(Prim1 p e)        (compile-prim1 p e c)]
+    [(Prim2 p e1 e2)    (compile-prim2 p e1 e2 c)]
+    [(Prim3 p e1 e2 e3) (compile-prim3 p e1 e2 e3 c)]
+    [(If e1 e2 e3)      (compile-if e1 e2 e3 c)]
+    [(Begin e1 e2)      (compile-begin e1 e2 c)]
+    [(Let x e1 e2)      (compile-let x e1 e2 c)]
+    [(App f es)         (compile-app f es c)]))
 
 ;; Value -> Asm
 (define (compile-value v)