[plt-scheme] Re: 4.2.5 breaks define/contract

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Mon Apr 12 05:42:46 EDT 2010

On Mon, Apr 12, 2010 at 9:27 AM, Paulo J. Matos <pocmatos at gmail.com> wrote:
> (define/contract (test1 . xs)
>  (->* () (number?) void?)
>  (display xs))

Opps, my fault using ->*
it should have been:
(define/contract (test1 . xs)
 (->* () () #:rest (listof number?) void?)
 (display xs))

I guess the case-lambda-procedure kind of error message made me think
it was a bug. :-/

(Interestingly enough, the thought of a bug was reinforced as this
error first occurred when I tried the new version but as it happens I
had never exercised some of my lib functions before. :) )



Posted on the users mailing list.