diff options
| author | Marius <mariausol@gmail.com> | 2012-08-27 18:20:19 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2012-08-27 18:20:19 +0300 |
| commit | 47d1a628ec1cbebf26ac6eeac1cdbdb71009e3fc (patch) | |
| tree | 03b44a3953c1c3ae1665f96556bc7022a3eb81aa /tex/generic | |
| parent | ef3bfc9ea7ed3326ea07cd48ccf2c3d8d55ea435 (diff) | |
| download | context-47d1a628ec1cbebf26ac6eeac1cdbdb71009e3fc.tar.gz | |
beta 2012.08.27 17:12
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index f17a3e045..670573dd8 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 08/25/12 12:53:08 +-- merge date : 08/27/12 17:12:53 do -- begin closure to overcome local limits and interference @@ -1150,7 +1150,22 @@ local report = texio and texio.write_nl or print -- -- local p = C("@") * C("!") / "%2%1" -- lpeg.print(p) print(lpeg.match(p,"@!")) - +-- +-- TRICKY: +-- +-- local P, R, Cs = lpeg.P, lpeg.R, lpeg.Cs +-- +-- local p = Cs(P("+")^0 * R("09")^1 * P(-1)) / function(s) return "l==" .. s end +-- print(lpeg.match(Cs(p),"+10")) +-- +-- local p = P("+")^0 * R("09")^1 * P(-1) / function(s) return "l==" .. s end +-- print(lpeg.match(Cs(p),"+10")) +-- +-- local p = Cs(P("+")^0 * R("09")^1 * P(-1)) / "l==%1" +-- print(lpeg.match(Cs(p),"+10")) +-- +-- local p = P("+")^0 * R("09")^1 * P(-1) / "l==%1" +-- print(lpeg.match(Cs(p),"+10")) -- local lpmatch = lpeg.match -- local lpprint = lpeg.print |