我是Haskell的新手。
如果我在GHCi (7.10.3)中输入:
:info (:)
我得到了结果:
*** Parser:
data [] a = ... | a : [a] -- Defined in ‘GHC.Types’
infixr 5 :
data [] a = ... | a : [a] -- Defined in ‘GHC.Types’
infixr 5 :
这是不是意味着运算符被定义了两次?我在源代码中没有发现任何可疑的东西 =/
我是Haskell的新手。
如果我在GHCi (7.10.3)中输入:
:info (:)
我得到了结果:
*** Parser:
data [] a = ... | a : [a] -- Defined in ‘GHC.Types’
infixr 5 :
data [] a = ... | a : [a] -- Defined in ‘GHC.Types’
infixr 5 :
这是不是意味着运算符被定义了两次?我在源代码中没有发现任何可疑的东西 =/
请忽略此信息,这是一个错误。我可以在 GHC 7.10.3 上重现此行为,但当前的 GHC 8.0 开发快照没有出现这个问题:
GHCi, version 8.0.0.20160316: http://www.haskell.org/ghc/ :? for help
Prelude> :info (:)
data [] a = ... | a : [a] -- Defined in ‘GHC.Types’
infixr 5 :
[]
的定义充满了神秘感;我会对 GHCi 给出的任何关于它的说法持保留态度。 - dfeuer