summaryrefslogtreecommitdiff
path: root/src-3.0/GF/Grammar
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-24 08:35:02 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-24 08:35:02 +0000
commit223480bb77d5a86f3a9dcb2f02fcafbd89de453a (patch)
tree1cdb50521bbaee3400f5f38780f74d2e94cbc884 /src-3.0/GF/Grammar
parent7e6a3cf32e03c3f9770649e7ed23dd23d1089967 (diff)
langs option to Make.hs ; utf8 exception in linearization from the coding flag in grammar
Diffstat (limited to 'src-3.0/GF/Grammar')
-rw-r--r--src-3.0/GF/Grammar/AppPredefined.hs11
1 files changed, 9 insertions, 2 deletions
diff --git a/src-3.0/GF/Grammar/AppPredefined.hs b/src-3.0/GF/Grammar/AppPredefined.hs
index 452050ac8..cfb6baf1d 100644
--- a/src-3.0/GF/Grammar/AppPredefined.hs
+++ b/src-3.0/GF/Grammar/AppPredefined.hs
@@ -106,10 +106,17 @@ appPredefined t = case t of
_ -> retb t
---- should really check the absence of arg variables
where
- retb t = return (t,True) -- no further computing needed
- retf t = return (t,False) -- must be computed further
+ retb t = return (retc t,True) -- no further computing needed
+ retf t = return (retc t,False) -- must be computed further
+ retc t = case t of
+ K [] -> t
+ K s -> foldr1 C (map K (words s))
+ _ -> t
norm t = case t of
Empty -> K []
+ C u v -> case (norm u,norm v) of
+ (K x,K y) -> K (x +++ y)
+ _ -> t
_ -> t
fi = fromInteger