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

Predicates for numeric comparisons.

Browse Source 
original commit: e44e454b9478e40f6cf00481bf23de27f2ee5b45
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-02 10:26:31 -04:00
parent 2d28ab5f13
commit 36854b7150
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/typed-scheme/private/base-env-numeric.rkt
View File

@ -66,8 +66,15 @@
[= (->* (list N N) N B)]
[>= real-comp]
[< real-comp]
[<= real-comp]
[< (cl->*
(-> -Nat -Integer B : (-FS (-filter -Pos 1) -top))
(-> -Integer -Nat B : (-FS -top (-filter -Nat 0)))
(-> -Integer (-val 0) B : (-FS -top (-filter -Nat 0)))
real-comp)]
[<= (cl->*
(-> -Nat -Integer B : (-FS (-filter -Nat 1) -top))
(-> -Pos -Integer B : (-FS (-filter -Pos 1) -top))
real-comp)]
[> real-comp]