Summary

eta-reduction is valid in some cases

Metadata

• Id: 50211c8dde4ff075a96de3d6425bf34db8036506
• Trac id: 388
• Type: enhancement
• Reporter: felix
• Owner: felix
• Cc:
• Status: closed
• Component: compiler
• Estimated difficulty:
• Resolution: wontfix
• Priority: not urgent at all
• Milestone:
• Version: 4.6.x
• Changetime: 2010-10-04 08:51:51 UTC
• Created: 2010-09-16 10:14:19 UTC
• Keywords:

Description

`(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.

Changes and comments

[2010-10-04 08:51:51 UTC] felix changed status from new to closed

[2010-10-04 08:51:51 UTC] felix set resolution to wontfix

[2010-10-04 08:51:51 UTC] felix wrote:

This must also check argument variables for not being global. In the end too many special cases for too little gain.