Explicit provides.

cmsc430 · Dec 6, 2024 · 41debfb · 41debfb
1 parent d5528ca
commit 41debfb
Show file tree

Hide file tree

Showing 11 changed files with 20 additions and 11 deletions.
diff --git a/iniquity-gc/compile-ops.rkt b/iniquity-gc/compile-ops.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-op0 compile-op1 compile-op2 compile-op3 pad-stack unpad-stack allocate)
 (require "ast.rkt" "types.rkt" a86/ast)
 
 (define rax 'rax) ; return

diff --git a/iniquity-gc/compile.rkt b/iniquity-gc/compile.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile compile-e)
 (require "ast.rkt" "types.rkt" "compile-ops.rkt" a86/ast)
 
 ;; Registers used

diff --git a/mountebank/compile-expr.rkt b/mountebank/compile-expr.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-e compile-lambda-defines compile-lambda-define free-vars-to-heap)
 (require "ast.rkt"
          "types.rkt"
          "lambdas.rkt"
@@ -14,6 +14,9 @@
 (define rbx 'rbx) ; heap
 (define rsp 'rsp) ; stack
 (define rdi 'rdi) ; arg
+(define r8 'r8)
+(define r9 'r9)
+(define rsi 'rsi)
 
 ;; Expr CEnv Bool -> Asm
 (define (compile-e e c t?)

diff --git a/mountebank/compile-ops.rkt b/mountebank/compile-ops.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-op0 compile-op1 compile-op2 compile-op3 pad-stack unpad-stack assert-proc)
 (require "ast.rkt" "types.rkt" "utils.rkt" a86/ast)
 
 (define rax 'rax) ; return

diff --git a/mountebank/compile.rkt b/mountebank/compile.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile compile-e)
 (require "ast.rkt"
          "types.rkt"
          "lambdas.rkt"

diff --git a/mug/compile-expr.rkt b/mug/compile-expr.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-e compile-lambda-defines compile-lambda-define free-vars-to-heap)
 (require "ast.rkt"
          "types.rkt"
          "lambdas.rkt"
@@ -13,6 +13,9 @@
 (define rbx 'rbx) ; heap
 (define rsp 'rsp) ; stack
 (define rdi 'rdi) ; arg
+(define r8 'r8)
+(define r9 'r9)
+(define rsi 'rsi)
 
 ;; Expr CEnv Bool -> Asm
 (define (compile-e e c t?)

diff --git a/mug/compile-ops.rkt b/mug/compile-ops.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-op0 compile-op1 compile-op2 compile-op3 pad-stack unpad-stack assert-proc)
 (require "ast.rkt" "types.rkt" "utils.rkt" a86/ast)
 
 (define rax 'rax) ; return

diff --git a/mug/compile.rkt b/mug/compile.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile compile-e)
 (require "ast.rkt"
          "types.rkt"
          "lambdas.rkt"

diff --git a/neerdowell/compile-expr.rkt b/neerdowell/compile-expr.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-e compile-lambda-define compile-lambda-defines free-vars-to-heap)
 (require "ast.rkt"
          "types.rkt"
          "lambdas.rkt"
@@ -14,6 +14,9 @@
 (define rbx 'rbx) ; heap
 (define rsp 'rsp) ; stack
 (define rdi 'rdi) ; arg
+(define r8 'r8)
+(define r9 'r9)
+(define rsi 'rsi)
 
 ;; Expr CEnv Bool -> Asm
 (define (compile-e e c t?)

diff --git a/neerdowell/compile-ops.rkt b/neerdowell/compile-ops.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-op pad-stack unpad-stack assert-proc compile-make-struct)
 (require "ast.rkt" "types.rkt" "utils.rkt" a86/ast)
 
 (define rax 'rax) ; return

diff --git a/neerdowell/compile.rkt b/neerdowell/compile.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile compile-e)
 (require "ast.rkt"
          "types.rkt"
          "lambdas.rkt"