Tell Typed Racket about the initial error continuation. (#1950)

Closes racket/typed-racket#660.
2018-02-10 17:38:08 -05:00 · 2018-02-10 17:38:08 -05:00 · 9fe03ff6d9
commit 9fe03ff6d9
parent dd2a0dceb3
1 changed files with 5 additions and 2 deletions
--- a/racket/collects/racket/match/gen-match.rkt
+++ b/racket/collects/racket/match/gen-match.rkt
@ -80,6 +80,9 @@
       (syntax-property
        (quasisyntax/loc stx
          (let ([xs exprs*] ...)
-            (define (outer-fail) raise-error)
-            body))
+            (let ([outer-fail
+                   #,(syntax-property
+                      #'(λ () raise-error)
+                      'typechecker:called-in-tail-position #t)])
+              body)))
        'feature-profile:pattern-matching #t)])))