[MLton] Ad-hoc infix identifiers, Printf, and libraries

Andreas Rossberg rossberg@ps.uni-sb.de
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

Andreas Rossberg, rossberg@ps.uni-sb.de

Let's get rid of those possible thingies!  -- TB