suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix collatz typed benchmark for fix to odd? and even?.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-01-18 18:19:14 -05:00
parent 091e26cde8
commit 193bff7a2b
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/racket/benchmarks/common/typed/collatz.rktl
View File

@ -10,7 +10,9 @@
[(odd? n) [(odd? n)
(+ 1 (cycle-length (+ 1 (* 3 n))))] (+ 1 (cycle-length (+ 1 (* 3 n))))]
[(even? n) [(even? n)
(+ 1 (cycle-length (/ n 2)))] ;; TR note: quotient would work better, but that's the other version of
;; the benchmark
(+ 1 (cycle-length (assert (/ n 2) integer?)))]
[else (error "unreachable")])) [else (error "unreachable")]))
(time (let: loop : (U False Integer) (time (let: loop : (U False Integer)