From 9d6132fa0ef882b1ed92403f69713cdf4eedf7e7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 1 Jun 2010 13:54:43 -0400 Subject: [PATCH] Add case to be fixed original commit: fe9395fdbf0dcf8e64bdfaf247845c7858e35423 --- collects/typed-scheme/typecheck/tc-expr-unit.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.rkt b/collects/typed-scheme/typecheck/tc-expr-unit.rkt index 84c4d0d0..8a55e2d3 100644 --- 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)