Changes between Version 7 and Version 8 of PrefixMinusResolution


Ignore:
Timestamp:
Jul 13, 2010 5:30:13 PM (5 years ago)
Author:
maeder
Comment:

added remark

Legend:

Unmodified
Added
Removed
Modified
  • PrefixMinusResolution

    v7 v8  
    101101
    102102(Use the algorithm from http://hackage.haskell.org/trac/ghc/ticket/4180)
     103
     104=== Remark ===
     105haskellch4.html#x10-820004.4.2 "4.4.2  Fixity Declarations" states:
     106
     107"Any operator lacking a fixity declaration is assumed to be infixl 9"
     108
     109This (surprisingly) makes "{{{- a `f` b}}}" resolve as "{{{- (a `f` b)}}}" for any f without fixity declaration (independent of this proposal). This contradicts NegationBindsTightly.