diff options
| author | Undecidable Robot <undecidabot@gmail.com> | 2016-08-20 00:53:53 +0800 |
|---|---|---|
| committer | Undecidable Robot <undecidabot@gmail.com> | 2016-08-20 00:53:53 +0800 |
| commit | 9e44cc113c772109e71cbac1a5fe02a8ec4ca3a2 (patch) | |
| tree | 197a3ecd20f32a0787e6b42acb9f438541580776 /relabel.lua | |
| parent | bfc1b51c5f86a253f0177bbc2163b97767921d83 (diff) | |
| download | lpeglabel-relabel-recovery.tar.gz lpeglabel-relabel-recovery.tar.bz2 lpeglabel-relabel-recovery.zip | |
Updating re grammar so only one label can be thrownrelabel-recovery
Diffstat (limited to '')
| -rw-r--r-- | relabel.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/relabel.lua b/relabel.lua index 9fc4b01..cda24d0 100644 --- a/relabel.lua +++ b/relabel.lua | |||
| @@ -322,7 +322,9 @@ local exp = m.P{ "Exp", | |||
| 322 | labels["MisTerm1"], labels["MisTerm2"]) | 322 | labels["MisTerm1"], labels["MisTerm2"]) |
| 323 | + m.Lc(Class, pointAtStart, labels["MisClose8"]) | 323 | + m.Lc(Class, pointAtStart, labels["MisClose8"]) |
| 324 | + defined | 324 | + defined |
| 325 | + "%" * expect(m.V"Labels", "ExpNameOrLab") / mm.T | 325 | + "%" * expect(m.P"{", "ExpNameOrLab") |
| 326 | * expect(S * m.V"Label", "ExpLab1") | ||
| 327 | * expect(S * "}", "MisClose7") / mm.T | ||
| 326 | + "{:" * (name * ":" + m.Cc(nil)) * expect(m.V"Exp", "ExpPatt5") | 328 | + "{:" * (name * ":" + m.Cc(nil)) * expect(m.V"Exp", "ExpPatt5") |
| 327 | * expect(S * ":}", "MisClose2") | 329 | * expect(S * ":}", "MisClose2") |
| 328 | / function (n, p) return mm.Cg(p, n) end | 330 | / function (n, p) return mm.Cg(p, n) end |
