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

This list was pointless.

Browse Source 
original commit: c87bec369ae2d4db0f1d2ba13d4d7f8c52bc081c
This commit is contained in:
Sam Tobin-Hochstadt 2013-09-11 18:09:07 -04:00
parent 862ceb8850
commit 1819be0098
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -289,12 +289,11 @@
(c:-> (c:listof Type/c) Type/c Type/c integer? (c:listof PathElem?) Type/c))
(case-lambda
[(in out t n p)
(define xs (for/list ([(_ i) (in-indexed (in-list in))]) i))
(make-Function
(list
(make-arr*
in out
#:filters (-FS (-filter t (list-ref xs n) p) (-not-filter t (list-ref xs n) p)))))]
#:filters (-FS (-filter t n p) (-not-filter t n p)))))]
[(in out t n)
(make-pred-ty in out t n null)]
[(in out t)