#;
(
#f line #f col #f - make-sequence - in-list
unboxed-for.rkt line 53 col 9 - i - unbox float-complex
unboxed-for.rkt line 53 col 11 - sum - unbox float-complex
unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
unboxed-for.rkt line 53 col 9 - i - unbox float-complex
unboxed-for.rkt line 53 col 11 - sum - unbox float-complex
unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
unboxed-for.rkt line 51 col 31 - sum - unboxed var -> table
#f line #f col #f - for-loop - unboxed function -> table
#f line #f col #f - for-loop - fun -> unboxed fun
unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
unboxed-for.rkt line 53 col 9 - i - unbox float-complex
unboxed-for.rkt line 53 col 11 - sum - unbox float-complex
unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
#f line #f col #f - (#%app pos->vals pos) - unbox float-complex
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) - unboxed let bindings
unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
unboxed-for.rkt line 53 col 9 - i - leave var unboxed
unboxed-for.rkt line 53 col 11 - sum - unbox float-complex
unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
unboxed-for.rkt line 51 col 31 - sum - leave var unboxed
#f line #f col #f - (let-values (((sum) sum)) (let-values () (#%app + i sum))) - unboxed let bindings
unboxed-for.rkt line 53 col 9 - i - leave var unboxed
unboxed-for.rkt line 53 col 11 - sum - leave var unboxed
unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
unboxed-for.rkt line 51 col 31 - sum - unbox float-complex
#f line #f col #f - for-loop - unboxed call site
#f line #f col #f - for-loop - call to fun with unboxed args
unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
unboxed-for.rkt line 51 col 53 - 0.0+0.0i - unboxed literal
unboxed-for.rkt line 51 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (if (#%expression (if pos-cont? (#%app pos-cont? pos) (quote #t))) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) - unboxed call site
#f line #f col #f - for-loop - unboxed let loop
3.0+6.0i
)

#lang typed/scheme
#:optimize



(for/fold: : Float-Complex   ((sum : Float-Complex   0.0+0.0i))
           ((i : Float-Complex   '(1.0+2.0i 2.0+4.0i)))
      (+ i sum))
