Re: [racket-dev] Release Announcement for v5.3.2

2013-01-23 Thread Jay McCarthy
This is the right patch, but I think we also need Eli to update the DNS setup, in addition to me updating the server (which I am doing now). Jay On Tue, Jan 22, 2013 at 1:08 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: I've now implemented (attached) a (short) patch for the tree for this,

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

2013-01-23 Thread Sam Tobin-Hochstadt
It is indeed similar to the 'any' contract. The plans are basically what you see in this push -- representing cases where either some function can produce arbitrarily many values, as with some parameters, or where it doesn't matter how many values an expression produces, as in intermediate