make sure begin always has a definition context

2019-05-16 15:52:33 -04:00 · 2019-05-16 15:52:33 -04:00 · dc0e434caa
parent fd40ab2e52
commit dc0e434caa
1 changed files with 1 additions and 1 deletions
--- a/racket/typed/core-types.rkt
+++ b/racket/typed/core-types.rkt
@ -1161,7 +1161,7 @@
   #:do [(define-values (e-... τ... ep-effs f-effs s-effs) (walk/bind #'(e_unit ... e)))]
   #:with τ (last τ...)
   --------
-   [⊢ (begin- #,@e-...) (⇒ : τ)
+   [⊢ (let- () #,@e-...) (⇒ : τ)
      (⇒ ν-ep (#,@ep-effs))
      (⇒ ν-f (#,@f-effs))
      (⇒ ν-s (#,@s-effs))]])