From 36854b7150f9525530f5006ec47997e4072326eb Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 2 Jun 2010 10:26:31 -0400 Subject: [PATCH] Predicates for numeric comparisons. original commit: e44e454b9478e40f6cf00481bf23de27f2ee5b45 --- collects/typed-scheme/private/base-env-numeric.rkt | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 479e21bc..2c01762c 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -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]