[bitc-dev] Syntax: Procedure application

[Sandro Magi]

Jonathan S. Shapiro wrote:
> Because of my assumption that "+" and "a" are both identifiers. I
> didn't know about the ML rule that mixfix operators must be
> punctuation. 

I think Haskell has the same restriction, with the added flexibility
that ordinary identifiers can be used in infix position if they are
quoted by backquote "`". So "add a b" is equivalent to "a `add` b".

Sandro