After two steps, do you not get something that looks like this?

[image: mtc.png]

The two mtc's are in different colors.

That is because each came from a different sweep of transformation, so they
have different marks (colors).  That's precisely the hygiene algorithm at
work: names introduced together are colored together, names introduced
separately are colored separately.

Shriram

<<mtc.png>>

_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/users

Reply via email to