GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-24 02:12:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

the constraints list in the conversion rules should be sorted too

Browse Source
This commit is contained in:
kr.angelov
2006-06-03 10:30:10 +00:00
parent c5550bd482
commit 81d9aea92f
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/GF/Conversion/SimpleToFCFG.hs
View File

@@ -298,10 +298,14 @@ genFCatArg env@(FRulesEnv last_id fcatSet rules) m1@(FCat _ cat rcs tcs) ctype =
gen_tcs (StrT) path acc = return acc gen_tcs (StrT) path acc = return acc
gen_tcs (ConT terms) path acc = gen_tcs (ConT terms) path acc =
case List.lookup path tcs of case List.lookup path tcs of
Just term -> return ((path,term) : acc) Just term -> return $! addConstraint path term acc
Nothing -> do writeState True Nothing -> do writeState True
term <- member terms term <- member terms
return ((path,term) : acc) return $! addConstraint path term acc
where
addConstraint path0 term0 (c@(path,term) : cs)
| path0 > path = c:addConstraint path0 term0 cs
addConstraint path0 term0 cs = (path0,term0) : cs
takeToDoRules :: SRulesMap -> FRulesEnv -> ([([SRule], STermSelector)], FRulesEnv) takeToDoRules :: SRulesMap -> FRulesEnv -> ([([SRule], STermSelector)], FRulesEnv)
takeToDoRules srulesMap (FRulesEnv last_id fcatSet rules) = (todo,FRulesEnv last_id fcatSet' rules) takeToDoRules srulesMap (FRulesEnv last_id fcatSet rules) = (todo,FRulesEnv last_id fcatSet' rules)