From c31d12bde8b7c17bddb4a0177f808169c2d16b0d Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Thu, 7 Dec 2023 12:05:48 -0700
Subject: [PATCH] womp (no deepeval)

---
 doc/src/references/gm-state-transitions.rst | 24 ---------------------
 src/GM.hs                                   | 15 +++++++------
 2 files changed, 9 insertions(+), 30 deletions(-)

diff --git a/doc/src/references/gm-state-transitions.rst b/doc/src/references/gm-state-transitions.rst
index 274f30d..59df767 100644
--- a/doc/src/references/gm-state-transitions.rst
+++ b/doc/src/references/gm-state-transitions.rst
@@ -493,30 +493,6 @@ Core Transition Rules
           [\mathtt{Pack} \; t \; n, \mathtt{Update} \; 0, \mathtt{Unwind}]$}
       }
 
-#. (WIP) Deep eval. Evaluate a constructor and each of its components
-
-   .. math::
-      \gmrule
-      { \mathtt{DeepEval} : i
-      & a : s
-      & d
-      & h
-      \begin{bmatrix}
-            a : \mathtt{NConstr} \; t \; [a_1,\ldots,a_n]
-      \end{bmatrix}
-      & m
-      }
-      { i' \concat i
-      & a_1 : \ldots : a_n : s
-      & d
-      & h
-      & m
-      \\
-      \SetCell[c=6]{c}
-      \text{where $i' = \overbrace{[\mathtt{Eval}, \mathtt{DeepEval},\mathtt{Eval},
-          \mathtt{DeepEval},\ldots]}^n$}
-      }
-
 ***************
 Extension Rules
 ***************
diff --git a/src/GM.hs b/src/GM.hs
index 0875e6b..fdf049b 100644
--- a/src/GM.hs
+++ b/src/GM.hs
@@ -168,8 +168,8 @@ step st = case head (st ^. gmCode) of
 
         caseJumpI :: [(Tag, Code)] -> GmState
         caseJumpI as = st
-                    & advanceCode
-                    & gmCode %~ (i'++)
+                     & advanceCode
+                     & gmCode %~ (i'++)
             where
                 h = st ^. gmHeap
                 s = st ^. gmStack
@@ -184,6 +184,7 @@ step st = case head (st ^. gmCode) of
                   & advanceCode
                   & gmStack .~ s'
                   & gmHeap  .~ h'
+                  & gmStats . stsAllocations %~ succ
             where
                 (as,s) = splitAt n (st ^. gmStack)
                 s' = a:s
@@ -207,6 +208,7 @@ step st = case head (st ^. gmCode) of
                         & gmStack %~ (a:)
                         & gmEnv   .~ m'
                         & gmHeap  .~ h'
+                        & gmStats . stsAllocations %~ succ
             where
                 s = st ^. gmStack
                 m = st ^. gmEnv
@@ -397,10 +399,10 @@ step st = case head (st ^. gmCode) of
                          & gmStack %~ (f:)
 
             NGlobal n _
-                | k <= n -> traceWith (render . showState) $ st
-                         & gmCode  .~ i
-                         & gmStack .~ s'
-                         & gmDump  .~ d
+                | k <= n -> st
+                          & gmCode  .~ i
+                          & gmStack .~ s'
+                          & gmDump  .~ d
                 where
                     as = st ^. gmStack
                     s' = last as : s
@@ -473,6 +475,7 @@ boxInt :: GmState -> Int -> GmState
 boxInt st n = st
             & gmHeap  .~ h'
             & gmStack %~ (a:)
+            & gmStats . stsAllocations %~ succ
     where
         h = st ^. gmHeap
         (h',a) = alloc h (NNum n)