suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adjust contract on make-pred-ty

Browse Source 
Allow old-style and new-style filter path objects.

original commit: 319a1d68afac507ae9498a75397acffc858786bb
This commit is contained in:
Asumu Takikawa 2013-10-18 15:31:07 -04:00
parent aee45b227d
commit c93a0b3921
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
View File

@ -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