From b10f178e985163f27ed6a0fc4aa739528e5c38f4 Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Wed, 18 Jun 2014 16:20:31 -0500 Subject: [PATCH] redex: adjust benchmark contracts and provides --- .../redex-benchmark/redex/benchmark.rkt | 3 ++- .../redex/benchmark/private/gen-run.rkt | 22 +++++++++---------- 2 files changed, 13 insertions(+), 12 deletions(-) diff --git a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark.rkt b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark.rkt index 4a88d01d5b..0900095ac4 100644 --- a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark.rkt +++ b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark.rkt @@ -11,4 +11,5 @@ run-gen-and-check/mods bmark-log-directory benchmark-logging-to - bmark-log) \ No newline at end of file + bmark-log + (struct-out run-results)) \ No newline at end of file diff --git a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt index b7d3131d05..3d60a52832 100644 --- a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt +++ b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt @@ -14,18 +14,18 @@ (provide/contract [run-gen-and-check/mods - (-> module-path? - module-path? - natural-number/c - #:name string? - run-results?)] + (->* (module-path? + module-path? + natural-number/c) + (#:name string?) + run-results?)] [run-gen-and-check - (-> (-> (-> any/c)) - (-> any/c boolean?) - natural-number/c - #:name string? - #:type symbol? - run-results?)]) + (->* ((-> (-> any/c)) + (-> any/c boolean?) + natural-number/c) + (#:name string? + #:type symbol?) + run-results?)]) (define (run-gen-and-check/mods gen-mod-path check-mod-path seconds #:name [name "unknown"]) (define get-gen (dynamic-require gen-mod-path 'get-generator))