diff --git a/compile.rkt b/compile.rkt index 1c24e7f..e480661 100644 --- a/compile.rkt +++ b/compile.rkt @@ -4,9 +4,7 @@ "lexical-structs.rkt" "il-structs.rkt" "lexical-env.rkt" - "helpers.rkt" "find-toplevel-variables.rkt" - "sets.rkt" racket/list) (provide (rename-out [-compile compile]) diff --git a/il-structs.rkt b/il-structs.rkt index 3e5f778..f749922 100644 --- a/il-structs.rkt +++ b/il-structs.rkt @@ -50,11 +50,6 @@ -;; An environment reference is either lexical or referring to a whole prefix. -(define-type EnvReference (U EnvLexicalReference - EnvWholePrefixReference)) - - ;; instruction sequences (define-type UnlabeledStatement (U diff --git a/lexical-env.rkt b/lexical-env.rkt index a54516c..7f926ea 100644 --- a/lexical-env.rkt +++ b/lexical-env.rkt @@ -1,7 +1,6 @@ #lang typed/racket/base (require racket/list - "il-structs.rkt" "lexical-structs.rkt" "sets.rkt") (provide find-variable diff --git a/lexical-structs.rkt b/lexical-structs.rkt index e3fde45..758fb5e 100644 --- a/lexical-structs.rkt +++ b/lexical-structs.rkt @@ -35,6 +35,7 @@ (define-struct: EnvLexicalReference ([depth : Natural] [unbox? : Boolean]) #:transparent) + (define-struct: EnvPrefixReference ([depth : Natural] [pos : Natural] [name : Symbol]) @@ -42,3 +43,8 @@ (define-struct: EnvWholePrefixReference ([depth : Natural]) #:transparent) + + +;; An environment reference is either lexical or referring to a whole prefix. +(define-type EnvReference (U EnvLexicalReference + EnvWholePrefixReference)) \ No newline at end of file diff --git a/test-assemble.rkt b/test-assemble.rkt index 24ebc68..4154e82 100644 --- a/test-assemble.rkt +++ b/test-assemble.rkt @@ -2,10 +2,8 @@ (require "assemble.rkt" "browser-evaluate.rkt" - "parse.rkt" "lexical-structs.rkt" "il-structs.rkt" - "compile.rkt" racket/port racket/promise racket/runtime-path)