improve error location (emina#228)

jamestiotio · Apr 9, 2022 · 5369537 · 5369537
1 parent 1d042d1
commit 5369537
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/rosette/lib/destruct.rkt b/rosette/lib/destruct.rkt
@@ -48,10 +48,11 @@
 
 (define-simple-macro (destruct val [pat:clause-pattern e:expr ...+] ...)
   #:do [(for-each check-duplicate-identifier! (attribute pat.id-set))]
+  #:with match-expr (syntax/loc this-syntax (match var [pat (begin e ...)] ...))
   #:with result
   (syntax/loc this-syntax
     (for/all ([var val]);(guarded-values val)])
-      (match var [pat (begin e ...)] ...)))
+      match-expr))
   result)
 
 (define-simple-macro (destruct* (val ...) [(pat:clause-pattern ...) e:expr ...+] ...)