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

Make -filter and -not-filter do more simplification.

Browse Source 
original commit: cc377272d666d709687ce330eadad822619d7d84
This commit is contained in:
Eric Dobson 2014-03-24 00:09:17 -07:00
parent b4e5d4dd47
commit 82050c3b40
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -123,18 +123,24 @@
(define/cond-contract (-filter t i [p null])
(c:->* (Type/c (c:or/c integer? name-ref/c)) ((c:listof PathElem?)) Filter/c)
(define i* (if (integer? i) (list 0 i) i))
(if (or (type-equal? Univ t) (and (identifier? i) (is-var-mutated? i)))
-top
(make-TypeFilter t p i*)))
(cond
[(and (identifier? i) (is-var-mutated? i)) -top]
[(equal? Univ t) -top]
[(equal? -Bottom t) -bot]
[else (make-TypeFilter t p i*)]))
;; Abbreviation for not filters
;; `i` can be an integer for backwards compatibility
(define/cond-contract (-not-filter t i [p null])
(c:->* (Type/c (c:or/c integer? name-ref/c)) ((c:listof PathElem?)) Filter/c)
(define i* (if (integer? i) (list 0 i) i))
(if (or (type-equal? -Bottom t) (and (identifier? i) (is-var-mutated? i)))
-top
(make-NotTypeFilter t p i*)))
(cond
[(and (identifier? i) (is-var-mutated? i)) -top]
[(equal? -Bottom t) -top]
[(equal? Univ t) -bot]
[else (make-NotTypeFilter t p i*)]))
(define (-filter-at t o)
(match o