[racket-dev] chaperones in 5.3.1?

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Wed Oct 24 20:47:13 EDT 2012

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

Posted on the dev mailing list.