Probably it would be good to make rename-contract and
flat-named-contract cooperate better with
flat-contract-with-explanation, but for now I've just added a #:name
argument, whose value defaults to the name of the procedure that's
passed in.
Robby
On Tue, Apr 11, 2017 at 12:06 PM, Philip
Is it possible to give a name to a contract created with
contract-with-explanation?
To illustrate, this example:
> #lang racket
> (define has-explanation/c
> (flat-contract-with-explanation
>(λ (val)
> (λ (blame)
>(raise-blame-error blame val
>
2 matches
Mail list logo