From 794e15aca3ba6db4eaec9e0d5c87161363ff3a1e Mon Sep 17 00:00:00 2001 From: krangelov Date: Fri, 26 Nov 2021 08:32:00 +0100 Subject: [PATCH] fix in the PMCFG generation --- src/compiler/GF/Compile/GeneratePMCFG.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/GF/Compile/GeneratePMCFG.hs b/src/compiler/GF/Compile/GeneratePMCFG.hs index b2c94c4ed..80d63bbfb 100644 --- a/src/compiler/GF/Compile/GeneratePMCFG.hs +++ b/src/compiler/GF/Compile/GeneratePMCFG.hs @@ -80,7 +80,7 @@ type2metaTerm gr d ms r rs (Table p q) = count = case allParamValues gr p of Ok ts -> length ts Bad msg -> error msg - in (ms',(r'-r)*count,T (TTyped p) [(PV pv,t)]) + in (ms',r+(r'-r)*count,T (TTyped p) [(PV pv,t)]) type2metaTerm gr d ms r rs ty@(QC q) = let i = Map.size ms + 1 in (Map.insert i ty ms,r,Meta i)