From 9d458f919b690f40d08d3588288b63631a769303 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Wed, 12 Nov 2014 19:41:48 -0500 Subject: [PATCH] macro-debugger: fix #%top in local-expand closes PR 14822 original commit: 395eee7598b2cf1c48e80c3df5e9fff9b75181b2 --- .../macro-debugger/model/reductions.rkt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/macro-debugger/model/reductions.rkt b/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/macro-debugger/model/reductions.rkt index 3b1c43d..7295557 100644 --- a/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/macro-debugger/model/reductions.rkt +++ b/pkgs/macro-debugger-pkgs/macro-debugger-text-lib/macro-debugger/model/reductions.rkt @@ -218,8 +218,12 @@ [#:walk e2 'macro])] [(Wrap p:#%top (e1 e2 rs ?1)) (R [! ?1] - [#:pattern (?top . ?var)] - [#:learn (list #'?var)])] + [#:pattern ?form] + [#:learn + (syntax-case #'?form () + [(?top . ?var) (identifier? #'?var) (list #'?var)] + [?var (identifier? #'?var) (list #'?var)] + [_ (error 'macro-debugger "#%top has wrong form: ~s\n" #'?form)])])] [(Wrap p:provide (e1 e2 rs ?1 inners ?2)) (let ([wrapped-inners (map expr->local-action inners)])