WARNING: Known Bugs

• Check Syntax alpha-renaming does not work with define-struct.
• Check Syntax will treat some primitives as unbound identifiers, notably first, and rest.
• Check Syntax will not always highlight nested expressions.
• The alpha renaming in Check Syntax may miss some names. You can check which names will be renamed by moving the mouse cursor over the binding occurrance of the variable you want to rename. The bound occurrances that the arrows reach will also be the ones that are renamed.
• If you break a long interaction several times, some of the breaks may carry over to the next interactions.