From 9fe03ff6d91f4d5bc9841fe7626b9a867c0f4437 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Sat, 10 Feb 2018 17:38:08 -0500
Subject: [PATCH] Tell Typed Racket about the initial error continuation.
 (#1950)

Closes racket/typed-racket#660.
---
 racket/collects/racket/match/gen-match.rkt | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/racket/collects/racket/match/gen-match.rkt b/racket/collects/racket/match/gen-match.rkt
index 38cc5f0e99..4388df4e19 100644
--- 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)])))