From 6f2089c29dee8b9d723c47a82aa3f6653a699797 Mon Sep 17 00:00:00 2001
From: Ben Greenman <benjaminlgreenman@gmail.com>
Date: Sun, 12 Jun 2016 15:06:49 -0400
Subject: [PATCH] [private] map: allow compound/constructor types

---
 trivial/private/function.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trivial/private/function.rkt b/trivial/private/function.rkt
index 4d376d5..003dcd1 100644
--- a/trivial/private/function.rkt
+++ b/trivial/private/function.rkt
@@ -88,7 +88,7 @@
     #:with (e+* ...)
       (for/list ([t (in-list (syntax-e #'p.evidence))]
                  [e (in-list (syntax-e #'(e* ...)))])
-        (quasisyntax/loc stx (ann #,e (Listof-stx #,(format-id stx "~a" (syntax-e t))))))
+        (quasisyntax/loc stx (ann #,e (Listof-stx #,(datum->syntax stx (syntax-e t))))))
     (syntax/loc stx (map p.expanded e+* ...))]
    [_ #f]))))