Planning: function call syntax equivalence

[LB--]

All of the following should be equivalent:

• f(a, b, c, d, e)
• a.f(b, c, d, e)
• (a, b).f(c, d, e)
• (a, b, c).f(d, e)
• (a, b, c, d).f(e)
• (a, b, c, d, e).f()

[LB--]

f is to be searched for in the following order, using argument-dependent lookup:

• 0: local scope of expression
• 1: enclosing scope of expression
• 2: local scope of each parameter's type, by order of priority
• 2: enclosing scope of each parameter's type, by order of priority
• 3: global scope

The search must finish before selecting the result to use for f.

If f is enclosed in [] then the search must start and complete at compile time, each time the expression is reached.

If f is enclosed in {} then the search must start at runtime, each time the expression is reached.

In either case, failure to find non-ambiguous result for f should result in an exception being thrown from the expression.

[LB--]

Also equivalent: f(a, b) and a f b

[LB--]

I'm not using that syntax anymore, ignore the first and third posts here.