Macro stepper: fixed missing-arg bug
svn: r5725
This commit is contained in:
parent
bb937c80a1
commit
e67d7180f5
|
@ -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")
|
||||
|
|
Loading…
Reference in New Issue
Block a user