From 319a1d68afac507ae9498a75397acffc858786bb Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 18 Oct 2013 15:31:07 -0400 Subject: [PATCH] Adjust contract on make-pred-ty Allow old-style and new-style filter path objects. --- .../typed-racket-lib/typed-racket/types/abbrev.rkt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt index 0d1d435a5c..079131a190 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt @@ -7,7 +7,7 @@ unstable/function (prefix-in c: (contract-req)) - (rename-in (rep type-rep object-rep rep-utils) + (rename-in (rep type-rep filter-rep object-rep rep-utils) [make-Base make-Base*]) (types union numeric-tower) ;; Using this form so all-from-out works @@ -285,8 +285,10 @@ (define/cond-contract make-pred-ty (c:case-> (c:-> Type/c Type/c) (c:-> (c:listof Type/c) Type/c Type/c Type/c) - (c:-> (c:listof Type/c) Type/c Type/c integer? Type/c) - (c:-> (c:listof Type/c) Type/c Type/c integer? (c:listof PathElem?) Type/c)) + (c:-> (c:listof Type/c) Type/c Type/c + (c:or/c integer? name-ref/c) Type/c) + (c:-> (c:listof Type/c) Type/c Type/c + (c:or/c integer? name-ref/c) (c:listof PathElem?) Type/c)) (case-lambda [(in out t n p) (make-Function