On Mon, Feb 6, 2012 at 18:49, Mark S. Miller <erights at google.com> wrote: > QuasiHole :: > Identifier > { Spacing* (BalancedCurlySequence Spacing*)* } > If you replace that with: QuasiHole :: Identifier { Spacing* Expression Spacing* } You can now support nested quasis Your grammar allows `abc{ }def`. Was that intentional? -- erik