From cdfbbc5476b6c2df62aedc8813ad13bc28cb2619 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 1 Jul 2010 13:41:11 -0400 Subject: [PATCH] Fixed the type of real->decimal-string. --- collects/tests/racket/benchmarks/shootout/typed/moments.rktl | 2 +- collects/typed-scheme/private/base-env-indexing-abs.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/tests/racket/benchmarks/shootout/typed/moments.rktl b/collects/tests/racket/benchmarks/shootout/typed/moments.rktl index 1103e740a1..9509b02f6e 100644 --- a/collects/tests/racket/benchmarks/shootout/typed/moments.rktl +++ b/collects/tests/racket/benchmarks/shootout/typed/moments.rktl @@ -4,7 +4,7 @@ (only-in mzlib/string real->decimal-string) racket/flonum) -(: to-str (Number -> String)) +(: to-str (Real -> String)) (define (to-str n) (real->decimal-string n 6)) (let: loop : Void diff --git a/collects/typed-scheme/private/base-env-indexing-abs.rkt b/collects/typed-scheme/private/base-env-indexing-abs.rkt index 37c1a6941e..0743861dcc 100644 --- a/collects/typed-scheme/private/base-env-indexing-abs.rkt +++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt @@ -165,7 +165,7 @@ (cl->* [->opt [-Input-Port index-type] (Un -Byte (-val eof))])] ;; string.rkt - [real->decimal-string (N [index-type] . ->opt . -String)] + [real->decimal-string (-Real [index-type] . ->opt . -String)] [random (cl-> [(index-type) -Nat] [() -Real])]