Permalink
Browse files

dvh-s fixes

  • Loading branch information...
Arjun Guha authored and arjunguha committed Apr 15, 2011
1 parent 23d8acc commit 4aa32a65b8ed30e2ba369f296c362d385602668c
Showing with 8 additions and 1 deletion.
  1. +8 −1 Redex/jscore.ss
View
@@ -275,6 +275,9 @@
(break lbl_2 val)
"E-Label-Pop"
(side-condition (not (equal? (term lbl_1) (term lbl_2)))))
(==> (break lbl_1 (in-hole H (break lbl_2 val)))
(break lbl_2 val)
"E-Break-Break")
(==> (label lbl_1 val)
val
"E-Label-Pop-NoBreak")
@@ -368,6 +371,10 @@
(err "if not given a boolean test")
"E-If-NotBool")
;no need for a separate while reduction rule
(--> (σ (in-hole H (break lbl_1 v)))
(σ (err "missing label for break"))
"Err-Break-No-Label")
;eval fails explicitly:
(==> eval-semantic-bomb
@@ -412,4 +419,4 @@
(= 2 (length (first result)))
(equal? (second (first result)) (term e2))))))
(apply-reduction-relation*
eval-lambdaJS (term (() e1))))]))
eval-lambdaJS (term (() e1))))]))

0 comments on commit 4aa32a6

Please sign in to comment.