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

Added a test for unboxed nested loops.

Browse Source 
original commit: 4d43c2156562540bcd70cf91a4c712b1546f9f2e
This commit is contained in:
Vincent St-Amour 2010-08-05 17:21:54 -04:00
parent 918d50b25d
commit 019ea62c25
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt Normal file
View File

@ -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)))))))