diff options
| author | krasimir <krasimir@chalmers.se> | 2010-06-20 08:53:25 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-06-20 08:53:25 +0000 |
| commit | 7e9b1ebfa40803a8c42310191ff3426723fe5f41 (patch) | |
| tree | 01713ca4e3a38f47fd9d7399d8be29e45a98c840 /src | |
| parent | 9995a834ae44b32cc641cab7a6b908449d4de32b (diff) | |
addFCoercion -> addCoercion in GeneratePMCFG
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/GeneratePMCFG.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/compiler/GF/Compile/GeneratePMCFG.hs b/src/compiler/GF/Compile/GeneratePMCFG.hs index a1a8e4e78..e4437b443 100644 --- a/src/compiler/GF/Compile/GeneratePMCFG.hs +++ b/src/compiler/GF/Compile/GeneratePMCFG.hs @@ -130,7 +130,7 @@ convertRule gr opts grammarEnv (PFRule fun args res ctypes ctype term) = do where addRule lins (newCat', newArgs') env0 = let [newCat] = getFIds env0 newCat' - (env1, newArgs) = List.mapAccumL (\env -> addFCoercion env . getFIds env) env0 newArgs' + (env1, newArgs) = List.mapAccumL (\env -> addCoercion env . getFIds env) env0 newArgs' (env2,funid) = addCncFun env1 (PGF.Data.CncFun (i2i fun) (mkArray lins)) @@ -146,7 +146,7 @@ brk f (GrammarEnv last_id catSet seqSet funSet crcSet prodSet) = ff :: FunId -> [[FId]] -> GrammarEnv -> GrammarEnv ff funid xs env | product (map Set.size ys) == count = - case List.mapAccumL (\env c -> addFCoercion env (Set.toList c)) env ys of + case List.mapAccumL (\env c -> addCoercion env (Set.toList c)) env ys of (env,args) -> addProduction env cat (PApply funid args) | otherwise = List.foldl (\env args -> addProduction env cat (PApply funid args)) env xs where @@ -543,8 +543,8 @@ addCncFun env@(GrammarEnv last_id catSet seqSet funSet crcSet prodSet) fun = Nothing -> let !last_funid = Map.size funSet in (GrammarEnv last_id catSet seqSet (Map.insert fun last_funid funSet) crcSet prodSet,last_funid) -addFCoercion :: GrammarEnv -> [FId] -> (GrammarEnv,FId) -addFCoercion env@(GrammarEnv last_id catSet seqSet funSet crcSet prodSet) sub_fcats = +addCoercion :: GrammarEnv -> [FId] -> (GrammarEnv,FId) +addCoercion env@(GrammarEnv last_id catSet seqSet funSet crcSet prodSet) sub_fcats = case sub_fcats of [fcat] -> (env,fcat) _ -> case Map.lookup sub_fcats crcSet of |
