[plt-dev] Contract not reporting correctly

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Jul 1 10:03:02 EDT 2009

Thanks, fixed in SVN.

Robby

On Wed, Jul 1, 2009 at 8:27 AM, Noel Welsh<noelwelsh at gmail.com> wrote:
>> (require scheme/contract)
>> (define/contract (foo-x f) (-> (vector-immutableof number?) number?) (vector-ref f 0))
>> (foo-x #(1 2 3))
> 1
>> (foo-x '(1 2 3))
> . (file "/Users/noel/programming/code/numeric/bonfire/plot.ss") broke
> the contract (-> (listof number?) number?) on foo-x; expected <(listof
> number?)>, given: (1 2 3)
>>
>
> Note the reported contract is listof -- this is incorrect.
>
> N.
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>


Posted on the dev mailing list.