Fix PR 14638

2014-07-17 16:43:54 -04:00 · 2014-07-17 16:43:54 -04:00 · 40e9ac2c15
commit 40e9ac2c15
parent f9d5910ed8
1 changed files with 4 additions and 2 deletions
--- a/pkgs/plai/datatype.rkt
+++ b/pkgs/plai/datatype.rkt
@ -164,9 +164,11 @@

     (with-syntax
         ([(variant* ...)
-           (generate-temporaries #'(variant ...))]
+           (stx-map (λ (x) (datum->syntax #f (syntax->datum x)))
+                    #'(variant ...))]
          [(underlying-variant ...)
-           (generate-temporaries #'(variant ...))])
+           (stx-map (λ (x) (datum->syntax #f (syntax->datum x)))
+                    #'(variant ...))])

       (with-syntax
           ([((field/c-val ...) ...)