infix notation doesn't work for members of a record

[FluxusMagna]

While not hugely problematic, I find this somewhat inconsistent:

def test (i:i32) =
    let a = {f=(+)}
    in i `a.f` i

gives the error

Unknown name "a.f"

[athas]

There is a representation challenge here, because a.f is in this context an expression (not a name), and the backtick syntax only allows names. I am reluctant to allow arbitrary expressions in backticks, although perhaps my reluctance is pointless (it seems reasonable not to allow nested backticks, however).

[athas]

I guess one question that would have to be answered is:

Would the ability to write

x `map2 (+)` y

be used for good and not evil?

[FluxusMagna]

I think it would be used more for good. Nested backticks sounds like madness though.

[FluxusMagna]

I often use infix notation to make long expressions more legible. Sums with many large terms are much nicer to write and read when you structure them like:

let sum = term0
  `add`  term1
  `add`  term2
  .
  .
  `add`  termN

With the upcoming automap, I think it also makes sense to allow things like

 `map2 (+)`

as if + can be automatically expanded to effectively mean the same thing, it should also be possible to write explicitly without changing the code structure.

[athas]

I want to do this, but it turned out to be unexpectedly annoying to represent at the AST level. I will return to it.