Add case to be fixed

2010-06-01 13:54:43 -04:00 · 2010-06-01 13:54:43 -04:00 · fe9395fdbf
commit fe9395fdbf
parent b787c7766c
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)