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

original commit: 54991835d603a81ddaee6845e4930bfe0ab9de24
2010-11-22 17:36:15 -05:00 · 2010-11-22 17:36:15 -05:00 · 26a2fd0163
commit 26a2fd0163
parent 8d3499453f
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]