Explicit provides.

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

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

mountebank/compile-define.rkt

@@ -1,12 +1,15 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-define compile-defines-values define-ids compile-defines)
 (require "ast.rkt"
          "types.rkt"
          "fv.rkt"
          "utils.rkt"
          "compile-expr.rkt"
          a86/ast)
 
+(define rax 'rax)
+(define rbx 'rbx)
+
 ;; [Listof Defn] -> [Listof Id]
 (define (define-ids ds)
   (match ds

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?)

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

mountebank/compile.rkt

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

mug/compile-define.rkt

@@ -1,12 +1,15 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-define compile-defines-values define-ids compile-defines)
 (require "ast.rkt"
          "types.rkt"
          "fv.rkt"
          "utils.rkt"
          "compile-expr.rkt"
          a86/ast)
 
+(define rax 'rax)
+(define rbx 'rbx)
+
 ;; [Listof Defn] -> [Listof Id]
 (define (define-ids ds)
   (match ds

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?)

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

mug/compile.rkt

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

neerdowell/compile-define.rkt

@@ -1,12 +1,15 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile-define compile-defines-values define-ids compile-defines)
 (require "ast.rkt"
          "types.rkt"
          "fv.rkt"
          "utils.rkt"
          "compile-expr.rkt"
          a86/ast)
 
+(define rax 'rax)
+(define rbx 'rbx)
+
 ;; [Listof Defn] -> [Listof Id]
 (define (define-ids ds)
   (match ds

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?)

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

neerdowell/compile.rkt

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