Changes between Version 7 and Version 8 of PrefixMinusResolution


Ignore:
Timestamp:
Jul 13, 2010 5:30:13 PM (4 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.