aya-dev icon indicating copy to clipboard operation
aya-dev copied to clipboard

Published 20 hours ago • verified publisher icon aya-prover

Infix parameters?

Open ice1000 opened this issue 3 years ago • 1 comments
trafficstars

@imkiva

ice1000 avatar Nov 23 '22 23:11 ice1000

Idea:

  • We'd rather not have any ways to specify tighter/looser in infixes, because the syntax is ugly.
  • Infix parameters always bind the tightest, loosest, or they have no relationship with anything. We may discuss this further.
  • Add boolean isInfix to LocalVar. This makes infix lambda param & pattern variable possible.

ice1000 avatar Nov 24 '22 17:11 ice1000