[racket-dev] procedure-result chaperone

Okay, I distilled it to something small and sent in a bug report. 

On Jan 6, 2013, at 2:51 PM, Robby Findler wrote:

> I think maybe you've just found a bug. Do you have a program to share?
> 
> [robby at yanpu] ~/Downloads$ racket
> Welcome to Racket v5.3.1.12.
> > ((contract (-> integer? integer?) (lambda (x) (values 1 2)) 'pos 'neg) 1)
> stdin::2: broke its contract
>  expected 1 value, returned 2 values
>  in: the range of
>       (-> integer? integer?)
>  contract from: pos
>  blaming: pos
>   context...:
>    /Users/robby/git/plt/collects/racket/contract/private/blame.rkt:89:0: raise-blame-error
>    /Users/robby/git/plt/collects/racket/private/misc.rkt:87:7
> 
> 
> 
> On Sun, Jan 6, 2013 at 12:26 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> 
> Is this really the best we can do for a contracted first-order procedure that accidentally returns two values instead of one:
> 
> Language: racket.
> . . procedure-result chaperone: arity mismatch;
>  wrapper does not accept the number of values produced by
>  the original procedure
>   wrapper: #<procedure>
>   number of values: 2
> 
> 
> ??
> 
> -- Matthias
> 
> 
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130106/b85d7f27/attachment.html>