From e44e454b9478e40f6cf00481bf23de27f2ee5b45 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. --- 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 479e21bca3..2c01762ce8 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]