id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 388 eta-reduction is valid in some cases felix winkelmann felix winkelmann "`(lambda (v1 ...) (f v1 ...))` can be reduced to `f`, if `f` is a safe global, if in unsafe mode, or if `f` is a standard/extended binding. " enhancement closed not urgent at all compiler 4.6.x wontfix