'new' SDF2 constructor not supported by SDF3
The SDF3 to SDF2 conversion fails on productions with ‘new’ constructors, i.e. without the
cons
indicator:
context-free syntax
Int -> PreTerm {“Int”}Cause: the SDF2 pretty-printer that is used does not recognize the
Submitted by Eelco Visser on 26 September 2013 at 20:35Constructor
constructor.
Issue Log
On 26 September 2013 at 23:35 Eelco Visser commented:
Fixed
On 26 September 2013 at 23:35 Eelco Visser closed this issue.
Log in to post comments