langs option to Make.hs ; utf8 exception in linearization from the coding flag in grammar

This commit is contained in:
aarne
2008-06-24 08:35:02 +00:00
parent 984c5ecc48
commit 9945a5b08e
6 changed files with 38 additions and 14 deletions

View File

@@ -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