prefix minus and infix resolution

Malcolm Wallace malcolm.wallace at
Tue Jul 13 16:01:08 EDT 2010

> I'm asking for support of:

Just to note that nhc98 appears to fulfill the outcome of this  
resolution algorithm already, with the exception of example x7, which  
is parsed as -(4#5).

However, nhc98 goes further and permits the declaration of arbitrary  
prefix operators, using the syntax

     prefix negate 6 -

yes, in addition to

     infix 6 -

I think the rationale is that the prefix symbol must map to a non- 
symbolic function name, because the same symbol may also refer to a  
function of a different type when used infix.  The resolution of  
prefix/infix chains and sections is quite involved, but not enormous:  


More information about the Haskell-prime mailing list