fix the parsing api

This commit is contained in:
Krasimir Angelov
2026-08-05 15:53:25 +02:00
parent abac98531d
commit 38fb11e0a3
+1 -1
View File
@@ -144,7 +144,7 @@ pgfCommand qsem command q (t,pgf) =
-- Without caching parse results:
parse' cat start mlimit ((from,concr),input) =
case PGF2.parse concr cat (init input) of
case PGF2.parse concr cat input of
ParseOk ts -> return (Right (maybe id take mlimit (drop start ts)))
ParseFailed _ tok -> return (Left tok)
ParseIncomplete -> return (Left "")