Просьба.

[thesz]

Обнаружил проблему в ghc 7.0.2.
{-# LANGUAGE NoImplicitPrelude #-}

import Prelude (Integer)
import Language.Haskell.TH

class FromInteger a where
fromInteger :: Integer -> a

data A = A Integer
instance FromInteger A where
fromInteger = A

testA :: A
testA = 1Даёт ошибку, что нет реализации GHC.Num.Num для A для функции testA. В 6.12.

Comments

[metaclass]

7.0.3, 7.2.1 то же самое

[metaclass]

в расширения нужно добавить RebindableSyntax

[metaclass]

тогда компилируется

[thesz]

А.

Спасибо.

Надо будет посмотреть тонкости применения обоих расширений.

[ilya_portnov]

Он, в общем-то, правильно говорит, прелюдию-то вы отключили, и упомянутой инстанции у вас нет. С -XRebindableSyntax GHC в таких случаях ищет не инстанцию GHC.Num.Num, а любую функцию с именем fromInteger, которая есть в scope.

[thesz]

До 7 было достаточно NoImplicitPrelude.