Re: [racket-dev] Release for v5.0.2 has begun

2010-10-25 Thread Doug Williams
Here is one example. (make-discrete-histogram (case- (-r ((n1 integer?) (n2 (and/c integer? (=/c n1))) (dynamic? boolean?)) discrete-histogram?) (-r ((n1 integer?) (n2 (and/c integer?

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-25 Thread Sam Tobin-Hochstadt
On Mon, Oct 25, 2010 at 10:06 AM, Doug Williams m.douglas.willi...@gmail.com wrote:   (case- (-r ((r random-source?)     (a real?)     (b (/c a)))    real?)   (-r ((a real?)     (b (/c a)))    real?))) I'm not sure that

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-25 Thread Robby Findler
Thanks, that's a great example. The idea (at least from the contract's point of view) is that there are two different functions with one name that have two different arities, I think. So maybe the right way to bring back case- is that contracts that match functions should come with some way to

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-25 Thread Matthew Flatt
At Fri, 22 Oct 2010 21:31:43 -0600, Doug Williams wrote: Matthew, would it make more sense to have unsafe-vector-ref (and related functions) be the more general function and unsafe-vector*-ref be the one that doesn't work on chaperoned vectors? That is just swap the definitions. That way user

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-25 Thread Robby Findler
On Mon, Oct 25, 2010 at 11:28 AM, Doug Williams m.douglas.willi...@gmail.com wrote: I had always assumed that case-lambda just checked alternatives in order until one matched - like a cond. But, that was just an assumption on my part and subject to being absolutely wrong. [But, if it is correct

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-24 Thread Matthew Flatt
At Fri, 22 Oct 2010 21:31:43 -0600, Doug Williams wrote: Matthew, would it make more sense to have unsafe-vector-ref (and related functions) be the more general function and unsafe-vector*-ref be the one that doesn't work on chaperoned vectors? That is just swap the definitions. That way user

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-24 Thread Robby Findler
The new case- only supports simple contracts, that's right. If you have more complex ones that it would be helpful to support (and can share them), that would help us guide our efforts. Thanks, Robby On Sun, Oct 24, 2010 at 7:04 PM, Doug Williams m.douglas.willi...@gmail.com wrote: The main

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-24 Thread Stevie Strickland
On Oct 24, 2010, at 8:04 PM, Doug Williams wrote: On the case- problem, it seems it no longer supports anything but -. Is there something I am missing there? This is a current limitation for case- as provided by racket/contract. When I tackle the conversion of case- to proxies/chaperones, I

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-24 Thread Robby Findler
On Sun, Oct 24, 2010 at 7:42 PM, Stevie Strickland sstri...@ccs.neu.edu wrote: On Oct 24, 2010, at 8:04 PM, Doug Williams wrote: On the case- problem, it seems it no longer supports anything but -.  Is there something I am missing there? This is a current limitation for case- as provided by

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-21 Thread Noel Welsh
On Thu, Oct 21, 2010 at 1:44 PM, Doug Williams m.douglas.willi...@gmail.com wrote: Noel and Neil, were the unsafe-flround and unsafe-fllog problems you saw just with the newer nightly builds or with the released version of Racket? [I haven't had any problems with the released versions.]

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-20 Thread Doug Williams
I downloaded the pre-release version this morning - 10/20 (I believe it was a build from 10/16). The plot package and plot extensions in the science collection all work as expected. But, I am getting different numeric answers for some of my science collection routines (for example, the gamma

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-20 Thread Matthias Felleisen
Are they typed? On Oct 20, 2010, at 10:39 AM, Doug Williams wrote: I downloaded the pre-release version this morning - 10/20 (I believe it was a build from 10/16). The plot package and plot extensions in the science collection all work as expected. But, I am getting different numeric

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-20 Thread John Clements
On Oct 20, 2010, at 7:39 AM, Doug Williams wrote: I downloaded the pre-release version this morning - 10/20 (I believe it was a build from 10/16). The plot package and plot extensions in the science collection all work as expected. But, I am getting different numeric answers for some of

[racket-dev] Release for v5.0.2 has begun

2010-10-16 Thread Ryan Culpepper
The release process for v5.0.2 has begun: the `release' branch was created for any work that is left and is now bumped to v5.0.1.900. You can go on using the `master' branch as usual, it is now bumped to v5.0.2.1 (to avoid having two different trees with the same version). If you have any