1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00

Define a smart constructor for Primitive requests.

This commit is contained in:
Rob Rix 2018-05-28 10:44:07 -04:00
parent aea17bb2ec
commit 116f64eb75

View File

@ -72,6 +72,9 @@ defineBuiltins =
builtin Print (lambda lowerBound (\ v -> variable v >>= asString >>= trace . unpack >> unit))
prim :: Member (Primitive value) effects => Builtin -> Evaluator location value effects value
prim = send . Prim
data Primitive value result where
Prim :: Builtin -> Primitive value value