From 39d43ae233fb2638f4c0cb83c0b9a9b56fc8affd Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 22 Apr 2008 22:05:31 +0000
Subject: [PATCH] Multiple type errors.

svn: r9405

original commit: bd9d8b5ff33b6cc90d428642c5697f56da866bd9
---
 collects/typed-scheme/private/type-effect-convenience.ss | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/collects/typed-scheme/private/type-effect-convenience.ss b/collects/typed-scheme/private/type-effect-convenience.ss
index 530af57f..a97453ab 100644
--- a/collects/typed-scheme/private/type-effect-convenience.ss
+++ b/collects/typed-scheme/private/type-effect-convenience.ss
@@ -6,7 +6,8 @@
          "type-effect-printer.ss"
          "union.ss"
          "subtype.ss"
-         "type-utils.ss"         
+         "type-utils.ss" 
+         "tc-utils.ss"
          scheme/promise
          (for-syntax scheme/base))
 
@@ -224,4 +225,8 @@
                (exit t)))]
         [_ (exit t)]))))
 
+(define (tc-error/expr msg #:return [return (Un)] #:stx [stx (current-orig-stx)] . rest)
+  (tc-error/delayed #:stx stx (apply format msg rest))
+  return)
+