自定义 infix 函数默认的优先级和结合性

Question

2. m # n = m + n

复制代码
run

2. *Main> 1 ^ 2 # 3
3. 1
4. *Main> :i (#)
5. (#) :: (Num a) => a -> a -> a   -- Defined at t.hs:3:2
6. *Main> :i (^)
7. (^) :: (Num a, Integral b) => a -> b -> a       -- Defined in GHC.Real
8. infixr 8 ^
9. *Main> 1 # (+2).(*3) 4
11. <interactive>:1:0:
12.     precedence parsing error
13.         cannot mix `(#)' [infixl 9] and `(.)' [infixr 9] in the same infix expression
14. *Main> sqrt 1 # 1
15. 2.0

复制代码
# 的优先级竟然比 ^ 还高

# 的优先级和结合性：(本来想发帖问一下捏，没想到错误提示里竟然有其结合性和优先级 )
infixl 9
左结合性、优先级为 9(达到顶层了)
只是比 function apply 低一个等级

[ 本帖最后由 izhier 于 2009-4-28 13:16 编辑 ]