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

Add tests

Browse source
This commit is contained in:
Yiyun Liu 2025-05-27 23:18:57 -04:00
parent 4d186e6b2b
commit 30133f80e7
8 changed files with 61 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
semantics.rkt
View file

@ -1,6 +1,10 @@
#lang typed/racket
(require "ast.rkt")
(: prelude CoreProgram)
(define prelude
'((define (I x) x) (define (K x y) x) (define (K1 x y) y) (define (S f g x) ((f x) (g x))) (define (compose f g x) (f (g x))) (define (twice f) ((compose f) f))))
(struct State ([stack : Stack] [dump : Dump] [heap : Heap] [globals : Globals] [stats : Stats]))
(define-type Addr Symbol)
(define-type Stack (Listof Addr))