From 514f4e2e4b159d4a9339a392a675a0c606a645ea Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 23 Jun 2010 13:29:41 -0500 Subject: [PATCH] Restricts bytecode cycles to begin with proc-consts, as in the real machine. --- collects/redex/examples/racket-machine/reduction.rkt | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/collects/redex/examples/racket-machine/reduction.rkt b/collects/redex/examples/racket-machine/reduction.rkt index 7931416d07..e4d6f06230 100644 --- a/collects/redex/examples/racket-machine/reduction.rkt +++ b/collects/redex/examples/racket-machine/reduction.rkt @@ -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 ...)))])