suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed the type of real->decimal-string.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-07-01 13:41:11 -04:00
parent 636fca1a83
commit cdfbbc5476
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/racket/benchmarks/shootout/typed/moments.rktl
View File

@ -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

2
collects/typed-scheme/private/base-env-indexing-abs.rkt
View File

@ -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])]