From 308727c6578663d70410cddb160e0bee5dc76edc Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Tue, 15 Sep 2015 02:04:32 -0400 Subject: [PATCH] show scopes info --- .../macro-debugger/syntax-browser/properties.rkt | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/macro-debugger/macro-debugger/syntax-browser/properties.rkt b/macro-debugger/macro-debugger/syntax-browser/properties.rkt index a9a9816..6642e26 100644 --- a/macro-debugger/macro-debugger/syntax-browser/properties.rkt +++ b/macro-debugger/macro-debugger/syntax-browser/properties.rkt @@ -264,9 +264,14 @@ ;; display-marks : syntax -> void (define/private (display-marks stx) - (display "Marks: " key-sd) - (display (format "~s\n" (get-marks stx)) #f) - (display "\n" #f)) + (for ([phase '(0 1 -1)]) + (define info (syntax-debug-info stx phase)) + (define ctx (hash-ref info 'context null)) + (when (pair? ctx) + (display (format "Scopes at phase ~s:\n" phase) key-sd) + (for ([scope (in-list ctx)]) + (display (format "~s\n" scope) #f)) + (display "\n" #f)))) ;; display-taint : syntax -> void (define/private (display-taint stx)