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

generate SymVar in PMCFG

Browse Source
This commit is contained in:
Krasimir Angelov
2026-09-09 08:13:42 +02:00
parent 7b1f3bd16e
commit f025a75e66
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Compile/GeneratePMCFG.hs
+3
View File
@@ -258,6 +258,7 @@ force (VSymCat d r rs) = do
force_ (factor, (v, ty)) = do force_ (factor, (v, ty)) = do
v <- force v v <- force v
return (factor, (v, ty)) return (factor, (v, ty))
force (VSymVar d j) = return (VSymVar d j)
force (VApp q vs) = do force (VApp q vs) = do
vs <- mapM force vs vs <- mapM force vs
return (VApp q vs) return (VApp q vs)
@@ -306,6 +307,8 @@ flatten subst (VStr s) = return (subst,[SymKS s])
flatten subst (VSymCat d r rs) = do flatten subst (VSymCat d r rs) = do
(subst,lin_index) <- params2int' subst r rs (subst,lin_index) <- params2int' subst r rs
return (subst,[SymCat d lin_index]) return (subst,[SymCat d lin_index])
flatten subst (VSymVar d j) = do
return (subst,[SymVar d j])
flatten subst (VApp (m,id) []) flatten subst (VApp (m,id) [])
| m == cPredef && id == cBIND = return (subst,[SymBIND]) | m == cPredef && id == cBIND = return (subst,[SymBIND])
| m == cPredef && id == cSOFT_BIND = return (subst,[SymSOFT_BIND]) | m == cPredef && id == cSOFT_BIND = return (subst,[SymSOFT_BIND])