diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 6029fcc8..c690abed 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -186,6 +186,7 @@ [unsafe-fllog fl-unop] [unsafe-flexp fl-unop] [unsafe-flsqrt fl-unop] +[unsafe-fx->fl (-Integer . -> . -Flonum)] [unsafe-fx+ fx-op] [unsafe-fx- fx-intop] @@ -262,6 +263,7 @@ [fllog fl-unop] [flexp fl-unop] [flsqrt fl-unop] +[->fl (-Integer . -> . -Flonum)] ;; safe flvector ops