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

eval pattern macroses

Browse Source
This commit is contained in:
krangelov
2021-12-20 15:03:15 +01:00
parent ef84adf107
commit 2be3fd7e78
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -300,8 +300,9 @@ patternMatch v0 ((env0,ps,args0,t):eqs) = match env0 ps eqs args0
match env (PT ty p :ps) eqs args = match env (p:ps) eqs args match env (PT ty p :ps) eqs args = match env (p:ps) eqs args
match env (PAlt p1 p2:ps) eqs args = match env (p1:ps) ((env,p2:ps,args,t):eqs) args match env (PAlt p1 p2:ps) eqs args = match env (p1:ps) ((env,p2:ps,args,t):eqs) args
match env (PM q :ps) eqs args = do t <- getResDef q match env (PM q :ps) eqs args = do t <- getResDef q
case t of v <- eval [] t []
EPatt _ _ p -> match env (p:ps) eqs args case v of
VPatt _ _ p -> match env (p:ps) eqs args
_ -> evalError $ hang "Expected pattern macro:" 4 _ -> evalError $ hang "Expected pattern macro:" 4
(pp t) (pp t)
match env (PV v :ps) eqs (arg:args) = match ((v,arg):env) ps eqs args match env (PV v :ps) eqs (arg:args) = match ((v,arg):env) ps eqs args