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

the variable labeling should start with 0.

Browse Source
This commit is contained in:
krangelov
2021-12-03 15:00:04 +01:00
parent 348963d13c
commit 655576c291
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/compiler/GF/Compile/Compute/Concrete.hs
View File

@@ -641,7 +641,7 @@ getVariables = EvalM $ \gr k mt r -> do
Ok ts -> length ts Ok ts -> length ts
Bad msg -> error msg Bad msg -> error msg
params <- metas2params gr tnks params <- metas2params gr tnks
return ((i,range):params) return ((i-1,range):params)
_ -> metas2params gr tnks _ -> metas2params gr tnks
getRef tnk = EvalM $ \gr k mt r -> readSTRef tnk >>= \st -> k st mt r getRef tnk = EvalM $ \gr k mt r -> readSTRef tnk >>= \st -> k st mt r

2
src/compiler/GF/Compile/GeneratePMCFG.hs
View File

@@ -165,7 +165,7 @@ param2int (VMeta tnk _ _) = do
Evaluated v -> param2int v Evaluated v -> param2int v
Narrowing j ty -> do let QC q = valTypeCnc ty Narrowing j ty -> do let QC q = valTypeCnc ty
(_,ResParam _ (Just (_,cnt))) <- getInfo q (_,ResParam _ (Just (_,cnt))) <- getInfo q
return (0,[(1,j)],cnt) return (0,[(1,j-1)],cnt)
param2int v = do t <- value2term 0 v param2int v = do t <- value2term 0 v
evalError ("the parameter:" <+> ppTerm Unqualified 0 t $$ evalError ("the parameter:" <+> ppTerm Unqualified 0 t $$
"cannot be evaluated at compile time.") "cannot be evaluated at compile time.")