[racket] Typed Racket procedure wrapping?

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.


AMEN!