Thats what I thought it was, but I cannot replicate with the following program.
secret.rkt #lang racket/base (provide (all-defined-out)) (define secret 1) secret-stx.rkt: #lang racket/base (require (for-template "secret.rkt")) (provide use-secret) (define (use-secret) #'secret) secret-user.rkt #lang racket/base (require (for-syntax racket/base)) (define-syntax (go stx) (define use-secret (dynamic-require "secret-stx.rkt" 'use-secret)) (use-secret)) (go) The resulting program from compiling secret-user shouldn't have any dependency on secret, yet it works. On Fri, Feb 8, 2013 at 9:35 AM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu>wrote: > On Fri, Feb 8, 2013 at 12:26 PM, Eric Dobson <eric.n.dob...@gmail.com> > wrote: > > I'm trying to understand why TR requires a module that it doesn't > actually > > use in the file that requires it. > > > > The requirement is unstable/contract in typed-racket/type-racket.rkt. > > Without it tests/typed-racket/succeed/succed-cnt.rkt fails. But when I > try > > to reduce the test case to not use TR, I cannot replicate it. > > This require is there so that the residual program is correct. The > basic issue is that Typed Racket dynamically loads large parts of its > implementation, some of which is used to produce the residual code in > the expansion of a TR module (such as contracts, which can use > `unstable/contract`). However, the resulting program must contain a > dependency on `unstable/contract`, otherwise Racket can't figure out > how to evaluate the reference. Therefore, the part of TR that is *not* > dynamically loaded needs to declare a static dependency on > `unstable/contract`. > > Sam >
____________________ Racket Users list: http://lists.racket-lang.org/users
