more stx -> this-syntax

2017-03-21 19:16:15 -04:00 · 2017-03-21 19:16:15 -04:00 · 9e3c2c2866
commit 9e3c2c2866
parent 7968d6346c
1 changed files with 1 additions and 1 deletions
--- a/turnstile/examples/rosette/synthcl3.rkt
+++ b/turnstile/examples/rosette/synthcl3.rkt
@ -401,7 +401,7 @@
  [(_ x:id e) ≫
   [⊢ x ≫ x- ⇒ ty-x]
   [⊢ e ≫ e- ⇒ ty-e]
-   #:fail-unless (cast-ok? #'ty-e #'ty-x stx)
+   #:fail-unless (cast-ok? #'ty-e #'ty-x this-syntax)
           (format "cannot cast ~a to ~a" (type->str #'ty-e) (type->str #'ty-x))
   #:with conv (get-convert #'ty-x)
   --------