From 379b6db28c3fb5f8f83758afd5c32481d6a58afc Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Tue, 29 Oct 2013 21:04:27 -0700 Subject: [PATCH] Correct type for processor-count. original commit: 83b43df4559f9bd8164cbbc8fefb3b6296c356db --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 2e4f2622..119afaf2 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -546,7 +546,7 @@ [future (-poly (A) ((-> A) . -> . (-future A)))] [touch (-poly (A) ((-future A) . -> . A))] -[processor-count (-> -Nat)] +[processor-count (-> -PosInt)] [reverse (-poly (a) (-> (-lst a) (-lst a)))]