Giving a name to a bracket production in SDF3 breaks generated Stratego

[molenzwiebel]

Summary

Using an SDF3 bracket production with a constructor name breaks the generated Stratego 2 pretty printer.

What you did

Expr.Bracketed = <(<Expr>)> {bracket}

What you expected to happen

Error.

What actually happened

Messages of ./build/generated/sources/languageSpecification/stratego/pp/exps-pp.str2:
  ERROR 46628-46635@1583-1584: Undefined constructor with arity 1 and type DynT(Dyn).
  ERROR 46360-46367@1572-1573: Undefined constructor with arity 1 and type DynT(Dyn).
  ERROR 46102-46109@1561-1562: Undefined constructor with arity 1 and type DynT(Dyn).
  ERROR 46060-46067@1558-1559: Undefined constructor with arity 1 and type DynT(Dyn).
  ERROR 45388-45395@1540-1541: Undefined constructor with arity 1 and type DynT(Dyn).

Context

• Spoofax version: 0.11.11
• Operating system & version: All

[Gohla]

Fixed by metaborg/sdf@616a8b0