| Issue 1: | Remove source_rep | |
| 1 person starred this issue and may be notified of changes. | Back to list |
Source_rep is not needed, so should be removed. Its features can be replicated with a very small amount of use code, which also has the advantage that all Source_rep non-terminals will also derive from the same type. |