hiding rule name cancels splice #8

#lang brag

top : rule
/rule : Ø | "x" [@rule]

(parse-to-datum "xxx")

Produces

'(top ("x" ("x" ("x"))))

instead of

'(top ("x" "x" "x"))

It seems that once the rule name disappears, the splice instruction is somehow lost.

``` #lang brag top : rule /rule : Ø | "x" [@rule] ``` ``` (parse-to-datum "xxx") ``` Produces ``` '(top ("x" ("x" ("x")))) ``` instead of ``` '(top ("x" "x" "x")) ``` It seems that once the rule name disappears, the splice instruction is somehow lost.

Labels Milestones

hiding rule name cancels splice #8