From cffa0c2b4f6aa2732e60a9fe203ccde7b320bc37 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 10 Sep 2009 18:32:45 -0500 Subject: [PATCH] benchmark: rename (run-benchmark) to run-benchmark, and run-benchmark to record-benchmark, since (run-benchmark) was actually useful on its own --- extra/benchmark/benchmark.factor | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/extra/benchmark/benchmark.factor b/extra/benchmark/benchmark.factor index 23809f2744..b6e65f44cb 100755 --- a/extra/benchmark/benchmark.factor +++ b/extra/benchmark/benchmark.factor @@ -12,23 +12,27 @@ SYMBOL: errors PRIVATE> -: (run-benchmark) ( vocab -- time ) +: run-benchmark ( vocab -- time ) [ 5 ] dip '[ gc [ _ run ] benchmark ] replicate infimum ; -: run-benchmark ( vocab -- ) + + : run-benchmarks ( -- timings errors ) [ V{ } clone timings set V{ } clone errors set "benchmark" child-vocab-names [ find-vocab-root ] filter - [ run-benchmark ] each + [ record-benchmark ] each timings get errors get ] with-scope ;