From e2d6d365f6d5b56e9b2b7d74c4959779d722e5a4 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Thu, 9 Jun 2016 02:03:49 -0400 Subject: [PATCH] [function] add fall-through case for map --- trivial/private/function.rkt | 3 ++- trivial/untyped/function.rkt | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/trivial/private/function.rkt b/trivial/private/function.rkt index f6c8a87..4d376d5 100644 --- a/trivial/private/function.rkt +++ b/trivial/private/function.rkt @@ -89,5 +89,6 @@ (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)))))) - (syntax/loc stx (map p.expanded e+* ...))])))) + (syntax/loc stx (map p.expanded e+* ...))] + [_ #f])))) diff --git a/trivial/untyped/function.rkt b/trivial/untyped/function.rkt index ec110ab..16e0f44 100644 --- a/trivial/untyped/function.rkt +++ b/trivial/untyped/function.rkt @@ -85,5 +85,6 @@ #:with (e+* ...) (for/list ([e (in-list (syntax-e #'(e* ...)))]) (quasisyntax/loc stx #,e)) - (syntax/loc stx (map p.expanded e+* ...))])))) + (syntax/loc stx (map p.expanded e+* ...))] + [_ #f]))))