[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