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

Type apply value instead of address in currentFrame

Browse Source 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
This commit is contained in:
joshvera 2018-11-26 19:57:19 -05:00
parent c0567f50f3
commit 57015e94cc
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

@ -133,7 +133,7 @@ modifyHeap :: (Member (State (Heap address address value)) sig, Carrier sig m) =
modifyHeap = modify
-- | Retrieve the heap.
currentFrame :: forall address value sig term m. (
currentFrame :: forall value address sig term m. (
Member (State (Heap address address value)) sig
, Carrier sig m
)
@ -169,7 +169,7 @@ withFrame :: forall term address value sig m a. (
-> Evaluator term address value m a -- Not sure about this `sig` here (substituting `sig` for `effects`)
-> Evaluator term address value m a
withFrame address action = do
prevFrame <- currentFrame @address @value
prevFrame <- currentFrame @value
modify @(Heap address address value) (\h -> h { Heap.currentFrame = Just address })
value <- action
case prevFrame of