schemify: another variable-order repair

Continues 70459f4105.
This commit is contained in:
Matthew Flatt 2019-11-28 05:37:23 -07:00
parent bb77f736b6
commit 8b00249265
2 changed files with 6 additions and 2 deletions

View File

@ -3152,7 +3152,11 @@ case of module-leve bindings; it doesn't cover local bindings.
(namespace-require ''defines-a-spider-struct-type)
(err/rt-test (eval e)
exn:fail:contract:variable?
#rx"struct:spider"))
#rx"struct:spider")
(parameterize ([current-namespace (module->namespace ''defines-a-spider-struct-type)])
(err/rt-test (eval '(struct spider (legs)))
exn:fail:contract:variable?
#rx"struct:spider")))
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

View File

@ -314,7 +314,7 @@
[no-prompt?
(cons
schemified
(loop (cdr l) mut-l null ids knowns))]
(loop (cdr l) mut-l null (reverse ids) knowns))]
[else
(define expr
`(call-with-module-prompt