SMLFamily / Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
190 stars 10 forks source link

fixity #15

Open RobertHarper opened 8 years ago

RobertHarper commented 8 years ago

What is the current thinking on the vexed issue of fixity "declarations"? It's all such a mess. Why not adopt the Haskell approach of forward and backward quotes, or something similar, to provide an immediate form of fixity, rather than a context-sensitive declaration?