From 911036c2a6315b8d4786c045caa89a48fb54ddd4 Mon Sep 17 00:00:00 2001 From: TwoPoint7182818 Date: Sun, 15 Mar 2015 17:33:35 -0400 Subject: [PATCH] Make order-of-magnitude more specific (order-of-magnitude n) is only negative if n < 1. Hence it is non-negative for all positive integers. --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index a5a48655..4ec61fec 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -87,7 +87,7 @@ [real->floating-point-bytes (->opt -Real (one-of/c 4 8) [Univ -Bytes -Nat] -Bytes)] [system-big-endian? (-> B)] -[order-of-magnitude (-> -PosReal -Int)] +[order-of-magnitude (cl-> [(-PosInt) -Nat] [(-PosReal) -Int])] ;; Section 4.2.5.3 (ExtFlonum-Bytes Conversions) [floating-point-bytes->extfl (->opt -Bytes [Univ -Nat -Nat] -ExtFlonum)]