Skip to content

bench: fix unbalanced parens in 5 micro-bench files #29

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hierophantos merged 1 commit into from
Apr 27, 2026
Merged

bench: fix unbalanced parens in 5 micro-bench files #29

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions racket/prologos/benchmarks/micro/bench-ppn-track2.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -409,7 +409,7 @@
;; Time full process-file
(define-values (_1 total-ms)
(time-ms (lambda ()
(process-file f)))))
(process-file f))))
(printf " ~a: total=~a ms\n"
fname
(~r total-ms #:precision '(= 1)))))
Expand Down Expand Up @@ -438,7 +438,7 @@
(with-handlers ([exn? (lambda (e) (void))])
(define-values (_1 total-ms)
(time-ms (lambda ()
(process-file f)))))
(process-file f))))
(set! lib-timings (cons (list fname total-ms) lib-timings))))

;; Sort by time, show top 10
Expand Down
14 changes: 7 additions & 7 deletions racket/prologos/benchmarks/micro/bench-ppn-track3.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -83,7 +83,7 @@

(define (process-ws-silent src)
(silent (lambda ()
(process-string-ws src)))))
(process-string-ws src))))

;; ========================================
;; Test programs
Expand Down Expand Up @@ -291,7 +291,7 @@

(bench "full-pipeline sexp (simple)"
(lambda () (silent (lambda ()
(process-string sexp-simple)))))
(process-string sexp-simple))))
#:runs 10 #:warmup 3)

(bench "full-pipeline WS (data-match)"
Expand Down Expand Up @@ -591,7 +591,7 @@
(min 80 (string-length (exn-message e))))))])
(define-values (_1 total-ms)
(time-ms (lambda ()
(process-file f)))))
(process-file f))))
(printf " ~a: ~a ms\n" fname (~r total-ms #:precision '(= 1)))))


Expand Down Expand Up @@ -627,7 +627,7 @@
(min 60 (string-length (exn-message e))))))])
(define-values (_1 total-ms)
(time-ms (lambda ()
(process-file f)))))
(process-file f))))
(printf " ~a (~a bytes): ~a ms\n" fname size (~r total-ms #:precision '(= 1)))))


Expand Down Expand Up @@ -663,7 +663,7 @@
(min 80 (string-length (exn-message e)))))
(set! e3-fail (+ e3-fail 1)))])
(process-file f))
(set! e3-pass (+ e3-pass 1))))
(set! e3-pass (+ e3-pass 1)))

(printf "\n Result: ~a pass, ~a fail out of ~a\n" e3-pass e3-fail (length example-files))

Expand All @@ -682,7 +682,7 @@

(bench "E4 sexp: simple"
(lambda () (silent (lambda ()
(process-string sexp-simple)))))
(process-string sexp-simple))))
#:runs 10 #:warmup 3)

(bench "E4 WS: medium (20 defs)"
Expand All @@ -691,7 +691,7 @@

(bench "E4 sexp: medium (20 defs)"
(lambda () (silent (lambda ()
(process-string sexp-medium)))))
(process-string sexp-medium))))
#:runs 5 #:warmup 2)


Expand Down
12 changes: 6 additions & 6 deletions racket/prologos/benchmarks/micro/bench-ppn-track4.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -318,27 +318,27 @@

(define e1 (bench-ms "E1 simple (def+spec+eval, no metas)" 10
(silent (lambda ()
(process-string-ws e1-src))))))
(process-string-ws e1-src)))))

(define e2 (bench-ms "E2 pattern matching (data+defn arms)" 10
(silent (lambda ()
(process-string-ws e2-src))))))
(process-string-ws e2-src)))))

(define e3 (bench-ms "E3 mixed-type maps (union speculation)" 10
(silent (lambda ()
(process-string-ws e3-src))))))
(process-string-ws e3-src)))))

(define e4 (bench-ms "E4 list + map (polymorphic, prelude)" 10
(silent (lambda ()
(process-string-ws e4-src))))))
(process-string-ws e4-src)))))

(define e5 (bench-ms "E5 generic arithmetic (trait dispatch)" 10
(silent (lambda ()
(process-string-ws e5-src))))))
(process-string-ws e5-src)))))

(define e6 (bench-ms "E6 recursive function (fib)" 10
(silent (lambda ()
(process-string-ws e6-src))))))
(process-string-ws e6-src)))))


;; ============================================================
Expand Down
8 changes: 4 additions & 4 deletions racket/prologos/benchmarks/micro/bench-sre-track2d.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -314,19 +314,19 @@

(define e1 (bench-ms "E1 if/let rewrites" 10
(silent (lambda ()
(process-string-ws e1-src))))))
(process-string-ws e1-src)))))

(define e2 (bench-ms "E2 dot-access + implicit-map" 10
(silent (lambda ()
(process-string-ws e2-src))))))
(process-string-ws e2-src)))))

(define e3 (bench-ms "E3 pattern matching (full pipeline)" 10
(silent (lambda ()
(process-string-ws e3-src))))))
(process-string-ws e3-src)))))

(define e4 (bench-ms "E4 list literals (fold rewrite)" 10
(silent (lambda ()
(process-string-ws e4-src))))))
(process-string-ws e4-src)))))


;; ============================================================
Expand Down
8 changes: 4 additions & 4 deletions racket/prologos/benchmarks/micro/bench-sre-track2h.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -326,7 +326,7 @@

(define e1 (bench-ms "E1 numeric subtyping (simple)" 10
(silent (lambda ()
(process-string-ws e1-src))))))
(process-string-ws e1-src)))))

;; E2: Mixed-type map (existing union type consumer)
(define e2-src
Expand All @@ -338,7 +338,7 @@

(define e2 (bench-ms "E2 mixed-type map (union values)" 10
(silent (lambda ()
(process-string-ws e2-src))))))
(process-string-ws e2-src)))))

;; E3: Pattern matching (exercises type checking with multiple branches)
(define e3-src
Expand All @@ -354,7 +354,7 @@

(define e3 (bench-ms "E3 pattern matching (multiple branches)" 10
(silent (lambda ()
(process-string-ws e3-src))))))
(process-string-ws e3-src)))))

;; E4: Trait with subtype (exercises subtype? in resolution)
(define e4-src
Expand All @@ -367,7 +367,7 @@

(define e4 (bench-ms "E4 subtype in arithmetic context" 10
(silent (lambda ()
(process-string-ws e4-src))))))
(process-string-ws e4-src)))))


;; ============================================================
Expand Down
Loading