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 Constructor constructor.

Submitted by Eelco Visser on 26 September 2013 at 20:35

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