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

Fix tests.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-06-29 15:33:25 -04:00
parent bfc4ad4225
commit fbf802e61c
13 changed files with 45 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt
View File

@ -14,21 +14,21 @@ TR opt: pair.rkt 64:21 (cdr (cdr (cdr (list 1 2 3)))) -- pair
TR opt: pair.rkt 64:26 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 64:31 (cdr (list 1 2 3)) -- pair
TR missed opt: pair.rkt 67:0 (mcar (ann (mlist 1) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 67:0 (mcar (ann (mlist 1) (MListof Byte)))
TR opt: pair.rkt 68:0 (mcar (mlist 1 2 3)) -- mutable pair
TR opt: pair.rkt 68:0 (mcar (mlist 1 2 3)) -- pair
TR missed opt: pair.rkt 69:0 (mcdr (ann (mlist 1) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 69:0 (mcdr (ann (mlist 1) (MListof Byte)))
TR opt: pair.rkt 70:0 (mcdr (mlist 1 2 3)) -- mutable pair
TR opt: pair.rkt 71:0 (mcdr (mcdr (mlist 1 2 3))) -- mutable pair
TR opt: pair.rkt 71:6 (mcdr (mlist 1 2 3)) -- mutable pair
TR opt: pair.rkt 72:0 (mcdr (mcdr (mcdr (mlist 1 2 3)))) -- mutable pair
TR opt: pair.rkt 72:6 (mcdr (mcdr (mlist 1 2 3))) -- mutable pair
TR opt: pair.rkt 72:12 (mcdr (mlist 1 2 3)) -- mutable pair
TR opt: pair.rkt 70:0 (mcdr (mlist 1 2 3)) -- pair
TR opt: pair.rkt 71:0 (mcdr (mcdr (mlist 1 2 3))) -- pair
TR opt: pair.rkt 71:6 (mcdr (mlist 1 2 3)) -- pair
TR opt: pair.rkt 72:0 (mcdr (mcdr (mcdr (mlist 1 2 3)))) -- pair
TR opt: pair.rkt 72:6 (mcdr (mcdr (mlist 1 2 3))) -- pair
TR opt: pair.rkt 72:12 (mcdr (mlist 1 2 3)) -- pair
TR missed opt: pair.rkt 73:0 (set-mcar! (ann (mlist 2) (MListof Byte)) 2) -- car/cdr on a potentially empty list -- caused by: 73:0 (set-mcar! (ann (mlist 2) (MListof Byte)) 2)
TR opt: pair.rkt 74:0 (set-mcar! (mlist 2 3 4) 2) -- mutable pair
TR opt: pair.rkt 74:0 (set-mcar! (mlist 2 3 4) 2) -- pair
TR missed opt: pair.rkt 75:0 (set-mcdr! (ann (mlist 2) (MListof Byte)) (ann (mlist 2) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 75:0 (set-mcdr! (ann (mlist 2) (MListof Byte)) (ann (mlist 2) (MListof Byte)))
TR opt: pair.rkt 77:0 (mcar (mcons 2 3)) -- mutable pair
TR opt: pair.rkt 78:0 (mcdr (mcons 2 3)) -- mutable pair
TR opt: pair.rkt 79:0 (set-mcar! (mcons 2 3) 3) -- mutable pair
TR opt: pair.rkt 80:0 (set-mcdr! (mcons 2 3) 4) -- mutable pair
TR opt: pair.rkt 77:0 (mcar (mcons 2 3)) -- pair
TR opt: pair.rkt 78:0 (mcdr (mcons 2 3)) -- pair
TR opt: pair.rkt 79:0 (set-mcar! (mcons 2 3) 3) -- pair
TR opt: pair.rkt 80:0 (set-mcdr! (mcons 2 3) 4) -- pair
TR missed opt: pair.rkt 81:17 (mcar (quote ())) -- car/cdr on a potentially empty list -- caused by: 81:23 (quote ())
TR missed opt: pair.rkt 82:17 (mcdr (quote ())) -- car/cdr on a potentially empty list -- caused by: 82:23 (quote ())
TR missed opt: pair.rkt 83:17 (set-mcar! (quote ()) 2) -- car/cdr on a potentially empty list -- caused by: 83:28 (quote ())

4
collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt
View File

@ -1,10 +1,10 @@
#;
(
TR missed opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 24:3 (* 3/4 2/3)
TR opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- binary float
TR missed opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 24:3 (* 3/4 2/3)
TR opt: precision-loss.rkt 26:0 (+ 3/4 2.0) -- binary float
TR missed opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 28:3 (- 3/4)
TR opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- binary float
TR missed opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 28:3 (- 3/4)
TR opt: precision-loss.rkt 30:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- binary float
TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- exact ops inside float expr -- caused by: 36:8 (* 3/4 2/3)
TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- all args float-arg-expr, result not Float -- caused by: 36:11 3/4, 36:15 2/3 (2 times)

2
collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: float-complex-fixnum.rkt 14:0 (+ (modulo 2 1) 1.0+2.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-fixnum.rkt 14:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 14:3 (modulo 2 1) -- float-arg-expr in complex ops
TR opt: float-complex-fixnum.rkt 14:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 14:16 1.0+2.0i -- unboxed literal
TR opt: float-complex-fixnum.rkt 14:25 3.0+6.0i -- unboxed literal
4.0+8.0i

2
collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt
View File

@ -14,8 +14,8 @@ TR opt: float-complex-float-small.rkt 34:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 34:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 35:0 (+ 1.0+2.0i (+ 1.0 2.0)) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 35:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- binary float
TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- binary float
TR opt: float-complex-float-small.rkt 35:15 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 35:19 2.0 -- float-arg-expr in complex ops
4.0+2.0i

2
collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: float-complex-sin.rkt 14:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex
TR missed opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 14:21 t (2 times)
TR opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- float-arg-expr in complex ops
TR missed opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 14:21 t (2 times)
TR opt: float-complex-sin.rkt 14:30 0.0+0.0i -- unboxed literal
-0.0031853017931379904+0.0i
)

2
collects/tests/typed-scheme/optimizer/tests/float-real.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: float-real.rkt 18:0 (+ 2.3 (ann 3 Real)) -- binary float
TR missed opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- exact ops inside float expr -- caused by: 19:7 (* (ann 2 Integer) 3.2)
TR opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- binary float
TR missed opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- exact ops inside float expr -- caused by: 19:7 (* (ann 2 Integer) 3.2)
TR missed opt: float-real.rkt 19:7 (* (ann 2 Integer) 3.2) -- all args float-arg-expr, result not Float -- caused by: 19:15 2
TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- exact ops inside float expr -- caused by: 20:7 (* (ann 2 Integer) 3.1)
TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- all args float-arg-expr, result not Float -- caused by: 20:15 2 (2 times)

2
collects/tests/typed-scheme/optimizer/tests/make-polar.rkt
View File

@ -9,8 +9,8 @@ TR opt: make-polar.rkt 30:21 (make-polar 2.0 4.0) -- make-rectangular eliminatio
TR opt: make-polar.rkt 31:39 (real-part p) -- complex accessor elimination
TR opt: make-polar.rkt 31:39 (real-part p) -- unboxed unary float complex
TR opt: make-polar.rkt 31:50 p -- leave var unboxed
TR opt: make-polar.rkt 31:50 p -- unbox float-complex
TR opt: make-polar.rkt 31:50 p -- unboxed complex variable
TR opt: make-polar.rkt 31:50 p -- unbox float-complex
TR opt: make-polar.rkt 32:39 (imag-part p) -- complex accessor elimination
TR opt: make-polar.rkt 32:50 p -- leave var unboxed
TR opt: make-polar.rkt 32:50 p -- unboxed complex variable

10
collects/tests/typed-scheme/optimizer/tests/mpair.rkt
View File

@ -1,12 +1,12 @@
#;
(
TR opt: mpair.rkt 19:0 (mcar x) -- mutable pair
TR opt: mpair.rkt 20:0 (mcdr x) -- mutable pair
TR opt: mpair.rkt 21:0 (set-mcar! x (+ 1 2)) -- mutable pair
TR opt: mpair.rkt 19:0 (mcar x) -- pair
TR opt: mpair.rkt 20:0 (mcdr x) -- pair
TR opt: mpair.rkt 21:0 (set-mcar! x (+ 1 2)) -- pair
TR opt: mpair.rkt 21:13 (+ 1 2) -- fixnum bounded expr
TR opt: mpair.rkt 22:0 (set-mcdr! x (+ 1.0 2.0)) -- mutable pair
TR opt: mpair.rkt 22:0 (set-mcdr! x (+ 1.0 2.0)) -- pair
TR opt: mpair.rkt 22:13 (+ 1.0 2.0) -- binary float
TR opt: mpair.rkt 28:6 (mcar x) -- mutable pair
TR opt: mpair.rkt 28:6 (mcar x) -- pair
1
1.0
)

8
collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt
View File

@ -1,16 +1,16 @@
#;
(
TR opt: nested-let-loop.rkt 39:0 (let: loop1 : Float-Complex ((x : (Listof Float-Complex) (quote (1.0+2.0i 2.0+4.0i))) (r : Float-Complex 0.0+0.0i)) (if (null? x) r (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))))) -- unboxed call site
TR opt: nested-let-loop.rkt 39:6 loop1 -- unboxed let loop
TR opt: nested-let-loop.rkt 39:6 loop1 -- fun -> unboxed fun
TR opt: nested-let-loop.rkt 39:6 loop1 -- unboxed function -> table
TR opt: nested-let-loop.rkt 39:6 loop1 -- unboxed let loop
TR opt: nested-let-loop.rkt 41:8 r -- unboxed var -> table
TR opt: nested-let-loop.rkt 41:28 0.0+0.0i -- unboxed literal
TR opt: nested-let-loop.rkt 43:10 r -- unboxed complex variable
TR opt: nested-let-loop.rkt 44:10 (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))) -- unboxed call site
TR opt: nested-let-loop.rkt 44:16 loop2 -- unboxed let loop
TR opt: nested-let-loop.rkt 44:16 loop2 -- fun -> unboxed fun
TR opt: nested-let-loop.rkt 44:16 loop2 -- unboxed function -> table
TR opt: nested-let-loop.rkt 44:16 loop2 -- unboxed let loop
TR opt: nested-let-loop.rkt 46:18 s -- unboxed var -> table
TR opt: nested-let-loop.rkt 46:38 0.0+0.0i -- unboxed literal
TR opt: nested-let-loop.rkt 48:20 (loop1 (cdr x) (+ r s)) -- call to fun with unboxed args
@ -26,10 +26,10 @@ TR opt: nested-let-loop.rkt 49:20 (loop2 (cdr y) (+ s (car x) (car y))) -- unbox
TR opt: nested-let-loop.rkt 49:27 (cdr y) -- pair
TR opt: nested-let-loop.rkt 49:35 (+ s (car x) (car y)) -- unboxed binary float complex
TR opt: nested-let-loop.rkt 49:38 s -- leave var unboxed
TR opt: nested-let-loop.rkt 49:40 (car x) -- pair
TR opt: nested-let-loop.rkt 49:40 (car x) -- unbox float-complex
TR opt: nested-let-loop.rkt 49:48 (car y) -- pair
TR opt: nested-let-loop.rkt 49:40 (car x) -- pair
TR opt: nested-let-loop.rkt 49:48 (car y) -- unbox float-complex
TR opt: nested-let-loop.rkt 49:48 (car y) -- pair
20.0+40.0i
)

4
collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt
View File

@ -1,17 +1,17 @@
#;
(
TR opt: real-part-loop.rkt 29:1 (let loop ((v 0.0+1.0i)) (if (> (real-part v) 70000.2) 0 (loop (+ v 3.6)))) -- unboxed call site
TR opt: real-part-loop.rkt 29:6 loop -- unboxed let loop
TR opt: real-part-loop.rkt 29:6 loop -- fun -> unboxed fun
TR opt: real-part-loop.rkt 29:6 loop -- unboxed function -> table
TR opt: real-part-loop.rkt 29:6 loop -- unboxed let loop
TR opt: real-part-loop.rkt 29:13 v -- unboxed var -> table
TR opt: real-part-loop.rkt 29:15 0.0+1.0i -- unboxed literal
TR opt: real-part-loop.rkt 30:6 (> (real-part v) 70000.2) -- binary float comp
TR opt: real-part-loop.rkt 30:9 (real-part v) -- complex accessor elimination
TR opt: real-part-loop.rkt 30:9 (real-part v) -- unboxed unary float complex
TR opt: real-part-loop.rkt 30:20 v -- leave var unboxed
TR opt: real-part-loop.rkt 30:20 v -- unbox float-complex
TR opt: real-part-loop.rkt 30:20 v -- unboxed complex variable
TR opt: real-part-loop.rkt 30:20 v -- unbox float-complex
TR opt: real-part-loop.rkt 32:6 (loop (+ v 3.6)) -- call to fun with unboxed args
TR opt: real-part-loop.rkt 32:6 (loop (+ v 3.6)) -- unboxed call site
TR opt: real-part-loop.rkt 32:12 (+ v 3.6) -- unboxed binary float complex

26
collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt
View File

@ -1,21 +1,21 @@
#;
(
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- call to fun with unboxed args
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- fun -> unboxed fun
TR opt: unboxed-for.rkt 30:0 #%module-begin -- in-list
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unbox float-complex
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed function -> table
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let loop
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- call to fun with unboxed args
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- fun -> unboxed fun
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed function -> table
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unbox float-complex
TR opt: unboxed-for.rkt 30:0 #%module-begin -- in-list
TR opt: unboxed-for.rkt 33:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 33:31 sum -- leave var unboxed
TR opt: unboxed-for.rkt 33:31 sum -- unbox float-complex
TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 33:31 sum -- unboxed var -> table
TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 33:31 sum -- unbox float-complex
TR opt: unboxed-for.rkt 33:31 sum -- leave var unboxed
TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 33:53 0.0+0.0i -- unboxed literal
TR opt: unboxed-for.rkt 34:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 34:13 i -- unboxed complex variable

2
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt
View File

@ -1,9 +1,9 @@
#;
(
TR opt: unboxed-let-functions6.rkt 26:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) (+ z 0.0+1.0i) (loop (+ z (car l)) (cdr l)))) -- unboxed call site
TR opt: unboxed-let-functions6.rkt 26:6 loop -- unboxed let loop
TR opt: unboxed-let-functions6.rkt 26:6 loop -- fun -> unboxed fun
TR opt: unboxed-let-functions6.rkt 26:6 loop -- unboxed function -> table
TR opt: unboxed-let-functions6.rkt 26:6 loop -- unboxed let loop
TR opt: unboxed-let-functions6.rkt 26:31 z -- unboxed var -> table
TR opt: unboxed-let-functions6.rkt 26:51 0.0+0.0i -- unboxed literal
TR opt: unboxed-let-functions6.rkt 29:10 (+ z 0.0+1.0i) -- unboxed binary float complex

2
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt
View File

@ -1,9 +1,9 @@
#;
(
TR opt: unboxed-let-functions7.rkt 25:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) z (loop (+ z (car l)) (cdr l)))) -- unboxed call site
TR opt: unboxed-let-functions7.rkt 25:6 loop -- unboxed let loop
TR opt: unboxed-let-functions7.rkt 25:6 loop -- fun -> unboxed fun
TR opt: unboxed-let-functions7.rkt 25:6 loop -- unboxed function -> table
TR opt: unboxed-let-functions7.rkt 25:6 loop -- unboxed let loop
TR opt: unboxed-let-functions7.rkt 25:31 z -- unboxed var -> table
TR opt: unboxed-let-functions7.rkt 25:51 0.0+0.0i -- unboxed literal
TR opt: unboxed-let-functions7.rkt 28:6 z -- unboxed complex variable