| ... | ... | @@ -169,3 +169,18 @@ The operator to the left of prefix -, if there is one, is ignored. So a + -b or |
|
|
|
(Use the algorithm from [ http://hackage.haskell.org/trac/ghc/ticket/4180](http://hackage.haskell.org/trac/ghc/ticket/4180))
|
|
|
|
|
|
|
|
|
|
|
|
### Remark
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
haskellch4.html\#x10-820004.4.2 "4.4.2 Fixity Declarations" states:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"Any operator lacking a fixity declaration is assumed to be infixl 9"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This (surprisingly) makes "`- a `f` b`" resolve as "`- (a `f` b)`" for any f without fixity declaration (independent of this proposal). This contradicts [NegationBindsTightly](negation-binds-tightly).
|
|
|
|
|
|
|
|
|
