From 019ea62c25b9604d97ef653d05d4bf00ba59c4c9 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 5 Aug 2010 17:21:54 -0400 Subject: [PATCH] Added a test for unboxed nested loops. original commit: 4d43c2156562540bcd70cf91a4c712b1546f9f2e --- .../optimizer/generic/nested-let-loop.rkt | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt b/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt new file mode 100644 index 00000000..a63ed243 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt @@ -0,0 +1,15 @@ +#lang typed/scheme #:optimize + +(require racket/unsafe/ops) + +(let: loop1 : Inexact-Complex + ((x : (Listof Inexact-Complex) '(1.0+2.0i 2.0+4.0i)) + (r : Inexact-Complex 0.0+0.0i)) + (if (null? x) + r + (let: loop2 : Inexact-Complex + ((y : (Listof Inexact-Complex) '(3.0+6.0i 4.0+8.0i)) + (s : Inexact-Complex 0.0+0.0i)) + (if (null? y) + (loop1 (cdr x) (+ r s)) + (loop2 (cdr y) (+ s (car x) (car y)))))))