backtrace.rkt (368B)
1 #lang typed/racket 2 (require "typed-untyped.rkt") 3 (define-typed/untyped-modules #:no-test 4 (provide show-backtrace 5 with-backtrace) 6 7 (define backtrace (make-parameter '())) 8 9 (define-syntax-rule (with-backtrace push . body) 10 (parameterize ([backtrace (cons push (backtrace))]) 11 . body)) 12 13 (define (show-backtrace) 14 (pretty-write (backtrace))))