From e88c746c3c3e011a66d0a6b8fd45284c873e64b1 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 28 Apr 2015 15:37:10 -0600 Subject: [PATCH] raco decompile: expose syntax info saved for REPL --- compiler-lib/compiler/decompile.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/compiler-lib/compiler/decompile.rkt b/compiler-lib/compiler/decompile.rkt index d410854ee8..7858c917ca 100644 --- a/compiler-lib/compiler/decompile.rkt +++ b/compiler-lib/compiler/decompile.rkt @@ -188,6 +188,11 @@ [(stack) (append '(#%modvars) orig-stack)] [(closed) (make-hasheq)]) `(,mod-name ,(if (symbol? name) name (last name)) .... + (quote internal-context + ,(if (stx? internal-context) + `(#%decode-syntax + ,(decompile-stx (stx-encoded internal-context) stx-ht)) + internal-context)) ,@(if (null? flags) '() (list `(quote ,flags))) ,@(let ([l (apply append