update demodularizer for recent bytecode changes

This commit is contained in:
Matthew Flatt 2015-08-10 16:45:47 -06:00
parent 08a40b5998
commit d652ea0d52
3 changed files with 10 additions and 1 deletions

View File

@ -124,6 +124,9 @@
[(struct with-cont-mark (key val body)) [(struct with-cont-mark (key val body))
(for-each (lambda (f) (build-graph! lhs f)) (for-each (lambda (f) (build-graph! lhs f))
(list key val body))] (list key val body))]
[(struct with-immed-mark (key val body))
(for-each (lambda (f) (build-graph! lhs f))
(list key val body))]
[(struct beg0 (seq)) [(struct beg0 (seq))
(for-each (lambda (f) (build-graph! lhs f)) (for-each (lambda (f) (build-graph! lhs f))
seq)] seq)]

View File

@ -20,7 +20,7 @@
(map (compose ->module-path-index stx-obj-datum stx-content req-reqs) reqs)) (map (compose ->module-path-index stx-obj-datum stx-content req-reqs) reqs))
(make-compilation-top (make-compilation-top
0 0
(make-prefix 0 (list #f) empty) (make-prefix 0 (list #f) empty (prefix-src-inspector-desc prefix))
(make-mod name srcname (make-mod name srcname
self-modidx self-modidx
prefix prefix
@ -33,6 +33,7 @@
(make-toplevel 0 0 #f #f) ; dummy (make-toplevel 0 0 #f #f) ; dummy
lang-info lang-info
#t #t
(hash) ; no names visible via `module->namespace`
empty empty
empty empty
empty))])) empty))]))

View File

@ -71,6 +71,11 @@
(update key) (update key)
(update val) (update val)
(update body))] (update body))]
[(struct with-immed-mark (key val body))
(make-with-immed-mark
(update key)
(update val)
(update body))]
[(struct beg0 (seq)) [(struct beg0 (seq))
(make-beg0 (map update seq))] (make-beg0 (map update seq))]
[(struct varref (tl dummy)) [(struct varref (tl dummy))