GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix parsing with HOAS

Browse Source
This commit is contained in:
krangelov
2020-10-02 19:34:52 +02:00
parent 90fc1d750e
commit bfb94d1e48
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/runtime/haskell/PGF/Forest.hs
View File

@@ -33,6 +33,7 @@ import qualified Data.IntMap as IntMap
import Control.Monad import Control.Monad
import Control.Monad.State import Control.Monad.State
import PGF.Utilities (nub') import PGF.Utilities (nub')
import qualified Data.ByteString.UTF8 as UTF8
data Forest data Forest
= Forest = Forest
@@ -103,11 +104,11 @@ bracketedTokn dp f@(Forest abs cnc forest root) =
descend (PCoerce fid) = trustedSpots parents' (PArg [] fid) descend (PCoerce fid) = trustedSpots parents' (PArg [] fid)
descend (PConst c e _) = IntSet.empty descend (PConst c e _) = IntSet.empty
isLindefCId id isLindefCId id@(CId utf8)
| take l s == lindef = Just (mkCId (drop l s)) | take l s == lindef = Just (mkCId (drop l s))
| otherwise = Nothing | otherwise = Nothing
where where
s = showCId id s = UTF8.toString utf8
lindef = "lindef " lindef = "lindef "
l = length lindef l = length lindef