From e67d7180f5043e2328e81549c57d2623a4439731 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Sat, 3 Mar 2007 17:42:12 +0000 Subject: [PATCH] Macro stepper: fixed missing-arg bug svn: r5725 --- collects/macro-debugger/view/gui.ss | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/collects/macro-debugger/view/gui.ss b/collects/macro-debugger/view/gui.ss index f51bd6c42d..25fd35cc06 100644 --- a/collects/macro-debugger/view/gui.ss +++ b/collects/macro-debugger/view/gui.ss @@ -490,7 +490,8 @@ "while executing macro transformer in:\n") (insert-syntax/redex (bigframe-term bf) (bigframe-foci bf) - (protostep-definites step))) + (protostep-definites step) + (protostep-frontier step))) (reverse lctx)))) (define/private (update:separator step) @@ -501,11 +502,13 @@ (step-type->string (protostep-type step)))) (define/private (update:show-step step) - (insert-syntax/redex (step-term1 step) (step-foci1 step) + (insert-syntax/redex (step-term1 step) + (step-foci1 step) (protostep-definites step) (protostep-frontier step)) (update:separator step) - (insert-syntax/contractum (step-term2 step) (step-foci2 step) + (insert-syntax/contractum (step-term2 step) + (step-foci2 step) (protostep-definites step) (protostep-frontier step)) (update:show-lctx step)) @@ -514,20 +517,23 @@ (update:separator/small step) (insert-syntax/redex (prestep-term1 step) (prestep-foci1 step) - (protostep-definites step)) + (protostep-definites step) + (protostep-frontier step)) (update:show-lctx step)) (define/private (update:show-poststep step) (update:separator/small step) (insert-syntax/contractum (poststep-term2 step) (poststep-foci2 step) - (protostep-definites)) + (protostep-definites step) + (protostep-frontier step)) (update:show-lctx step)) (define/private (update:show-misstep step) (insert-syntax/redex (misstep-term1 step) (misstep-foci1 step) - (protostep-definites step)) + (protostep-definites step) + (protostep-frontier step)) (update:separator step) (send sbview add-text (exn-message (misstep-exn step))) (send sbview add-text "\n")