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

Add checks to asym filter patch to match symmetric case.

Browse Source 
original commit: 205aeaeca326c7baf779a15556929edc9019ab59
This commit is contained in:
Eric Dobson 2014-05-31 14:16:08 -07:00
parent ac571641ba
commit f222288f1b
2 changed files with 6 additions and 1 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/printer.rkt
View File

@ -259,8 +259,9 @@
;; special case (even when complex printing is off) because it's
;; useful to users who use functions like `filter`.
[(Values: (list (Result: t
(FilterSet: (TypeFilter: ft '() id) (Top:))
(FilterSet: (TypeFilter: ft '() (list 0 0)) (Top:))
(Empty:))))
#:when (= 1 (length dom))
`(,(type->sexp t) : #:+ ,(type->sexp ft))]
[(Values: (list (Result: t fs (Empty:))))
(if (print-complex-filters?)

4
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-printer-tests.rkt
View File

@ -75,6 +75,10 @@
"(-> Any Boolean : String)")
(check-prints-as? (asym-pred Univ -Boolean (-FS (-filter -String 0) -top))
"(-> Any Boolean : #:+ String)")
(check-prints-as? (-> Univ Univ -Boolean : (-FS (-filter -String 0) -top))
"(-> Any Any Boolean)")
(check-prints-as? (-> Univ Univ -Boolean : (-FS (-filter -String 1) -top))
"(-> Any Any Boolean)")
;; PR 14510 (next three tests)
(check-prints-as? (-> Univ (-> Univ -Boolean : (-FS (-filter -String '(1 0))
(-not-filter -String '(1 0)))))