Lucas Kramer

Luke (accidentally?) discovered that the parentheses aren't even needed. For example one can write ``` map(_ == 2, i) ``` which IMO is just as clear as the parenthesized version....

Hmm, one other thought - the current syntax for attribute sections is `(.foo)` and not `_.foo`. And the corresponding proposed syntax for tuple selector sections in #844 is `(.3)`. Do...

Probably. I think this extension is currently only used in a couple of places at the moment. Not sure about the best option for testing. We should somehow be testing...

Makes sense. This sort of testing really requires us to use this extension in implementing other Silver extensions, and testing that those extensions forward to something that compiles. We could...

That is more or less the situation as it stands. We do have runtime checking (in Copper) for disambiguation functions and classes to ensure that the plucked terminal is currently...

I'll try to take a look tonight. Are you 100% sure the disambiguation function is actually getting called - maybe try adding a print statement? I don't know that could...

I do like the idea of writing `foreign type ...` and `foreign function ...` instead of the weird syntax we have now. But still being able to write a Silver...

@keltono I'm assigning you in case you ever have a chance to take a look at this, since I don't think anyone else really understands that code.

Hmm. That does seem to be a valid counterexample, but the long chain of various infix operator expressions in the lower example does not appear to be needed. I don't...