I've pushed a change which fixes this. Stevie
On Oct 24, 2012, at 5:48 PM, Sam Tobin-Hochstadt <[email protected]> wrote: > On Wed, Oct 24, 2012 at 4:19 PM, Danny Yoo <[email protected]> wrote: >>> I'm hacking into Whalesong to see if I can nail this down more precisely. >> >> Ok, I've got a better test case for you that boils down what I'm >> encountering. > > Ok, I've looked into this, and I think it's a bug in the > implementation of `vectorof` in `racket/contract`. This program > should succeed, but fails. > > #lang racket/load > (module m1 racket > (define (f v) > (if (vector? v) > (chaperone-vector v > (λ (v i e) e) > (λ (v i e) e)) > (error 'fail))) > (provide/contract [f (-> any/c (vectorof any/c))])) > (module m2 racket > (require 'm1) > (f (vector-immutable))) > (require 'm2) > > > -- > sam th > [email protected] > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev
