suzanne.soy/macro-debugger
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Macro stepper: internal debugging improvements

Browse Source 
svn: r5511

original commit: d76d947d9396347d8c0029b3235950a772986511
This commit is contained in:
Ryan Culpepper 2007-01-30 22:32:21 +00:00
parent 6641e1fe7a
commit dd90b92c3d
2 changed files with 22 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/macro-debugger/model/deriv-tokens.ss
View File

@ -83,7 +83,6 @@
(12 . ,token-block->list) (12 . ,token-block->list)
(13 . ,token-next-group) (13 . ,token-next-group)
(14 . ,token-block->letrec) (14 . ,token-block->letrec)
#;(15 . renamer)
(16 . ,token-renames-let) (16 . ,token-renames-let)
(17 . ,token-renames-lambda) (17 . ,token-renames-lambda)
(18 . ,token-renames-case-lambda) (18 . ,token-renames-case-lambda)
@ -144,4 +143,7 @@
pos) pos)
(error 'tokenize "bad signal: ~s" sig-n)))) (error 'tokenize "bad signal: ~s" sig-n))))
(define (signal->symbol sig-n)
(cdr (assv sig-n signal-mapping)))
) )

36
collects/macro-debugger/model/trace-raw.ss
View File

@ -11,27 +11,27 @@
(dynamic-require '#%expobs 'current-expand-observe)) (dynamic-require '#%expobs 'current-expand-observe))
(define (go-trace sexpr) (define (go-trace sexpr)
(define browser (define events null)
(parameterize (#;(identifier=-choices
(list (cons "related by table"
(lambda (a b) (related-by-table table a b))))))
(make-syntax-browser)))
(define table #f)
(define pos 0) (define pos 0)
(define browser (make-syntax-browser))
(define (show sig+val)
(define sig (car sig+val))
(define val (cdr sig+val))
(define t (tokenize sig val pos))
(send browser add-text
(format "Signal: ~s: ~s~n"
pos
(token-name (position-token-token t))))
(when val
(send browser add-syntax
(datum->syntax-object #f val)))
(set! pos (add1 pos)))
(parameterize ((current-expand-observe (parameterize ((current-expand-observe
(lambda (sig val) (lambda (sig val)
(define t (tokenize sig val pos)) (define t (tokenize sig val pos))
(send browser add-text (set! events (cons (cons sig val) events))
(format "Signal: ~s: ~s~n" #;(show (cons sig val)))))
pos (expand sexpr)
(token-name (position-token-token t)))) (for-each show (reverse events))))
(send browser add-syntax
(datum->syntax-object #f val))
(set! pos (add1 pos)))))
(expand sexpr)))
(define (related-by-table table a b)
(or (eq? a b)
#;(and table '...)))
) )