From c237fdfff19e8744bd47e1e54fd84441150fe330 Mon Sep 17 00:00:00 2001 From: Max New Date: Sun, 23 Feb 2014 11:31:30 -0600 Subject: [PATCH] Add arg validation to redex benchmark script --- .../redex-examples/redex/examples/benchmark/test-file.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt index 207c6f2c31..b61c1a1e72 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt @@ -17,6 +17,11 @@ enum)) (define types '()) +(define (set-type! arg) + (define t (string->symbol arg)) + (unless (list? (member t all-types)) + (error "Expected a generation type, got" t)) + (set! types (cons t types))) (define filename (command-line #:once-each @@ -28,7 +33,7 @@ (set! output-file out-file)] #:multi [("-t" "--type") t "Generation type to run, one of: search, grammar, search-gen, search-gen-ref, search-gen-enum, search-gen-enum-ref, enum" - (set! types (cons (string->symbol t) types))] + (set-type! t)] #:args filenames (match filenames [`()