Подтвердить что ты не робот

Haskell. Почему: info (:) дважды возвращает определение?

Я новичок в 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 :

Означает ли это, что оператор определяется дважды? Я не нашел подозрительных вещей в источнике =/

Ответ 1

Не обращайте на это внимания, это, безусловно, ошибка. Я могу воспроизвести это поведение в 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 :