[racket] different text colors in Redex traces nodes?

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed May 4 08:25:23 EDT 2011

If you have a lot of energy, you can use the pp argument to highlight
whatever you want. (YOu don't get any help from Redex to identify the
redexes tho).

On Wed, May 4, 2011 at 5:30 AM, Casey Klein
<clklein at eecs.northwestern.edu> wrote:
> On Wed, May 4, 2011 at 12:25 AM, Stephen Chang <stchang at ccs.neu.edu> wrote:
>> When using Redex, for the traces nodes, is there any way to specify
>> how to color the text in each node? For example, I want to be able to
>> quickly identify the redex in each step by giving it a different
>> color. I looked in the docs and it seems like there are ways to color
>> the background and the arrows and the arrow labels, but not the actual
>> text of each node. Is that right?
> Yes, that's right.
> The Redex stepper does something like what you want. It does an
> s-expression diff to determine what to highlight.
> That strategy is sometimes useful but other times leads to distracting
> highlights. If you have another idea for how to determine what to
> highlight, I'd be interested.
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users

Posted on the users mailing list.