[racket] Typed Racket procedure wrapping?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Feb 10 12:27:45 EST 2013

On Feb 9, 2013, at 9:07 PM, Asumu Takikawa wrote:

> On 2013-02-06 06:34:42 -0600, Robby Findler wrote:
>>   You don't get the same message-- the expected line is gone somehow.
> The expected line is gone here because there's no number that would make
> sense. A `(case-lambda)` has no applicable arity (in particular, it's
> not zero).
> Maybe the arity error should say "unapplicable function"?
> Also, by a custom contract, I meant one that would produce a message
> about not allowing unknown procedures through rather than raising an
> obscure arity error.

Let's try that -- Matthias

Posted on the users mailing list.