fix propagation of call info in push-mrvs pass

original commit: b0631023e4c1e8263a78f6045ee611e3a76210c3
This commit is contained in:
Matthew Flatt 2019-03-30 09:45:08 -06:00
parent 6d0780488c
commit f2c8436347

View File

@ -10081,7 +10081,8 @@
x)))
(define make-info-call-like
(lambda (info shift-consumer-attachment?*)
(make-info-call (info-call-src info) (info-call-sexpr info) #f #f #f
(make-info-call (info-call-src info) (info-call-sexpr info)
(info-call-check? info) (info-call-pariah? info) (info-call-error? info)
(info-call-shift-attachment? info)
shift-consumer-attachment?*)))
(define Mvcall