> On Oct 18, 2017, at 4:04 PM, Alexis King <lexi.lam...@gmail.com> 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
