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

generalise letrec'

Browse Source
This commit is contained in:
Charlie Somerville 2018-05-21 14:52:11 -07:00
parent 12742d681d
commit dd16593763
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/Heap.hs
View File

@ -107,8 +107,8 @@ letrec' :: Members '[ Allocator location value
, State (Environment location value) , State (Environment location value)
] effects ] effects
=> Name => Name
-> (Address location value -> Evaluator location value effects value) -> (Address location value -> Evaluator location value effects a)
-> Evaluator location value effects value -> Evaluator location value effects a
letrec' name body = do letrec' name body = do
addr <- lookupOrAlloc name addr <- lookupOrAlloc name
v <- localEnv id (body addr) v <- localEnv id (body addr)