See:
https://mail.cs.uu.nl/pipermail/stratego/2004q4/000161.html

> [error | core-sdf-grammar2rtg] No constructor name specified in production
> prod([lit(“-”)],cf(alt(lit(“+”),lit(“-”))),attrs([]))

> [error | core-sdf-grammar2rtg] Rewriting production failed
> prod([lit(“-”)],cf(alt(lit(“+”),lit(“-”))),attrs([]))

This is a real error. The production is

“-” -> (“+”|“-”)

This production is the result of normalizing a (“+”|“-”) symbol in one of your productions. Apparently, this kind of alternative (plain literals in an alternative) is not supported by sdf2rtg, which is a bug.

Reported by Marc Brown.

Submitted on 31 October 2004 at 17:37

STR-194, martin:
Fixing this bug would mean that sdf2rtg is going to support AsFix constructs that are left over after exploding. This is not a good idea, so I’m not going to fix this. However, the error reporting can be improved a bit. I’ll make that a separate issue.