1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 18:23:44 +03:00

Use gensym in the definition of lambda.

Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
This commit is contained in:
Rob Rix 2018-07-09 13:47:22 -04:00
parent 2f8f4e367e
commit 7e450aa14b

View File

@ -61,7 +61,7 @@ lambda :: (AbstractFunction address value effects, Member Fresh effects)
=> (Name -> Evaluator address value effects address)
-> Evaluator address value effects value
lambda body = do
var <- nameI <$> fresh
var <- gensym
closure [var] lowerBound (body var)
defineBuiltins :: ( AbstractValue address value effects