github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00
Code Issues Projects Releases Wiki Activity

Define builtin behaviours in runPrimitive.

Browse Source
This commit is contained in:
Rob Rix 2018-05-28 10:58:27 -04:00
parent 54988fa3df
commit 22e01c9ed3
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Control/Abstract/Primitive.hs
View File

@ -78,5 +78,6 @@ prim builtin params = send (Prim builtin params)
data Primitive value result where
Prim :: Builtin -> [value] -> Primitive value value
runPrimitive :: (Builtin -> [value] -> Evaluator location value effects value) -> Evaluator location value (Primitive value ': effects) a -> Evaluator location value effects a
runPrimitive handler = interpret (\ (Prim builtin params) -> handler builtin params)
runPrimitive :: (AbstractValue location value effects, Member Trace effects) => Evaluator location value (Primitive value ': effects) a -> Evaluator location value effects a
runPrimitive = interpret (\ (Prim builtin params) -> case builtin of
Print -> traverse (asString >=> trace . unpack) params >> unit)