[Issue 10819] Invalid comparison for equality of lambda functions

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=10819



--- Comment #4 from Andrei Alexandrescu <andrei at erdani.com> 2013-08-14 12:04:33 PDT ---
We can assume the bodies of the lambdas compared are always available, which
makes comparisons easier. Then it's a matter of how precise we want to be about
it all. One possibility:

* parameter types must be identical, or both alias/type parameter - for each
position
* bodies must be identical up to alpha renaming of parameters. E.g. (a) => a +
1 should compare equal to (b) => b + 1
* no more effort beyond that, e.g. (a) => a + 1 is not equal to (a) => 1 + a

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------