From 54eefc52ed7413576986e1dd8091b5015b6929bb Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 14 Jun 2010 11:35:27 -0400 Subject: [PATCH] Relaxed some type constraints on the ray tracer benchmark. --- collects/tests/racket/benchmarks/common/typed/ray.rktl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/tests/racket/benchmarks/common/typed/ray.rktl b/collects/tests/racket/benchmarks/common/typed/ray.rktl index 4663d456ba..fbf16addf1 100644 --- a/collects/tests/racket/benchmarks/common/typed/ray.rktl +++ b/collects/tests/racket/benchmarks/common/typed/ray.rktl @@ -123,9 +123,9 @@ n)) the-scene)))) -(: pixel : Float Float -> Natural) +(: pixel : Float Float -> Integer) (define (pixel x y) - (assert (round (inexact->exact (* 255.0 (/ (g x y) (* ss ss))))) exact-nonnegative-integer?)) + (round (inexact->exact (* 255.0 (/ (g x y) (* ss ss)))))) (time (for*: ([y : Natural (in-range n)]) (for*: ([x : Natural (in-range n)])