From 35f1ffa7df235cd25fe2c28d44277a9f437721a7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 6 May 2014 16:23:39 -0400 Subject: [PATCH] Fix contract syntax in unit signature. original commit: c324854e0eaf7db1b1ee32bfbb553b6f0dfef32d --- .../typed-racket-lib/typed-racket/typecheck/signatures.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt index cae827b7..3aedd593 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt @@ -32,7 +32,7 @@ ([cond-contracted tc/send ((syntax? syntax? syntax? syntax?) ((or/c tc-results/c #f)) . ->* . full-tc-results/c)])) (define-signature tc-expression^ - ([cond-contracted tc/#%expression (syntax? (or/c tc-results/c #f) . ->* . full-tc-results/c)])) + ([cond-contracted tc/#%expression ((syntax?) ((or/c tc-results/c #f)) . ->* . full-tc-results/c)])) (define-signature tc-lambda^ ([cond-contracted tc/lambda (syntax? syntax? syntax? . -> . full-tc-results/c)]