Current name binding rules do not handle sorts in core syntax sections, e.g.

syntax  <A-CF> -> <B-CF>

gives unresolved reference errors on A and B.

Submitted by Guido Wachsmuth on 21 September 2013 at 09:26

On 21 September 2013 at 09:32 Guido Wachsmuth tagged @gohla

On 21 September 2013 at 09:32 Guido Wachsmuth tagged sdf

On 24 September 2013 at 22:49 Guido Wachsmuth commented:

Fixed this in nightly with a better name-sugar strategy.


On 24 September 2013 at 22:49 Guido Wachsmuth closed this issue.

Log in to post comments