I've recently pushed a change to Redex (https://github.com/racket/redex/commit/cbb2d88b) that disallows the names of non-terminals in shortcuts in reduction relations. I did this after seeing someone (quite reasonably!) assume that using a non-terminal there meant the shortcut would work only for terms matching those non-terminals, which is not how things actually work.
The upside of making this an error is that, instead of having to study the minutiae of the reduction-relation-relation construct in the docs, Redex users are told when they think redex is fancier than it is in this respect. The downside is that this broke a bunch of old models I had lying around. I've fixed them (it's easy to do), but I worry that someone who gets out an old model to show it to someone will be greeted with this unexpected error message. Any opinions on whether or not I should revert this commit? Robby -- 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.
