Когда экземпляры класса условного типа работают вглубь, может быть трудно понять, почему ghc жалуется на экземпляр класса отсутствующего типа. Например:
class MyClass1 c
class MyClass2 c
class MyClass3 c
data MyType1 a
data MyType2 a
instance MyClass1 a => MyClass2 (MyType1 a)
instance MyClass2 a => MyClass3 (MyType2 a)
foo :: (MyClass3 c) => c
foo = undefined
bar :: MyType2 (MyType1 Int)
bar = foo
GHC дает следующую ошибку:
Example.hs:149:7-9: error:
• No instance for (MyClass1 Int) arising from a use of ‘foo
• In the expression: foo
In an equation for ‘bar: bar = foo
|
149 | bar = foo
| ^^^
Предположим, что я только написал определения для foo
и bar
, а все остальное было импортированным кодом, который я не писал, я могу быть очень смущен, почему ghc пытается найти экземпляр MyClass1
для Int
. Это может быть даже в первый раз, когда я когда-либо слышал о классе MyClass1
, если до сих пор я полагался на импортированные экземпляры. Было бы неплохо, если бы ghc мог дать мне "трассировку стека" в цепочке экземпляров класса типа, например
Sought (MyClass2 (MyType1 Int)) to satisfy (MyClass3 (MyType2 (MyType1 Int))) from conditional type class instance OtherModule.hs:37:1-18
Sought (MyClass1 Int) to satisfy (MyClass2 (MyType1 Int)) from conditional type class instance OtherModule.hs:36:1-18
У ghc есть опция командной строки для этого? Если нет, как мне отладить это?
Имейте в виду, что моя реальная проблема намного сложнее, чем этот простой пример. например
Search.hs:110:31-36: error:
• Could not deduce (Ord
(Vars (DedupingMap (Rep (Index gc)) (IndexedProblem ac))))
arising from a use of ‘search
from the context: (PP gc (IndexedProblem ac),
Show (Vars (DedupingMap (Rep (Index gc)) (IndexedProblem ac))),
Foldable f, MonadNotify m)
bound by the type signature for:
searchIndexedReplicaProblem :: forall gc ac (f :: * -> *) (m :: *
-> *).
(PP gc (IndexedProblem ac),
Show
(Vars
(DedupingMap
(Rep (Index gc)) (IndexedProblem ac))),
Foldable f, MonadNotify m) =>
f (Index
(Clzs
(PartitionedProblem
gc (IndexedProblem ac))))
-> m (Maybe
(Vars
(PartitionedProblem
gc (IndexedProblem ac))))
at Search.hs:(103,1)-(109,131)
• In the expression: search
In an equation for ‘searchIndexedReplicaProblem:
searchIndexedReplicaProblem = search
|
110 | searchIndexedReplicaProblem = search
| ^^^^^^
Существует пять условий покрытия для PP, и я использую семейства типов и нерешимые экземпляры, поэтому крайне неясно, почему ghc дает мне свою ошибку. Какие инструменты можно использовать для отслеживания проблемы?