GitHub/gf-core
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-10-28 17:33:18 -06:00
Code Issues Packages Projects Releases Wiki Activity

VConst -> VApp

Browse Source
This commit is contained in:
Krasimir Angelov committed 2026-02-20 13:54:32 +01:00
1 parent c9145d854b
commit a4ac066326
1 file changed
+2 -2
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Compile/Compute.hs
+2 -2
View File
@@ -2,7 +2,7 @@
module GF.Compile.Compute module GF.Compile.Compute
(Env, Scope, Value(..), Variants(..), OptionInfo(..), (Env, Scope, Value(..), Variants(..), OptionInfo(..),
ConstValue(..), Globals(..), PredefTable, EvalM, ConstValue(..), Globals(..), PredefTable, EvalM(..),
mapVariantsC, unvariants, mapVariantsC, unvariants,
runEvalM, runEvalMWithInput, stdPredef, noPredef, globals, runEvalM, runEvalMWithInput, stdPredef, noPredef, globals,
PredefImpl, Predef, pdArity, PredefImpl, Predef, pdArity,
@@ -361,7 +361,7 @@ evalAbsDef g@(Gl gr pds _) c q args =
case splitAt' arity args of case splitAt' arity args of
Nothing -> VPAP c q args Nothing -> VPAP c q args
Just (_,_) -> patternMatch g c (VConst q args) (map (\(ps,t) -> ([],ps,args,t)) eqs) Just (_,_) -> patternMatch g c (VConst q args) (map (\(ps,t) -> ([],ps,args,t)) eqs)
Ok Nothing -> VConst q args Ok Nothing -> VApp q args
Bad msg -> error msg Bad msg -> error msg
apply g (VMeta i vs0) vs = VMeta i (vs0++vs) apply g (VMeta i vs0) vs = VMeta i (vs0++vs)