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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Oct 5 21:33:16 EDT 2012

On Fri, Oct 5, 2012 at 8:16 PM, Eli Barzilay <eli at barzilay.org> wrote:
> 10 minutes ago, Robby Findler wrote:
>> Oh, right. Duh.
>>
>> And even better, IMO, if it were futures-visualizer/typed/* were a
>> place you could put this information.
>
> Yeah -- that would make distribution much easier, since it will be
> another global convention, like `tests' and `scribblings'.
>
>
>> But I'm not sure that the trust is there for that.
>
> It seems that it should be fine, no?  Looks like it's just the type
> declaration that James is responsible to keep in sync with the untyped
> code, so TR enforces the type that he declares and if it's broken it's
> essentially the same as using a bad contract.

This would already (even without the wishlist part) be fantastic. IMO.

Robby

Posted on the dev mailing list.