> On Jan 15, 2017, at 09:23, Andreas Olsson <photoguy....@gmail.com> wrote:
> 
> I have function that demand a quoted lambda as an argument, how would you 
> write that in defproc?

I think that—unlike the contract system, or typed racket—you can put pretty 
much anything you want in the “type/contract” slot of a defproc argument in 
scribble. In this case, it sounds like you might write this as “quoted-lambda?” 
and explain it in the text.

Apologies if I’m misunderstanding your problem!

John



-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to