suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Restricts bytecode cycles to begin with proc-consts, as in the real machine.

Browse Source
This commit is contained in:
Casey Klein 2010-06-23 13:29:41 -05:00
parent 15aeee98e9
commit 514f4e2e4b
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/redex/examples/racket-machine/reduction.rkt
View File

@ -249,12 +249,8 @@
concat : (any ...) ... -> (any ...)
[(concat any ...) ,(apply append (term (any ...)))])
; load : e T -> (e H T)
; load’ : e φ (x ...) -> (e H T (x ...))
; load’* : ((e φ) ...) (x ...) -> ((e ...) H T (x ...))
(define-metafunction loader
[(load e ((x_0 e_0) ...))
[(load e ((x_0 (name e_0 (proc-const (τ ...) e_b))) ...))
(uninit (((ε))) H (concat ((x_0 e_0*) ...) T) (e_*))
(where ((e_* e_0* ...) H T (y ...))
(load’* ((e -) (e_0 -) ...) (x_0 ...)))])