[racket] Typed Racket procedure wrapping?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Feb 5 23:10:49 EST 2013

On Feb 5, 2013, at 4:17 PM, Asumu Takikawa wrote:

>>   In 5.3.2, when running untyped.rkt, I get:
>>   #<case-lambda-procedure>: arity mismatch;
>>    the expected number of arguments does not match the given number
>>     given: 1
>>     arguments...:
>>      5
> I agree that this error message is bad. It's a result of changing the
> type `Procedure` to use the contract `(case->)`. Maybe we should use a
> custom contract here instead that produces a better error message.


Posted on the users mailing list.