From 39f2aa7f1ab72f39fc3f765ea886eb2358ce1bde Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 20 Jun 2013 15:55:58 -0600 Subject: [PATCH] redex delim-cont example: fix `if' in `get-marks' The `if' case of `get-marks' was missing subscripts, which caused it not to match and defer to an `if' in `get-marks-core', but `get-marks-core' is not supposed to have an `if' rule. Fix the one in `get-marks' and removed it from `get-marks-core'. --- pkgs/redex/examples/delim-cont/meta.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/pkgs/redex/examples/delim-cont/meta.rkt b/pkgs/redex/examples/delim-cont/meta.rkt index 3a1eb49d6d..e72692115a 100644 --- a/pkgs/redex/examples/delim-cont/meta.rkt +++ b/pkgs/redex/examples/delim-cont/meta.rkt @@ -72,7 +72,6 @@ [(get-marks-core (wcm (name w_1 ((v_4 v_5) ... (v_1 v_3) (v_6 v_7) ...)) E_1) v_1 e_2) (get-marks E_1 v_1 (cons v_3 e_2))] [(get-marks-core (wcm w_1 E_1) v_1 e_2) (get-marks E_1 v_1 e_2) (side-condition (term (notInDom v_1 w_1)))] [(get-marks-core (v ... E_1 e ...) v_1 e_2) (get-marks E_1 v_1 e_2)] - [(get-marks-core (if E_1 e_1 e_3) v_1 e_2) (get-marks E_1 v_1 e_2)] [(get-marks-core (begin E_1 e) v_1 e_2) (get-marks E_1 v_1 e_2)] [(get-marks-core (% v_2 E_1 v_3) v_1 e_2) (get-marks E_1 v_1 e_2)] [(get-marks-core (% v_2 e_1 E_1) v_1 e_2) (get-marks E_1 v_1 e_2)] @@ -80,7 +79,7 @@ [(get-marks-core (dw x e_1 E_1 e_3) v_1 e_2) (get-marks E_1 v_1 e_2)]) (define-metafunction grammar - [(get-marks (if E_1 e e) v_1 e_2) (get-marks E_1 v_1 e_2)] + [(get-marks (if E_1 e_1 e_3) v_1 e_2) (get-marks E_1 v_1 e_2)] [(get-marks (set! x E_1) v_1 e_2) (get-marks E_1 v_1 e_2)] [(get-marks E_1 v_1 e_2) (get-marks-core E_1 v_1 e_2)])