Add type for fl->exact-integer. Closes PR 11429.

2010-11-22 17:36:15 -05:00 · 2010-11-22 17:36:15 -05:00 · 54991835d6
commit 54991835d6
parent 58d1f75dc1
1 changed files with 3 additions and 0 deletions
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@ -381,6 +381,9 @@
 [inexact->exact (cl->*
                 (-Real . -> . -ExactRational)
                 (N . -> . N))]
+[fl->exact-integer (cl->*
+                    (-NonnegativeFlonum . -> . -Nat)
+                    (-Flonum . -> . -Integer))]

 [floor rounder]
 [ceiling rounder]