From bfb94d1e48fded159bbf63a992564cb24e987772 Mon Sep 17 00:00:00 2001 From: krangelov Date: Fri, 2 Oct 2020 19:34:52 +0200 Subject: [PATCH] fix parsing with HOAS --- src/runtime/haskell/PGF/Forest.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/runtime/haskell/PGF/Forest.hs b/src/runtime/haskell/PGF/Forest.hs index ee15e2cf9..f51bc8909 100644 --- a/src/runtime/haskell/PGF/Forest.hs +++ b/src/runtime/haskell/PGF/Forest.hs @@ -33,6 +33,7 @@ import qualified Data.IntMap as IntMap import Control.Monad import Control.Monad.State import PGF.Utilities (nub') +import qualified Data.ByteString.UTF8 as UTF8 data Forest = Forest @@ -103,11 +104,11 @@ bracketedTokn dp f@(Forest abs cnc forest root) = descend (PCoerce fid) = trustedSpots parents' (PArg [] fid) descend (PConst c e _) = IntSet.empty -isLindefCId id +isLindefCId id@(CId utf8) | take l s == lindef = Just (mkCId (drop l s)) | otherwise = Nothing where - s = showCId id + s = UTF8.toString utf8 lindef = "lindef " l = length lindef