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

eliminated one-element suffix lists in GFCC

Browse Source
This commit is contained in:
aarne
2006-09-05 15:15:02 +00:00
parent 62c21539db
commit b84c129e2f
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/GF/Canon/CanonToGFCC.hs
View File

@@ -138,7 +138,7 @@ optConcrete defs = subex [C.Lin f (optTerm t) | C.Lin f t <- defs]
-- suffix sets can later be shared by subex elim -- suffix sets can later be shared by subex elim
optTerm :: C.Term -> C.Term optTerm :: C.Term -> C.Term
optTerm tr = case tr of optTerm tr = case tr of
C.R ts@(_:_) | all isK ts -> mkSuff $ optToks [s | C.K (C.KS s) <- ts] C.R ts@(_:_:_) | all isK ts -> mkSuff $ optToks [s | C.K (C.KS s) <- ts]
C.R ts -> C.R $ map optTerm ts C.R ts -> C.R $ map optTerm ts
C.P t v -> C.P (optTerm t) v C.P t v -> C.P (optTerm t) v
_ -> tr _ -> tr

2
src/GF/UseGrammar/Linear.hs
View File

@@ -153,7 +153,7 @@ unoptimizeCanonMod g = convMod where
ps <- mapM term2patt vs ps <- mapM term2patt vs
return $ T ty [Cas [p] t | (p,t) <- zip ps ts] return $ T ty [Cas [p] t | (p,t) <- zip ps ts]
FV ts -> liftM FV $ mapM exp ts FV ts -> liftM FV $ mapM exp ts
I _ -> comp t I _ -> comp t
_ -> composOp exp t _ -> composOp exp t
where where
alls = allParamValues g alls = allParamValues g