expander: repair prompt that should be a barrier

This commit is contained in:
Matthew Flatt 2020-09-02 07:54:38 -06:00
parent 8ca49775b4
commit bf1d99d9e0
3 changed files with 3 additions and 3 deletions

View File

@ -11329,7 +11329,7 @@ static const char *startup_source =
"(let-values(((val_0)(ref_0 t_0 v_0)))(if(identifier? val_0) val_0(datum->syntax$1 #f '?)))))"
"(let-values()"
"(lambda(t_0)"
"(let-values(((id_0)(call-with-continuation-prompt(lambda()(v_0 t_0)))))"
"(let-values(((id_0)(call-with-continuation-barrier(lambda()(v_0 t_0)))))"
"(begin"
"(if(identifier? id_0)"
"(void)"

View File

@ -13989,7 +13989,7 @@
(if (identifier? val_0) val_0 (datum->syntax$1 #f '?))))
(lambda (t_0)
(let ((id_0
(call-with-continuation-prompt
(call-with-continuation-barrier
(lambda () (|#%app| v_0 t_0)))))
(begin
(if (identifier? id_0)

View File

@ -39,7 +39,7 @@
val
(datum->syntax #f '?)))]
[else (lambda (t)
(define id (call-with-continuation-prompt
(define id (call-with-continuation-barrier
(lambda ()
(v t))))
(unless (identifier? id)