anyone available to review https://github.com/racket/rackunit/pull/27?

@notjack: I’d ping ryanc.

@stamourv here, email, or github?

Github, I’d say.

does racket/contract have a direct analog to Typed Racket’s Rec? (seems like recursive-contract has to be used with a define)

I want something like (rec/c sexp (or/c symbol? (listof sexp))) … but this is just an example, my actual contract isn’t just (treeof symbol?)

(define-syntax (rec/c stx) (syntax-parse stx [(_ name:id ctc) #‘(let ([name (let-syntax ([name (recursive-contract name)])]) name)]))

or there-abouts?

not sure if my shadowing works on not… my need to make a transformer…

WHOA. I did not realize you could do (contract-out (f (let ([x ....]) ....)))

contract expressions are just that—expressions :)

You probably need a letrec there