This whole issue regarding redefinition of + and - is getting confused
unnecessarily.  Both of these are in PreludeCore and cannot be renamed
or hidden.  Because of this their fixities cannot be changed.  It is
possible to locally shadow + and - but this cannot change their
fixities and has no effect on + in n+k patterns.

Can't we find anything more interesting to discuss that the syntax??

  John Peterson
  Yale Haskell Project

Reply via email to