From 53d6fffe717b6473936cb53091b5a089878b3029 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 6 Jul 2014 00:56:09 -0500 Subject: [PATCH] propagate some source locations for better error reporting related to PR 14595 --- pkgs/redex-pkgs/redex-lib/redex/private/term.rkt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/term.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/term.rkt index e483ea26c9..58310e7bff 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/term.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/term.rkt @@ -145,10 +145,11 @@ (cons (syntax [res (func (quasidatum args))]) outer-bindings)) (values result-id (min depth max-depth))) - (loop (syntax (begin (mf-map func))) - (syntax/loc args-stx (args (... ...))) - (syntax (res (... ...))) - (sub1 args-depth))))))))) + (with-syntax ([dots (datum->syntax #'here '... arg-stx)]) + (loop (syntax (begin (mf-map func))) + (syntax/loc args-stx (args dots)) + (syntax (res dots)) + (sub1 args-depth)))))))))) (define (rewrite/max-depth stx depth ellipsis-allowed? continuing-an-application?) (syntax-case stx (unquote unquote-splicing in-hole hole)