From fdb79d9a34a00fcbddeb757f5242a1dd364601b0 Mon Sep 17 00:00:00 2001 From: WarGrey Gyoudmon Ju Date: Thu, 5 Jan 2017 03:47:25 +0800 Subject: [PATCH] Add type annotation for (vector-set-performance-stats) (#480) --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index fc8a5b26..57347281 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -3026,7 +3026,9 @@ [current-command-line-arguments (-Param (-vec -String) (-vec -String))] [current-thread-initial-stack-size (-Param -PosInt -PosInt)] -;vector-set-performance-stats! TODO complicated +[vector-set-performance-stats! (cl->* [-> (-vec -Int) -Void] + [-> (-vec -Int) -False -Void] + [-> (-vec (Un -Boolean -Int)) -Thread -Void])] ;; Section 15.9 (racket/cmdline) [parse-command-line