Ok, I “solved” my problem. The `(define (code:hilite v) v)` is a hack to be able to use `code:hilite` in blocks that are executed, not just displayed, but of course that does not work when highlighting binders.
The solution is to separate the display from the execution, with a separate evaluation in the corresponding evaluator. The downside is that this forces a duplication of the code (once to display with highlight, once to evaluate). I’m still interested in knowing if there’s a duplication-free solution to this, but meanwhile I’ll just live with it. — Éric > On Aug 22, 2020, at 6:25 PM, Éric Tanter <etan...@dcc.uchile.cl> wrote: > > Just to complement: I’m editing some scribble I wrote years ago and I > completely forgot why I was doing that, but to be able to use > `(code:highlight …)` in code blocks, I had to add the following line (where > `ex-eval` is my base evaluator): > ``` > @interaction-eval[#:eval ex-eval (define (code:hilite v) v) ] > ``` > > sorry if that’s confusing, but I’m confused ;-) > > I just want a way to highlight any bits in a code block, in order to bring > the reader’s attention to specific places (could be binders, whole > expressions, etc.). > > Thanks! > > — Éric > > > > >> On Aug 22, 2020, at 6:15 PM, Éric Tanter <etan...@dcc.uchile.cl> wrote: >> >> Hi, >> >> From the doc: `(code:hilite datum)` typesets like `datum`, but with a >> background highlight. >> However, it does not work to highlight a binder, eg: `(letrec ([(code:hilite >> self) …]) …)` >> Is there another way to highlight a binder? >> >> Thanks, >> >> — Éric >> >> >> >> >> -- >> 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. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/32CE30FE-9724-4421-9A8B-63780A403A5A%40dcc.uchile.cl. > > -- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/09CDBBC0-8A5B-4573-9CC6-DA41B3DE53C1%40dcc.uchile.cl. -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/1BE55C14-6B08-4FFC-85EA-C6590D84C1E0%40dcc.uchile.cl.
