Bug fix for box evaluation.

emina · Feb 12, 2016 · 035b949 · 035b949
1 parent 67fa3a6
commit 035b949
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/rosette/query/eval.rkt b/rosette/query/eval.rkt
@@ -46,6 +46,8 @@
                 (cons (eval-rec x sol cache) (eval-rec y sol cache))]
                [(? vector?)              
                 (for/vector #:length (vector-length expr) ([e expr]) (eval-rec e sol cache))]
+               [(? box?)
+                ((if (immutable? expr) box-immutable box) (eval-rec (unbox expr) sol cache))] 
                [(union vs)                 
                 (let loop ([vs vs] [out '()])
                   (if (null? vs)