From 2a7d82d71c6f04db98637eb809645b2de7dc33a8 Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Fri, 17 Dec 2021 17:35:39 -0500 Subject: [PATCH] Add some of missing type annotations and assertions --- tt.rkt | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/tt.rkt b/tt.rkt index d11c151..e93c26f 100644 --- a/tt.rkt +++ b/tt.rkt @@ -172,6 +172,7 @@ [((Peer #f _ _ _) (Peer #f _ _ _)) p1] ; TODO update with most-common nick? [((Peer n1 _ _ _) (Peer #f _ _ _)) p1] [((Peer #f _ _ _) (Peer n2 _ _ _)) p2])) + (: merge-n (-> (Listof Peer) Peer)) (define (merge-n peers) (match peers ['() (raise 'impossible)] @@ -1053,17 +1054,22 @@ (define (dispatch command) (match command [(or "d" "download") - (let ([num-workers 20] ; 20 was fastest out of the tried: 1, 5, 10, 20, 25, 30. - [timeout 10.0]) + ; 20 was fastest out of the tried: 1, 5, 10, 20, 25, 30. + (let ([num-workers : Positive-Integer 20] + [timeout : Positive-Flonum 10.0]) (command-line #:program "tt download" #:once-each [("-j" "--jobs") - njobs "Number of concurrent jobs." - (set! num-workers (string->number njobs))] + positive-integer "Number of concurrent jobs." + (set! num-workers + (assert (string->number positive-integer) + (conjoin exact-positive-integer?)))] [("-t" "--timeout") - seconds "Timeout seconds per request." - (set! timeout (string->number seconds))] + positive-float "Timeout seconds per request." + (set! timeout + (assert (string->number positive-float) + (conjoin positive? flonum?)))] #:args file-paths (download file-paths num-workers timeout)))] [(or "u" "upload") -- 2.20.1