[racket-dev] [plt] Push #29450: master branch updated

From: Sam Tobin-Hochstadt (samth at cs.indiana.edu)
Date: Tue Oct 28 12:29:25 EDT 2014

On Tue, Oct 28, 2014 at 12:26 PM, Asumu Takikawa <asumu at ccs.neu.edu> wrote:
> On 2014-10-28 12:05:12 -0400, samth at 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

Posted on the dev mailing list.