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

Predicates for numeric comparisons.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-02 10:26:31 -04:00
parent 5f5dca4c69
commit e44e454b94
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)] [= (->* (list N N) N B)]
[>= real-comp] [>= real-comp]
[< real-comp] [< (cl->*
[<= real-comp] (-> -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] [> real-comp]