diff options
| author | aarne <aarne@chalmers.se> | 2009-06-20 08:39:30 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2009-06-20 08:39:30 +0000 |
| commit | 48c755597598fc4656603a90997ebe484488a8f9 (patch) | |
| tree | 5058545292c76baa6ed347094a2cb01d61996bac /src/GF/Compile/Compute.hs | |
| parent | 30f90d707a3fa271bdd468ac7071faa79dd80ce1 (diff) | |
accepting + patterns in pre expressions
Diffstat (limited to 'src/GF/Compile/Compute.hs')
| -rw-r--r-- | src/GF/Compile/Compute.hs | 4 |
1 files changed, 4 insertions, 0 deletions
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 {- ---- |