diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 74ffe8d3..993206c0 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -243,7 +243,6 @@ [file-exists? (-> -Pathlike B)] [build-path ((list -Pathlike*) -Pathlike* . ->* . -Path)] -[string->number (-> -String (-opt N))] [with-input-from-file (-poly (a) (cl-> [(-Pathlike (-> a)) a] [(-Pathlike (-> a) Sym) a]))] @@ -382,10 +381,8 @@ [-> -String -String] [-> -Bytes -Bytes])] - - - -[number->string (N . -> . -String)] +[number->string (cl-> [(N) -String] [(N N) -String])] +[string->number (cl-> [(-String) N] [(-String N) N])] [current-milliseconds (-> -Integer)] [modulo (cl->* (-Integer -Integer . -> . -Integer))] @@ -737,4 +734,4 @@ [unsafe-cdr (-poly (a b) (cl->* - (->acc (list (-pair a b)) b (list -cdr))))] \ No newline at end of file + (->acc (list (-pair a b)) b (list -cdr))))]