From 26a2fd0163c1446ec84897cc4ad0f286d453afcb Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 22 Nov 2010 17:36:15 -0500 Subject: [PATCH] Add type for fl->exact-integer. Closes PR 11429. original commit: 54991835d603a81ddaee6845e4930bfe0ab9de24 --- collects/typed-scheme/private/base-env-numeric.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index b5ebab7b..88cab603 100644 --- 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]