msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

fix NNum sharing not updating env

Browse Source 
when will i learn to confirm results before pushing...
This commit is contained in:
crumbtoo
2023-11-30 11:14:52 -07:00
parent b15bb0d716
commit 5b0fdead90
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/GM.hs
View File

@@ -144,6 +144,7 @@ step st = case head (st ^. gmCode) of
& gmCode %~ drop 1 & gmCode %~ drop 1
& gmStack .~ s' & gmStack .~ s'
& gmHeap .~ h' & gmHeap .~ h'
& gmEnv .~ m'
-- record the newly allocated int -- record the newly allocated int
& gmStats . stsAllocations %~ succ -- & gmStats . stsAllocations %~ succ --
where where
@@ -167,8 +168,8 @@ step st = case head (st ^. gmCode) of
-- s = st ^. gmStack -- s = st ^. gmStack
-- h = st ^. gmHeap -- h = st ^. gmHeap
-- s' = a : s s' = a : s
-- (h',a) = alloc h (NNum n) (h',a) = alloc h (NNum n)
mkAp :: GmState -> GmState mkAp :: GmState -> GmState
mkAp st = st mkAp st = st