[MLton] Ad-hoc infix identifiers, Printf, and libraries
Thu, 14 Jul 2005 18:15:57 +0200
Vesa Karvonen wrote:
>>I really like this!
Me too. :-)
> operator * precedes +
The problem with this is that it is impossible to express precedences in
a modular way - you cannot define them independent from other operators.
For example, if you want to provide several libraries that are
independent but whose infix operators should be combinable in a
convenient way, then you probably cannot.
> So, it seems to me that the precedence level of := really should be 1.
Or rather 0.
Andreas Rossberg, email@example.com
Let's get rid of those possible thingies! -- TB