Under some conditions the Folding Generator produces unknown sorts in the -Folding.generated.esv. After a lot of reductions I could isolate a trivial small grammar to demonstrate the error - see the attachment. In my project I could (until now) eliminate this error by things like:

A B C? -> X {cons(“X”)}

replaced by:

A B -> X {cons(“Xe”)}

A B C -> X {cons(“X”)}

Submitted by Otto Hausbacher on 21 August 2010 at 10:06
Xy.sdf21 August 2010 at 10:20
Bug Folding Gen.xy.jpg21 August 2010 at 10:15

On 16 November 2011 at 12:05 Guido Wachsmuth commented:

This problem also occurs with Plus lists. A rule "test" "cases" "are" {TestSuite ","}+ "." -> Automation {bracket} causes to generate an entry ListPlusOfTestSuite0.

On 8 January 2013 at 16:56 Gabriël Konat tagged notabug

On 8 January 2013 at 16:56 Gabriël Konat closed this issue.

Log in to post comments