STR-676: rtg: replace special non-terminals <string> and <int> with special terminals <string> and <int>.
The reserved non-terminals and are a bit inconvenient in the implementation of algorithms. By replacing them with reserved terminals, the rtg language will be a bit cleaner.
Existing grammars will not be affected, since we can just add a desugaring from the reserved non-terminal to the reserved terminal.
Submitted on 31 December 2006 at 19:49
Issue Log
On 3 January 2007 at 22:53 Jira commented:
STR-676, martin:
The new format checker now supports this.Todo: update sdf2rtg.
This requires some bootstrapping (the old format-checker needs to be gone first)
On 4 January 2007 at 18:51 Jira commented:
STR-676, martin:
sdf2rtg will not be changed for a while to keep the old format checker working.For new tools, a simple upgrade traversal is sufficient.
Log in to post comments