typed-racket/collects/tests/typed-scheme
Sam Tobin-Hochstadt b1869b6882 Improve error messages in the simple case.
Change 'typecheck to Type Checker in error messages.

svn: r17542

original commit: 08457d35e3faa1a8dccbcbfc6b193c63fda45fb6
2010-01-07 19:41:42 +00:00
..
fail Put dynamic behavior of `check-expect' into functions. 2010-01-06 23:03:08 +00:00
succeed Put dynamic behavior of `check-expect' into functions. 2010-01-06 23:03:08 +00:00
unit-tests Fix `type-apply' 2010-01-07 00:55:51 +00:00
xfail newlines at EOFs 2009-11-09 03:49:50 +00:00
main.ss Improve error messages in the simple case. 2010-01-07 19:41:42 +00:00
nightly-run.ss properly disable TS tests on cgc 2009-11-17 20:02:07 +00:00
run.ss TS tests now work, and are not noisy when succeeding 2008-10-24 19:50:24 +00:00