From b9fd34b925d37125553464bde37e0591dfaa16f8 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 15 Dec 2009 22:03:10 +0000 Subject: [PATCH] Fix type of string->number svn: r17313 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 3 +++ collects/typed-scheme/private/base-env.ss | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 4a7dbb5880..0a4636bf36 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -759,6 +759,9 @@ (-polydots (a) ((list -Number) (a a) . ->... . -Boolean))] [tc-e (ann (error 'foo) (values Number Number)) #:ret (ret (list -Number -Number))] + [tc-e (string->number "123") + (t:Un (-val #f) -Number)] + [tc-e #{(make-hash) :: (HashTable Number Number)} (make-Hashtable -Number -Number)] #;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))]) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index e270e5d200..419a0499a3 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -290,7 +290,7 @@ [-> -Bytes -Bytes])] [number->string (->opt N [N] -String)] -[string->number (->opt -String [N] -String)] +[string->number (->opt -String [N] (Un (-val #f) N))] [current-milliseconds (-> -Integer)]