Re: [racket-dev] Overly general types for mutable containers

2012-07-08 Thread Neil Toronto
On 07/07/2012 10:28 PM, Sam Tobin-Hochstadt wrote: On Sun, Jul 8, 2012 at 12:58 AM, Neil Toronto wrote: It runs directly counter to what I expect from immutable containers, which I use most of the time: This is the problem. Immutable containers are very different from mutable ones, and your

Re: [racket-dev] redex.racket-lang.org Index of /

2012-07-08 Thread Robby Findler
Eli: while you're at this, can you improve the watchdog script so that it would notice this? Robby On Sun, Jul 8, 2012 at 12:35 PM, David Van Horn wrote: > redex.racket-lang.org seems to have reverted to serving the index of /. > > David > _ > Racket Developers list: >

[racket-dev] redex.racket-lang.org Index of /

2012-07-08 Thread David Van Horn
redex.racket-lang.org seems to have reverted to serving the index of /. David _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Custom write that pretty-prints and works well with quote?

2012-07-08 Thread Matthew Flatt
Do `prop:custom-print-quotable' and/or `make-tentative-pretty-print-output-port' from `racket/pretty' help? At Sat, 07 Jul 2012 11:40:49 -0700, Neil Toronto wrote: > I've got an array structure like so: > > (struct: (A) strict-array ([shape : (Listof Index)] > [data :

Re: [racket-dev] Proposal for a "no-argument"

2012-07-08 Thread Eli Barzilay
Quick summary: I'll remove the #:before-first and #:after-last feature. If anyone wants them, please tell me -- maybe it can be left for the spliced case, or maybe they could always be spliced. On Monday, Matthew Flatt wrote: > I'm not enthusiastic about this proposal. > > As you say at the sta

Re: [racket-dev] Need a clarification on the implementation of stream-map

2012-07-08 Thread Robby Findler
I'm not sure about the rationale behind the design of stream-map, but "any" as a result contract for a function indicates it may return multiple values (in the range of a function "any" is a special keyword). "any/c" is a contract for a single value. Robby On Sun, Jul 8, 2012 at 6:25 AM, Daniel K

[racket-dev] Need a clarification on the implementation of stream-map

2012-07-08 Thread Daniel King
Question 0: In collects/racket/stream.rkt, `stream-map' is defined as: (define (stream-map f s) (unless (procedure? f) (raise-argument-error 'stream-map "procedure?" f)) (unless (stream? s) (raise-argument-error 'stream-map "stream?" s)) (let loop ([s s]) (cond [(stream