Minor

2025-06-07 22:05:17 -04:00
1 changed files with 1 additions and 4 deletions
--- a/semantics.rkt
+++ b/semantics.rkt
@ -136,13 +136,10 @@
      (let ([next-st (update-stats incr-stats (step st))])
        (cons st (eval-state next-st)))))

-(: data-node? (-> Node Boolean))
-(define data-node? integer?)
-
 (: final-state? (-> State Boolean))
 (define (final-state? st)
  (match (State-stack st)
-    [(list n) (data-node? (lookup-node (State-heap st) n))]
+    [(list n) (integer-node? (lookup-node (State-heap st) n))]
    [_ #f]))

 (: step (-> State State))