From 7b92405cb77eed7ee05a5bdc820009e495de9741 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 29 Apr 2016 16:22:13 -0400 Subject: [PATCH] Fix base-contracted #%contract-defs handling --- typed-racket-lib/typed-racket/base-env/prims.rkt | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt index 0d534213..cf411aba 100644 --- a/typed-racket-lib/typed-racket/base-env/prims.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims.rkt @@ -145,9 +145,12 @@ the typed racket language. (provide (all-from-out "base-contracted.rkt"))) (begin-for-syntax + (require racket/runtime-path + (for-syntax racket/base)) + (define-runtime-module-path-index contract-defs-submod + '(submod "." #%contract-defs)) (require racket/base "../utils/redirect-contract.rkt") - (define varref (#%variable-reference)) - (define mk (make-make-redirect-to-contract varref))) + (define mk (make-make-redirect-to-contract contract-defs-submod))) (define-syntax-rule (def-redirect id ...) (begin (define-syntax id (mk (quote-syntax id))) ... (provide id ...)))