From 1ebe111f88c752c4520a01cf289647225b244c44 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. original commit: cdfbbc5476b6c2df62aedc8813ad13bc28cb2619 --- collects/typed-scheme/private/base-env-indexing-abs.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env-indexing-abs.rkt b/collects/typed-scheme/private/base-env-indexing-abs.rkt index 37c1a694..0743861d 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])]