> On Oct 18, 2017, at 4:04 PM, Alexis King <[email protected]> wrote: > > > @(examples > (: (Tuple 42 "hello") (#,t:Tuple Integer String))) > > That’s because the `examples` form doesn’t allow escaping, which makes > sense, since there would be no way to know what `#,t:Tuple` should mean > when performing sandboxed evaluation. It’s theoretically possible to use > eval:alts to manually provide a version of the program for typesetting > and a version for evaluation: > > @(examples > (eval:alts (: (Tuple 42 "hello") (#,t:Tuple Integer String)) > (: (Tuple 42 "hello") (Tuple Integer String)))) > > ...but this sort of defeats the purpose of having examples that are > automatically typeset.
What I imagined was that you’d define @h-examples, which would translate the former into the latter. — Matthias -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
