diff options
| author | Hans Hagen <pragma@wxs.nl> | 2010-05-15 18:13:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2010-05-15 18:13:00 +0200 |
| commit | 89f1dbd1efbc71e5a74d798142ae5275e6f097ff (patch) | |
| tree | 9d54c082856677dbe87cc0c0718c1515ac2b0cee /scripts | |
| parent | 60239bee8781bf85829bc6d9a159ebc630657960 (diff) | |
| download | context-89f1dbd1efbc71e5a74d798142ae5275e6f097ff.tar.gz | |
beta 2010.05.15 18:13
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-check.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-check.lua b/scripts/context/lua/mtx-check.lua index 436a205e0..49c57ab97 100644 --- a/scripts/context/lua/mtx-check.lua +++ b/scripts/context/lua/mtx-check.lua @@ -40,6 +40,8 @@ do local l_s, r_s = P("["), P("]") local l_g, r_g = P("{"), P("}") + local okay = lpeg.P("{[}") + lpeg.P("{]}") + local esc = P("\\") local cr = P("\r") local lf = P("\n") @@ -72,7 +74,7 @@ do ["tokens"] = (V("ignore") + V("whatever") + V("grouped") + V("setup") + V("display") + V("inline") + V("errors") + 1)^0, ["whatever"] = line + esc * 1 + C(P("%") * (1-line)^0), ["grouped"] = l_g * (V("whatever") + V("grouped") + V("setup") + V("display") + V("inline") + (1 - l_g - r_g))^0 * r_g, - ["setup"] = l_s * (V("whatever") + V("grouped") + V("setup") + V("display") + V("inline") + (1 - l_s - r_s))^0 * r_s, + ["setup"] = l_s * (okay + V("whatever") + V("grouped") + V("setup") + V("display") + V("inline") + (1 - l_s - r_s))^0 * r_s, ["display"] = d_m * (V("whatever") + V("grouped") + (1 - d_m))^0 * d_m, ["inline"] = i_m * (V("whatever") + V("grouped") + (1 - i_m))^0 * i_m, ["errors"] = (V("gerror")+ V("serror") + V("derror") + V("ierror")), |