From c08c477ba67899b8efe709d65bb1a5ccc33f5911 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Sat, 13 Sep 2008 22:48:19 +0000
Subject: [PATCH] provide tc-result? for contracts

svn: r11734

original commit: 302e28da620581ce928a346e43f9d3109c694f0c
---
 collects/typed-scheme/private/type-utils.ss | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/typed-scheme/private/type-utils.ss b/collects/typed-scheme/private/type-utils.ss
index d74c89e0..8cc09a8b 100644
--- a/collects/typed-scheme/private/type-utils.ss
+++ b/collects/typed-scheme/private/type-utils.ss
@@ -19,7 +19,8 @@
          ret
          instantiate-poly
          instantiate-poly-dotted
-         tc-result: 
+         tc-result:
+         tc-result?
          tc-result-equal? 
          effects-equal?
          tc-result-t