From 5e37d261e5a316eb8f5d5c4c591152ad704354e1 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 28 Feb 2011 16:01:55 -0500 Subject: [PATCH] Fix contract. original commit: fe8f1c3591ea86f7d0ec7943ccff47c4c2585dea --- collects/typed-scheme/typecheck/tc-let-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-let-unit.rkt b/collects/typed-scheme/typecheck/tc-let-unit.rkt index b2d2a7ff..b9da5f9a 100644 --- a/collects/typed-scheme/typecheck/tc-let-unit.rkt +++ b/collects/typed-scheme/typecheck/tc-let-unit.rkt @@ -29,7 +29,7 @@ (d/c (do-check expr->type namess results expected-results form exprs body clauses expected #:abstract [abstract null]) (((syntax? syntax? tc-results? . c:-> . any/c) - (listof (listof identifier?)) (listof tc-results?) + (listof (listof identifier?)) (listof tc-results?) (listof tc-results?) syntax? (listof syntax?) syntax? (listof syntax?) (or/c #f tc-results?)) (#:abstract any/c) . c:->* .