From 40e9ac2c15ca6c05e78551980d62ba50642ee68d Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 17 Jul 2014 16:43:54 -0400 Subject: [PATCH] Fix PR 14638 --- pkgs/plai/datatype.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/plai/datatype.rkt b/pkgs/plai/datatype.rkt index cb2032fe2b..3f204ccd93 100644 --- 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 ...) ...)