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

Fixes to some benchmarks due to the new fixnum types.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-25 10:34:13 -04:00
parent cea65c195b
commit 8c8dbf0895
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/tests/racket/benchmarks/common/typed/paraffins.rktl
View File

@ -2,12 +2,12 @@
(define-type Radical (Rec Radical (U 'C 'H 'BCP 'CCP (Vectorof Radical))))
(: gen (Exact-Positive-Integer -> (Vectorof (Listof Radical))))
(: gen (Integer -> (Vectorof (Listof Radical))))
(define (gen n)
(let*: ((n/2 : Integer (quotient n 2))
(radicals : (Vectorof (Listof Radical)) (make-vector (+ n/2 1) '(H))))
(: rads-of-size (Exact-Positive-Integer -> (Listof Radical)))
(: rads-of-size (Integer -> (Listof Radical)))
(define (rads-of-size n)
(let: loop1 : (Listof Radical)
((ps : (Listof (Vectorof Integer))
@ -79,7 +79,7 @@
(loop2 (cdr rads2)
lst))))))))
(: ccp-generator (Exact-Positive-Integer -> (Listof Radical)))
(: ccp-generator (Integer -> (Listof Radical)))
(define (ccp-generator j)
(let: loop1 : (Listof Radical)
((ps : (Listof (Vectorof Integer))
@ -185,7 +185,7 @@
lst)
(- nc3 1))))))))))
(: nb (Exact-Positive-Integer -> Integer))
(: nb (Integer -> Integer))
(define (nb n)
(let ((x (gen n)))
(+ (length (vector-ref x 0))

1
collects/tests/racket/benchmarks/shootout/typed/echo.rktl
View File

@ -2,6 +2,7 @@
(define PORT 8888)
(define DATA "Hello there sailor\n")
(: n Integer)
(define n 10)
(: server ( -> Void))