github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity

Spell out the label field.

Browse Source
This commit is contained in:
Rob Rix 2018-03-15 14:48:06 -04:00
parent ba84fffd56
commit 6fc1747652
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Control/Abstract/Value.hs
View File

@ -193,13 +193,13 @@ instance ( Monad m
injValue . Closure names l . bindEnv (foldr Set.delete (freeVariables body) names) <$> askLocalEnv injValue . Closure names l . bindEnv (foldr Set.delete (freeVariables body) names) <$> askLocalEnv
apply op params = do apply op params = do
Closure names l env <- maybe (fail ("expected a closure, got: " <> show op)) pure (prjValue op) Closure names label env <- maybe (fail ("expected a closure, got: " <> show op)) pure (prjValue op)
bindings <- foldr (\ (name, param) rest -> do bindings <- foldr (\ (name, param) rest -> do
v <- param v <- param
a <- alloc name a <- alloc name
assign a v assign a v
envInsert name a <$> rest) (pure env) (zip names params) envInsert name a <$> rest) (pure env) (zip names params)
localEnv (mappend bindings) (goto l >>= evaluateTerm) localEnv (mappend bindings) (goto label >>= evaluateTerm)
loop = fix loop = fix