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

Define a recursive case for Lambda.

Browse Source
This commit is contained in:
Rob Rix 2018-07-31 11:47:28 -04:00
parent 181a6c777b
commit 35a3b667a7
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -92,6 +92,11 @@ class Lambda address value effects ty | ty -> address, ty -> value, ty -> effect
-> ty
-> Evaluator address value effects value
instance (Member Fresh effects, Lambda address value effects ret) => Lambda address value effects (Name -> ret) where
lambda' vars body = do
var <- gensym
lambda' (var : vars) (body var)
builtInPrint :: ( AbstractValue address value effects
, HasCallStack
, Member (Allocator address value) effects