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

redex delim-cont example: fix if' in get-marks'

Browse Source 
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'.
This commit is contained in:
Matthew Flatt 2013-06-20 15:55:58 -06:00
parent 2ff05e2dda
commit 39f2aa7f1a
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/redex/examples/delim-cont/meta.rkt
View File

@ -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)])