From 48c755597598fc4656603a90997ebe484488a8f9 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 20 Jun 2009 08:39:30 +0000 Subject: accepting + patterns in pre expressions --- src/GF/Compile/Compute.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/GF/Compile/Compute.hs') diff --git a/src/GF/Compile/Compute.hs b/src/GF/Compile/Compute.hs index 126575946..cf0803d98 100644 --- a/src/GF/Compile/Compute.hs +++ b/src/GF/Compile/Compute.hs @@ -414,6 +414,10 @@ computeTermOpt rec gr = comput True where getPatts p = case p of PAlt a b -> liftM2 (++) (getPatts a) (getPatts b) PString s -> return [K s] + PSeq a b -> do + as <- getPatts a + bs <- getPatts b + return [K (s ++ t) | K s <- as, K t <- bs] _ -> fail $ "not valid pattern in pre expression" +++ prt p {- ---- -- cgit v1.2.3