On Fri, Oct 5, 2012 at 8:16 PM, Eli Barzilay <[email protected]> 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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev
