Add case to be fixed

original commit: fe9395fdbf0dcf8e64bdfaf247845c7858e35423
2010-06-01 13:54:43 -04:00 · 2010-06-01 13:54:43 -04:00 · 9d6132fa0e
commit 9d6132fa0e
parent d37f9f7d54
1 changed files with 2 additions and 0 deletions
--- a/collects/typed-scheme/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt
@ -238,6 +238,8 @@
     (unless (subtype t1 t2)
       (tc-error/expr "Expected ~a, but got ~a" t2 t1))
     expected]
+    [((tc-results: ts fs os dty dbound) (tc-results: ts* fs* os* dty* dbound*))
+     (int-err "dotted types in check-below nyi: ~a ~a" dty dty*)]
    [(a b) (int-err "unexpected input for check-below: ~a ~a" a b)]))

 (define (tc-expr/check/type form expected)