On Tue, Oct 28, 2014 at 12:26 PM, Asumu Takikawa <as...@ccs.neu.edu> wrote: > On 2014-10-28 12:05:12 -0400, sa...@racket-lang.org wrote: >> | Avoid requires of contracts when they're not used. >> | >> | This changes when various libraries that provide contract >> | support to possible contracted bindings to declare when >> | those bindings are needed. > > Is there some unit test we can write that will check to make sure these > requires are not included when they're not used? > > (I ask because there are some refactorings of contract generation I'd > like to merge eventually and I don't want to break the improvement > you've made here)
I think we could add a test that the empty `#lang typed/racket/base` file doesn't depend on, for example, `typed-racket/utils/any-wrap` using `raco show-dependencies` Sam _________________________ Racket Developers list: http://lists.racket-lang.org/dev
