mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-25 08:43:17 -06:00
fix compilation
This commit is contained in:
1 parent
739d7d7fe5
commit
42a7f26eee
1 file changed
+2
-1
@@ -5,6 +5,7 @@ module GF.Server.PGFService(pgfMain,
|
|||||||
|
|
||||||
import PGF2
|
import PGF2
|
||||||
import PGF2.Transactions
|
import PGF2.Transactions
|
||||||
|
import PGF (Labels, getDepLabels)
|
||||||
import GF.Server.Cache
|
import GF.Server.Cache
|
||||||
|
|
||||||
import Data.Time.Format(formatTime)
|
import Data.Time.Format(formatTime)
|
||||||
@@ -146,7 +147,7 @@ pgfCommand qsem command q (t,pgf) =
|
|||||||
parse' cat start mlimit ((from,concr),input) =
|
parse' cat start mlimit ((from,concr),input) =
|
||||||
case PGF2.parse concr cat input of
|
case PGF2.parse concr cat input of
|
||||||
ParseOk ts -> return (Right (maybe id take mlimit (drop start ts)))
|
ParseOk ts -> return (Right (maybe id take mlimit (drop start ts)))
|
||||||
ParseFailed _ tok -> return (Left tok)
|
ParseFailed i -> return (Left (takeWhile (not.isSpace) (drop i input)))
|
||||||
ParseIncomplete -> return (Left "")
|
ParseIncomplete -> return (Left "")
|
||||||
|
|
||||||
parseToChart ((from,concr),input) cat mlimit = undefined {-
|
parseToChart ((from,concr),input) cat mlimit = undefined {-
|
||||||
|
|||||||
Reference in new issue
Block a user