My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 1: Remove source_rep
1 person starred this issue and may be notified of changes. Back to list
Status:  Accepted
Owner:  paul.biggar


 
Project Member Reported by paul.biggar, Apr 30, 2008
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.

Powered by Google Project Hosting