From ac1d7ea19ea2dada94b15d86352fd2e814ee8e5d Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 22 Mar 2014 17:12:30 -0700 Subject: [PATCH] Fixup rec-lambda contract --- .../typed-racket-lib/typed-racket/typecheck/signatures.rkt | 3 ++- 1 file changed, 2 insertions(+), 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 6dd94b3a57..e9125c36ae 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 @@ -34,7 +34,8 @@ (define-signature tc-lambda^ ([cond-contracted tc/lambda (syntax? syntax? syntax? . -> . tc-results/c)] [cond-contracted tc/lambda/check (syntax? syntax? syntax? tc-results/c . -> . tc-results/c)] - [cond-contracted tc/rec-lambda/check (syntax? syntax? syntax? (listof Type/c) tc-results/c . -> . tc-results/c)])) + [cond-contracted tc/rec-lambda/check (syntax? syntax? syntax? (listof Type/c) tc-results/c . -> . + (values tc-results/c tc-results/c))])) (define-signature tc-app^ ([cond-contracted tc/app (syntax? . -> . tc-results/c)]