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,,,