fix for expand opaque expression

Relies on corresponding commit to expander.
2015-11-15 16:19:41 -05:00 · 2015-11-15 16:19:41 -05:00 · 97623e1f66
commit 97623e1f66
parent cdffe7106e
1 changed files with 3 additions and 1 deletions
--- a/macro-debugger-text-lib/macro-debugger/model/deriv-parser.rkt
+++ b/macro-debugger-text-lib/macro-debugger/model/deriv-parser.rkt
@ -153,7 +153,9 @@
      ($3 $1 $2)]
     [(visit Resolves tag (? EE/k))
      (let ([next ($4 $3 $2)])
-        (make tagrule $1 (wderiv-e2 next) $3 next))])
+        (make tagrule $1 (wderiv-e2 next) $3 next))]
+     [(visit opaque)
+      (make p:stop $1 $2 null #f)])

    (EE/k
     (#:args e1 rs)