[racket] flat-rec-contract and vectorof

From: Chongkai Zhu (czhu at cs.utah.edu)
Date: Tue Feb 8 10:49:42 EST 2011

Sorry for the dum question. Obviously

(define c
   (flat-rec-contract T
                      number?
                      (vectorof T #:flat? #t)))

is what I want.

Chongkai

On 2/8/2011 8:23 AM, Chongkai Zhu wrote:
> Hi all,
>
> > (define c
>     (flat-rec-contract T
>                        number?
>                        (vectorof T)))
> . . flat-rec-contract: expected flat contracts as arguments, got 
> #<chaperone-vectorof>
>
> I noticed there's a new section "Impersonators and Chaperones" in the 
> doc. I'm not intending to deal with chaperone as I wrote the contract. 
> Is this a bug, or is there a work around for my contract?
>
> Chongkai
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users



Posted on the users mailing list.