Dangit, how did I miss that? I fail reading comprehension forever.
Thanks, guys.
On Tue, Jun 13, 2017 at 11:26 AM, Ben Greenman
wrote:
> unconstrained-domain->
>
> http://docs.racket-lang.org/reference/function-contracts.
>
Suppose the following trivial function:
(define/contract (foo func)
(-> (-> any/c ... any/c) #t)
#t)
This is trying (and failing) to express the idea "foo takes a processor
function. I don't care what arguments the processor requires (that's the
caller's job) but the processor must return a
I think you want the `unconstrained-domain->` contract.
Sam
On Tue, Jun 13, 2017 at 11:24 AM, David Storrs wrote:
> Suppose the following trivial function:
>
> (define/contract (foo func)
> (-> (-> any/c ... any/c) #t)
> #t)
>
> This is trying (and failing) to
unconstrained-domain->
http://docs.racket-lang.org/reference/function-contracts.html#%28form._%28%28lib._racket%2Fcontract%2Fbase..rkt%29._unconstrained-domain-~3e%29%29
On Tue, Jun 13, 2017 at 11:24 AM, David Storrs
wrote:
> Suppose the following trivial function:
>
>
4 matches
Mail list logo