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

trivial implementation for EPatt & EPattType

Browse Source
This commit is contained in:
krangelov
2021-10-05 15:45:16 +02:00
parent 3c4e7dd20c
commit dc59d9f3f9
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/compiler/GF/Compile/Compute/Concrete.hs
View File

@@ -65,6 +65,8 @@ data Value s
| VFlt Double
| VStr String
| VC [Value s]
| VPatt Int (Maybe Int) Patt
| VPattType (Value s)
eval env (Vr x) vs = case lookup x env of
@@ -131,6 +133,9 @@ eval env t@(Glue t1 t2) [] = do v1 <- eval env t1 []
case liftM2 (++) (value2string v1) (value2string v2) of
Just s -> return (string2value s)
Nothing -> evalError ("Cannot reduce term" <+> pp t)
eval env (EPatt min max p) [] = return (VPatt min max p)
eval env (EPattType t) [] = do v <- eval env t []
return (VPattType v)
eval env (FV ts) vs = msum [eval env t vs | t <- ts]
eval env (Error msg) vs = fail msg
eval env t vs = evalError ("Cannot reduce term" <+> pp t)
@@ -316,6 +321,9 @@ value2term i (VC vs) = do
case ts of
[] -> return Empty
(t:ts) -> return (foldl C t ts)
value2term i (VPatt min max p) = return (EPatt min max p)
value2term i (VPattType v) = do t <- value2term i v
return (EPattType t)
value2string (VStr s) = Just s
value2string (VC vs) = fmap unwords (mapM value2string vs)