yiyunliu/core-in-racket
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

base: yiyunliu:letrec2
Branches Tags
yiyunliu:master
yiyunliu:letrec2
yiyunliu:letrec
..
compare: yiyunliu:master
Branches Tags
yiyunliu:letrec2
yiyunliu:master
yiyunliu:letrec

No commits in common. "letrec2" and "master" have entirely different histories.
letrec2 ... master

1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
semantics.rkt
View file

@ -136,10 +136,13 @@
(let ([next-st (update-stats incr-stats (step st))]) (let ([next-st (update-stats incr-stats (step st))])
(cons st (eval-state next-st))))) (cons st (eval-state next-st)))))
(: data-node? (-> Node Boolean))
(define data-node? integer?)
(: final-state? (-> State Boolean)) (: final-state? (-> State Boolean))
(define (final-state? st) (define (final-state? st)
(match (State-stack st) (match (State-stack st)
[(list n) (integer-node? (lookup-node (State-heap st) n))] [(list n) (data-node? (lookup-node (State-heap st) n))]
[_ #f])) [_ #f]))
(: step (-> State State)) (: step (-> State State))