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

Simplify flonum comparison types.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 23:53:40 -07:00
parent d288b14244
commit 848b69b73d
1 changed files with 2 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
View File

@ -504,58 +504,30 @@
(fl-type-lambda
(from-cases
;; false case, we know nothing, lhs may be NaN. same for all comparison that can involve floats
(-> -FlZero -Fl B : (-FS (-filter -PosFl 1) -top))
(-> -Fl -FlZero B : (-FS (-filter -NegFl 0) -top))
(-> -PosFl -Fl B : (-FS (-filter -PosFl 1) -top))
(-> -Fl -PosFl B)
(-> -NonNegFl -Fl B : (-FS (-filter -PosFl 1) -top))
(-> -Fl -NonNegFl B)
(-> -NegFl -Fl B)
(-> -Fl -NegFl B : (-FS (-filter -NegFl 0) -top))
(-> -NonPosFl -Fl B)
(-> -Fl -NonPosFl B : (-FS (-filter -NegFl 0) -top))
(comp -Fl))))
(define fl>-type
(fl-type-lambda
(from-cases
(-> -FlZero -Fl B : (-FS (-filter -NegFl 1) -top))
(-> -Fl -FlZero B : (-FS (-filter -PosFl 0) -top))
(-> -PosFl -Fl B)
(-> -Fl -PosFl B : (-FS (-filter -PosFl 0) -top))
(-> -NonNegFl -Fl B)
(-> -Fl -NonNegFl B : (-FS (-filter -PosFl 0) -top))
(-> -NegFl -Fl B : (-FS (-filter -NegFl 1) -top))
(-> -Fl -NegFl B)
(-> -NonPosFl -Fl B : (-FS (-filter -NegFl 1) -top))
(-> -Fl -NonPosFl B)
(-> -Fl -NonNegFl B : (-FS (-filter -PosFl 0) -top))
(comp -Fl))))
(define fl<=-type
(fl-type-lambda
(from-cases
(-> -FlZero -Fl B : (-FS (-filter -NonNegFl 1) -top))
(-> -Fl -FlZero B : (-FS (-filter -NonPosFl 0) -top))
(-> -PosFl -Fl B : (-FS (-filter -PosFl 1) -top))
(-> -Fl -PosFl B)
(-> -NonNegFl -Fl B : (-FS (-filter -NonNegFl 1) -top))
(-> -Fl -NonNegFl B)
(-> -NegFl -Fl B)
(-> -Fl -NegFl B : (-FS (-filter -NegFl 0) -top))
(-> -NonPosFl -Fl B)
(-> -Fl -NonPosFl B : (-FS (-filter -NonPosFl 0) -top))
(comp -Fl))))
(define fl>=-type
(fl-type-lambda
(from-cases
(-> -FlZero -Fl B : (-FS (-filter -NonPosFl 1) -top))
(-> -Fl -FlZero B : (-FS (-filter -NonNegFl 0) -top))
(-> -PosFl -Fl B)
(-> -Fl -PosFl B : (-FS (-filter -PosFl 0) -top))
(-> -NonNegFl -Fl B)
(-> -Fl -NonNegFl B : (-FS (-filter -NonNegFl 0) -top))
(-> -NegFl -Fl B : (-FS (-filter -NegFl 1) -top))
(-> -Fl -NegFl B)
(-> -NonPosFl -Fl B)
(-> -Fl -NonPosFl B : (-FS (-filter -NonPosFl 0) -top))
(-> -NonPosFl -Fl B : (-FS (-filter -NonPosFl 1) -top))
(comp -Fl))))
(define flmin-type
(fl-type-lambda