From 57015e94ccfef4a9377ffcbd81c6a00bfb7ebea1 Mon Sep 17 00:00:00 2001 From: joshvera Date: Mon, 26 Nov 2018 19:57:19 -0500 Subject: [PATCH] Type apply value instead of address in currentFrame Co-Authored-By: Rick Winfrey --- src/Control/Abstract/Heap.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Control/Abstract/Heap.hs b/src/Control/Abstract/Heap.hs index bee9d2161..57ca0dd7b 100644 --- a/src/Control/Abstract/Heap.hs +++ b/src/Control/Abstract/Heap.hs @@ -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