[racket-dev] chaperones in 5.3.1?

From: sstrickl at ccs.neu.edu (sstrickl at ccs.neu.edu)
Date: Wed Oct 24 22:19:45 EDT 2012

I've pushed a change which fixes this.

Stevie

On Oct 24, 2012, at 5:48 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:

> On Wed, Oct 24, 2012 at 4:19 PM, Danny Yoo <dyoo at hashcollision.org> 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
> samth at ccs.neu.edu
> 
> _________________________
>  Racket Developers list:
>  http://lists.racket-lang.org/dev


Posted on the dev mailing list.