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
