Disable debugging printing.
original commit: da897a2f857e2ff3585ad946a1ca7325ab0ea9c7
This commit is contained in:
parent
9c7c233e9d
commit
ac527c5d30
|
@ -58,9 +58,9 @@
|
|||
(cons (syntax-e id) ty)))))]
|
||||
;; reinitialize disappeared uses
|
||||
[disappeared-use-todo null]
|
||||
[disappeared-bindings-todo null])
|
||||
[disappeared-bindings-todo null])
|
||||
(define fully-expanded-stx (disarm* (local-expand stx expand-ctxt (list #'module*))))
|
||||
(when #t
|
||||
(when (show-input?)
|
||||
(pretty-print (syntax->datum fully-expanded-stx)))
|
||||
(do-time "Local Expand Done")
|
||||
(init)
|
||||
|
|
Loading…
Reference in New Issue
Block a user