Opened 16 years ago

Closed 15 years ago

#220 closed enhancement (wontfix)

call-with-values rewrite rule for known producer with single-valued body

Reported by: felix winkelmann Owned by:
Priority: not urgent at all Milestone:
Component: compiler Version:
Keywords: optimization call-with-values Cc:
Estimated difficulty:

Description

(call-with-values K P F) with P having a lambda as known value and a body of the form (<CONT> X) where X is a constant, a variable reference, a lambda or a ##core#inline[...] form can be rewritten to (F K X).

Change History (3)

comment:1 by felix winkelmann, 16 years ago

Since the producer may refer to bindings not lexically visible in F, a better transformation would be:

([##sys#]call-with-values K P F)

~>

(let ((T1 (lambda (R) (F K R))))   ; continuation lambda
  (P T1))

comment:2 by felix winkelmann, 15 years ago

Owner: felix winkelmann removed
Status: new → assigned

comment:3 by felix winkelmann, 15 years ago

Resolution: → wontfix
Status: assigned → closed

Too much hassle for too little gain.

Note: See TracTickets for help on using tickets.