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

Make implied-atomic work on AndFilters as well.

Browse Source 
original commit: 06f08b9e3041045c9207502307557fcf6767cce7
This commit is contained in:
Eric Dobson 2014-05-26 18:57:16 -07:00
parent 9313645033
commit ae09b4f314
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/filter-ops.rkt
View File

@ -52,6 +52,8 @@
[(_ (Bot:)) #t]
[((OrFilter: fs) f2)
(memf (lambda (f) (filter-equal? f f2)) fs)]
[(f1 (AndFilter: fs))
(memf (lambda (f) (filter-equal? f f1)) fs)]
[((TypeFilter: t1 p1 i1)
(TypeFilter: t2 p1 i2))
(and (name-ref=? i1 i2)

3
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/filter-tests.rkt
View File

@ -103,6 +103,9 @@
(check implied-atomic?
(-or (-filter -Symbol 1) (-filter -Symbol #'x))
(-filter -Symbol #'x))
(check implied-atomic?
(-filter -Symbol #'x)
(-and (-filter -Symbol 1) (-filter -Symbol #'x)))
)
(test-suite "Implication"