[racket-dev] procedure-result chaperone

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Jan 6 13:26:38 EST 2013

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



Posted on the dev mailing list.