From fcc096d51dc3270ec552da441e7bbfebc0672f7e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 9 Jul 2013 17:48:17 -0400 Subject: [PATCH] Fix contracts on TR functions original commit: 86093f88beb97120f1fe41a38e8c4741ff1043bc --- .../typed-racket-lib/typed-racket/typecheck/signatures.rkt | 3 +-- .../typed-racket-lib/typed-racket/types/utils.rkt | 3 ++- 2 files changed, 3 insertions(+), 3 deletions(-) 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 32de3f63..95cb837b 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 @@ -20,8 +20,7 @@ [cond-contracted check-subforms/with-handlers/check (syntax? tc-results/c . -> . any)])) (define-signature check-class^ - ;; FIXME: make sure this is correct - ([cond-contracted check-class (syntax? Type/c . -> . any)])) + ([cond-contracted check-class (syntax? (or/c tc-results/c #f) . -> . any)])) (define-signature tc-if^ ([cond-contracted tc/if-twoarm ((syntax? syntax? syntax?) (tc-results/c) . ->* . tc-results/c)])) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt index bb7f7716..875f035a 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/utils.rkt @@ -113,7 +113,8 @@ (provide/cond-contract [unfold (Mu? . -> . Type/c)] - [instantiate-poly ((or/c Poly? PolyDots?) (listof Type/c) . -> . Type/c)] + [instantiate-poly ((or/c Poly? PolyDots? PolyRow?) (listof Type/c) + . -> . Type/c)] [instantiate-poly-dotted (PolyDots? (listof Type/c) Type/c symbol? . -> . Type/c)] [fv (Rep? . -> . (listof symbol?))]