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

another case for evaluation under a table

Browse Source
This commit is contained in:
Krasimir Angelov
2025-03-21 07:00:58 +01:00
parent 81d472235a
commit 4c24fc904d
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/compiler/api/GF/Compile/Compute/Concrete2.hs
View File

@@ -755,13 +755,22 @@ value2termM flat xs (VS v1 v2 vs) =
case v1 of case v1 of
VT vty env s cs -> do VT vty env s cs -> do
ty <- value2termM flat xs vty ty <- value2termM flat xs vty
g <- globals
cs <- forM cs $ \(p,t) -> do cs <- forM cs $ \(p,t) -> do
let (_,xs',env') = pattVars (length xs,xs,env) p let (_,xs',env') = pattVars (length xs,xs,env) p
g <- globals
t <- value2termM flat xs' (eval g env' s t vs) t <- value2termM flat xs' (eval g env' s t vs)
return (p,t) return (p,t)
t2 <- value2termM flat xs v2 t2 <- value2termM flat xs v2
return (S (T (TTyped ty) cs) t2) return (S (T (TTyped ty) cs) t2)
VV vty vs' -> do
ty <- value2termM flat xs vty
g <- globals
ts <- forM vs' $ \v ->
value2termM flat xs (apply g v vs)
t2 <- value2termM flat xs v2
return (S (V ty ts) t2)
v1 -> do v1 -> do
t1 <- value2termM flat xs v1 t1 <- value2termM flat xs v1
t2 <- value2termM flat xs v2 t2 <- value2termM flat xs v2