From b0788372ea1fc619036656b88aab1f4736a4d5e3 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 13 Jul 2010 18:34:44 -0400 Subject: [PATCH] Fixed bugs in the tests. --- .../optimizer/generic/dead-else.rkt | 12 +- .../optimizer/generic/dead-then.rkt | 12 +- .../generic/inexact-complex-float-div.rkt | 14 +- .../optimizer/hand-optimized/dead-else.rkt | 8 +- .../optimizer/hand-optimized/dead-then.rkt | 8 +- .../inexact-complex-float-div.rkt | 274 +++++++++--------- .../optimizer/non-optimized/dead-else.rkt | 14 +- .../optimizer/non-optimized/dead-then.rkt | 14 +- .../inexact-complex-float-div.rkt | 16 +- 9 files changed, 194 insertions(+), 178 deletions(-) diff --git a/collects/tests/typed-scheme/optimizer/generic/dead-else.rkt b/collects/tests/typed-scheme/optimizer/generic/dead-else.rkt index 40194c4478..6e2868efe2 100644 --- a/collects/tests/typed-scheme/optimizer/generic/dead-else.rkt +++ b/collects/tests/typed-scheme/optimizer/generic/dead-else.rkt @@ -1,8 +1,8 @@ #lang typed/scheme #:optimize (require racket/unsafe/ops) -(if (number? 3) - (+ 2.0 3.0) - (+ 4.0 5.0)) -(if #t - (+ 2.0 3.0) - (+ 4.0 5.0)) +(display (if (number? 3) + (+ 2.0 3.0) + (+ 4.0 5.0))) +(display (if #t + (+ 2.0 3.0) + (+ 4.0 5.0))) diff --git a/collects/tests/typed-scheme/optimizer/generic/dead-then.rkt b/collects/tests/typed-scheme/optimizer/generic/dead-then.rkt index 719452b07c..c4ec905b2f 100644 --- a/collects/tests/typed-scheme/optimizer/generic/dead-then.rkt +++ b/collects/tests/typed-scheme/optimizer/generic/dead-then.rkt @@ -1,8 +1,8 @@ #lang typed/scheme #:optimize (require racket/unsafe/ops) -(if (number? "eh") - (+ 2.0 3.0) - (+ 4.0 5.0)) -(if #f - (+ 2.0 3.0) - (+ 4.0 5.0)) +(display (if (number? "eh") + (+ 2.0 3.0) + (+ 4.0 5.0))) +(display (if #f + (+ 2.0 3.0) + (+ 4.0 5.0))) diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt index f38dc8213e..b0fbe65d99 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt @@ -1,7 +1,11 @@ #lang typed/scheme #:optimize (require racket/unsafe/ops) -(/ 1.0 2.0+4.0i) -(/ 1.0+2.0i 2.0) -(/ 1.0 2.0+4.0i 3.0+6.0i) -(/ 1.0+2.0i 2.0 3.0+6.0i) -(/ 1.0+2.0i 2.0+4.0i 3.0) +(map (lambda: ((x : Inexact-Complex)) + (string-append (real->decimal-string (real-part x) 10) + (real->decimal-string (imag-part x) 10))) + (list + (/ 1.0 2.0+4.0i) + (/ 1.0+2.0i 2.0) + (/ 1.0 2.0+4.0i 3.0+6.0i) + (/ 1.0+2.0i 2.0 3.0+6.0i) + (/ 1.0+2.0i 2.0+4.0i 3.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-else.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/dead-else.rkt index cd4030a481..ad2ad8ce81 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-else.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/dead-else.rkt @@ -1,6 +1,6 @@ #lang typed/scheme #:optimize (require racket/unsafe/ops) -(begin (number? 3) - (unsafe-fl+ 2.0 3.0)) -(begin #t - (unsafe-fl+ 2.0 3.0)) +(display (begin (number? 3) + (unsafe-fl+ 2.0 3.0))) +(display (begin #t + (unsafe-fl+ 2.0 3.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-then.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/dead-then.rkt index c16760c6ab..3fa5d32fd3 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-then.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/dead-then.rkt @@ -1,6 +1,6 @@ #lang typed/scheme #:optimize (require racket/unsafe/ops) -(begin (number? "eh") - (unsafe-fl+ 4.0 5.0)) -(begin #f - (unsafe-fl+ 4.0 5.0)) +(display (begin (number? "eh") + (unsafe-fl+ 4.0 5.0))) +(display (begin #f + (unsafe-fl+ 4.0 5.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-div.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-div.rkt index 3d01100706..41132ffd44 100644 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-div.rkt +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-div.rkt @@ -1,135 +1,143 @@ #lang typed/scheme #:optimize (require racket/unsafe/ops) -(let* ((unboxed-gensym-1 1.0) - (unboxed-gensym-2 2.0+4.0i) - (unboxed-gensym-3 (unsafe-flreal-part unboxed-gensym-2)) - (unboxed-gensym-4 (unsafe-flimag-part unboxed-gensym-2)) - (unboxed-gensym-7 (unsafe-fl+ (unsafe-fl* unboxed-gensym-3 - unboxed-gensym-3) - (unsafe-fl* unboxed-gensym-4 - unboxed-gensym-4))) - (unboxed-gensym-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-1 - unboxed-gensym-3) - (unsafe-fl* 0.0 unboxed-gensym-4)) - unboxed-gensym-7)) - (unboxed-gensym-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* 0.0 unboxed-gensym-3) - (unsafe-fl* unboxed-gensym-1 - unboxed-gensym-4)) - unboxed-gensym-7))) - (unsafe-make-flrectangular unboxed-gensym-5 unboxed-gensym-6)) -(let* ((unboxed-gensym-1 1.0+2.0i) - (unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1)) - (unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1)) - (unboxed-gensym-4 2.0) - (unboxed-gensym-7 (unsafe-fl+ (unsafe-fl* unboxed-gensym-4 - unboxed-gensym-4) - (unsafe-fl* 0.0 0.0))) - (unboxed-gensym-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2 - unboxed-gensym-4) - (unsafe-fl* unboxed-gensym-3 0.0)) - unboxed-gensym-7)) - (unboxed-gensym-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3 - unboxed-gensym-4) - (unsafe-fl* unboxed-gensym-2 0.0)) - unboxed-gensym-7))) - (unsafe-make-flrectangular unboxed-gensym-5 unboxed-gensym-6)) -(let* ((unboxed-gensym-1 1.0) - (unboxed-gensym-2 2.0+4.0i) - (unboxed-gensym-3 (unsafe-flreal-part unboxed-gensym-2)) - (unboxed-gensym-4 (unsafe-flimag-part unboxed-gensym-2)) - (unboxed-gensym-5 3.0+6.0i) - (unboxed-gensym-6 (unsafe-flreal-part unboxed-gensym-5)) - (unboxed-gensym-7 (unsafe-flimag-part unboxed-gensym-5)) - (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-3 - unboxed-gensym-3) - (unsafe-fl* unboxed-gensym-4 - unboxed-gensym-4))) - (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-6 - unboxed-gensym-6) - (unsafe-fl* unboxed-gensym-7 - unboxed-gensym-7))) - (unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-1 - unboxed-gensym-3) - (unsafe-fl* 0.0 unboxed-gensym-4)) - unboxed-gensym-10)) - (unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* 0.0 unboxed-gensym-3) - (unsafe-fl* unboxed-gensym-1 - unboxed-gensym-4)) - unboxed-gensym-10)) - (unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12 - unboxed-gensym-6) - (unsafe-fl* unboxed-gensym-13 - unboxed-gensym-7)) - unboxed-gensym-11)) - (unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13 - unboxed-gensym-6) - (unsafe-fl* unboxed-gensym-12 - unboxed-gensym-7)) - unboxed-gensym-11))) - (unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9)) -(let* ((unboxed-gensym-1 1.0+2.0i) - (unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1)) - (unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1)) - (unboxed-gensym-4 2.0) - (unboxed-gensym-5 3.0+6.0i) - (unboxed-gensym-6 (unsafe-flreal-part unboxed-gensym-5)) - (unboxed-gensym-7 (unsafe-flimag-part unboxed-gensym-5)) - (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-4 - unboxed-gensym-4) - (unsafe-fl* 0.0 0.0))) - (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-6 - unboxed-gensym-6) - (unsafe-fl* unboxed-gensym-7 - unboxed-gensym-7))) - (unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2 - unboxed-gensym-4) - (unsafe-fl* unboxed-gensym-3 0.0)) - unboxed-gensym-10)) - (unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3 - unboxed-gensym-4) - (unsafe-fl* unboxed-gensym-2 0.0)) - unboxed-gensym-10)) - (unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12 - unboxed-gensym-6) - (unsafe-fl* unboxed-gensym-13 - unboxed-gensym-7)) - unboxed-gensym-11)) - (unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13 - unboxed-gensym-6) - (unsafe-fl* unboxed-gensym-12 - unboxed-gensym-7)) - unboxed-gensym-11))) - (unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9)) -(let* ((unboxed-gensym-1 1.0+2.0i) - (unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1)) - (unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1)) - (unboxed-gensym-4 2.0+4.0i) - (unboxed-gensym-5 (unsafe-flreal-part unboxed-gensym-4)) - (unboxed-gensym-6 (unsafe-flimag-part unboxed-gensym-4)) - (unboxed-gensym-7 3.0) - (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-5 - unboxed-gensym-5) - (unsafe-fl* unboxed-gensym-6 - unboxed-gensym-6))) - (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-7 - unboxed-gensym-7) - (unsafe-fl* 0.0 0.0))) - (unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2 - unboxed-gensym-5) - (unsafe-fl* unboxed-gensym-3 - unboxed-gensym-6)) - unboxed-gensym-10)) - (unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3 - unboxed-gensym-5) - (unsafe-fl* unboxed-gensym-2 - unboxed-gensym-6)) - unboxed-gensym-10)) - (unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12 - unboxed-gensym-7) - (unsafe-fl* unboxed-gensym-13 0.0)) - unboxed-gensym-11)) - (unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13 - unboxed-gensym-7) - (unsafe-fl* unboxed-gensym-12 0.0)) - unboxed-gensym-11))) - (unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9)) +(map (lambda: ((x : Inexact-Complex)) + (string-append (real->decimal-string (real-part x) 10) + (real->decimal-string (imag-part x) 10))) + (list + (let* ((unboxed-gensym-1 1.0) + (unboxed-gensym-2 2.0+4.0i) + (unboxed-gensym-3 (unsafe-flreal-part unboxed-gensym-2)) + (unboxed-gensym-4 (unsafe-flimag-part unboxed-gensym-2)) + (unboxed-gensym-7 (unsafe-fl+ (unsafe-fl* unboxed-gensym-3 + unboxed-gensym-3) + (unsafe-fl* unboxed-gensym-4 + unboxed-gensym-4))) + (unboxed-gensym-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-1 + unboxed-gensym-3) + (unsafe-fl* 0.0 unboxed-gensym-4)) + unboxed-gensym-7)) + (unboxed-gensym-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* 0.0 unboxed-gensym-3) + (unsafe-fl* unboxed-gensym-1 + unboxed-gensym-4)) + unboxed-gensym-7))) + (unsafe-make-flrectangular unboxed-gensym-5 unboxed-gensym-6)) + + (let* ((unboxed-gensym-1 1.0+2.0i) + (unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1)) + (unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1)) + (unboxed-gensym-4 2.0) + (unboxed-gensym-7 (unsafe-fl+ (unsafe-fl* unboxed-gensym-4 + unboxed-gensym-4) + (unsafe-fl* 0.0 0.0))) + (unboxed-gensym-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2 + unboxed-gensym-4) + (unsafe-fl* unboxed-gensym-3 0.0)) + unboxed-gensym-7)) + (unboxed-gensym-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3 + unboxed-gensym-4) + (unsafe-fl* unboxed-gensym-2 0.0)) + unboxed-gensym-7))) + (unsafe-make-flrectangular unboxed-gensym-5 unboxed-gensym-6)) + + (let* ((unboxed-gensym-1 1.0) + (unboxed-gensym-2 2.0+4.0i) + (unboxed-gensym-3 (unsafe-flreal-part unboxed-gensym-2)) + (unboxed-gensym-4 (unsafe-flimag-part unboxed-gensym-2)) + (unboxed-gensym-5 3.0+6.0i) + (unboxed-gensym-6 (unsafe-flreal-part unboxed-gensym-5)) + (unboxed-gensym-7 (unsafe-flimag-part unboxed-gensym-5)) + (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-3 + unboxed-gensym-3) + (unsafe-fl* unboxed-gensym-4 + unboxed-gensym-4))) + (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-6 + unboxed-gensym-6) + (unsafe-fl* unboxed-gensym-7 + unboxed-gensym-7))) + (unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-1 + unboxed-gensym-3) + (unsafe-fl* 0.0 unboxed-gensym-4)) + unboxed-gensym-10)) + (unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* 0.0 unboxed-gensym-3) + (unsafe-fl* unboxed-gensym-1 + unboxed-gensym-4)) + unboxed-gensym-10)) + (unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12 + unboxed-gensym-6) + (unsafe-fl* unboxed-gensym-13 + unboxed-gensym-7)) + unboxed-gensym-11)) + (unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13 + unboxed-gensym-6) + (unsafe-fl* unboxed-gensym-12 + unboxed-gensym-7)) + unboxed-gensym-11))) + (unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9)) + + (let* ((unboxed-gensym-1 1.0+2.0i) + (unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1)) + (unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1)) + (unboxed-gensym-4 2.0) + (unboxed-gensym-5 3.0+6.0i) + (unboxed-gensym-6 (unsafe-flreal-part unboxed-gensym-5)) + (unboxed-gensym-7 (unsafe-flimag-part unboxed-gensym-5)) + (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-4 + unboxed-gensym-4) + (unsafe-fl* 0.0 0.0))) + (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-6 + unboxed-gensym-6) + (unsafe-fl* unboxed-gensym-7 + unboxed-gensym-7))) + (unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2 + unboxed-gensym-4) + (unsafe-fl* unboxed-gensym-3 0.0)) + unboxed-gensym-10)) + (unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3 + unboxed-gensym-4) + (unsafe-fl* unboxed-gensym-2 0.0)) + unboxed-gensym-10)) + (unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12 + unboxed-gensym-6) + (unsafe-fl* unboxed-gensym-13 + unboxed-gensym-7)) + unboxed-gensym-11)) + (unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13 + unboxed-gensym-6) + (unsafe-fl* unboxed-gensym-12 + unboxed-gensym-7)) + unboxed-gensym-11))) + (unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9)) + + (let* ((unboxed-gensym-1 1.0+2.0i) + (unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1)) + (unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1)) + (unboxed-gensym-4 2.0+4.0i) + (unboxed-gensym-5 (unsafe-flreal-part unboxed-gensym-4)) + (unboxed-gensym-6 (unsafe-flimag-part unboxed-gensym-4)) + (unboxed-gensym-7 3.0) + (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-5 + unboxed-gensym-5) + (unsafe-fl* unboxed-gensym-6 + unboxed-gensym-6))) + (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-7 + unboxed-gensym-7) + (unsafe-fl* 0.0 0.0))) + (unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2 + unboxed-gensym-5) + (unsafe-fl* unboxed-gensym-3 + unboxed-gensym-6)) + unboxed-gensym-10)) + (unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3 + unboxed-gensym-5) + (unsafe-fl* unboxed-gensym-2 + unboxed-gensym-6)) + unboxed-gensym-10)) + (unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12 + unboxed-gensym-7) + (unsafe-fl* unboxed-gensym-13 0.0)) + unboxed-gensym-11)) + (unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13 + unboxed-gensym-7) + (unsafe-fl* unboxed-gensym-12 0.0)) + unboxed-gensym-11))) + (unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9)))) diff --git a/collects/tests/typed-scheme/optimizer/non-optimized/dead-else.rkt b/collects/tests/typed-scheme/optimizer/non-optimized/dead-else.rkt index 3553ff9169..7f8f334086 100644 --- a/collects/tests/typed-scheme/optimizer/non-optimized/dead-else.rkt +++ b/collects/tests/typed-scheme/optimizer/non-optimized/dead-else.rkt @@ -1,8 +1,8 @@ -#lang typed/scheme +#lang typed/scheme (require racket/unsafe/ops) -(if (number? 3) - (+ 2.0 3.0) - (+ 4.0 5.0)) -(if #t - (+ 2.0 3.0) - (+ 4.0 5.0)) +(display (if (number? 3) + (+ 2.0 3.0) + (+ 4.0 5.0))) +(display (if #t + (+ 2.0 3.0) + (+ 4.0 5.0))) diff --git a/collects/tests/typed-scheme/optimizer/non-optimized/dead-then.rkt b/collects/tests/typed-scheme/optimizer/non-optimized/dead-then.rkt index ad3f9db9b0..1b83c36b7f 100644 --- a/collects/tests/typed-scheme/optimizer/non-optimized/dead-then.rkt +++ b/collects/tests/typed-scheme/optimizer/non-optimized/dead-then.rkt @@ -1,8 +1,8 @@ -#lang typed/scheme +#lang typed/scheme (require racket/unsafe/ops) -(if (number? "eh") - (+ 2.0 3.0) - (+ 4.0 5.0)) -(if #f - (+ 2.0 3.0) - (+ 4.0 5.0)) +(display (if (number? "eh") + (+ 2.0 3.0) + (+ 4.0 5.0))) +(display (if #f + (+ 2.0 3.0) + (+ 4.0 5.0))) diff --git a/collects/tests/typed-scheme/optimizer/non-optimized/inexact-complex-float-div.rkt b/collects/tests/typed-scheme/optimizer/non-optimized/inexact-complex-float-div.rkt index 188ecca3ac..193a16ac20 100644 --- a/collects/tests/typed-scheme/optimizer/non-optimized/inexact-complex-float-div.rkt +++ b/collects/tests/typed-scheme/optimizer/non-optimized/inexact-complex-float-div.rkt @@ -1,7 +1,11 @@ -#lang typed/scheme +#lang typed/scheme (require racket/unsafe/ops) -(/ 1.0 2.0+4.0i) -(/ 1.0+2.0i 2.0) -(/ 1.0 2.0+4.0i 3.0+6.0i) -(/ 1.0+2.0i 2.0 3.0+6.0i) -(/ 1.0+2.0i 2.0+4.0i 3.0) +(map (lambda: ((x : Inexact-Complex)) + (string-append (real->decimal-string (real-part x) 10) + (real->decimal-string (imag-part x) 10))) + (list + (/ 1.0 2.0+4.0i) + (/ 1.0+2.0i 2.0) + (/ 1.0 2.0+4.0i 3.0+6.0i) + (/ 1.0+2.0i 2.0 3.0+6.0i) + (/ 1.0+2.0i 2.0+4.0i 3.0)))