provide tc-result? for contracts

svn: r11734
2008-09-13 22:48:19 +00:00 · 2008-09-13 22:48:19 +00:00 · 302e28da62
commit 302e28da62
parent 49c816cfaa
1 changed files with 2 additions and 1 deletions
--- 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