Bu kod iyi derlerSorun tipi sınıfları ve tip aileleri karıştırma
Illegal type synonym family application in instance:
b -> (c, Rec a)
In the instance declaration for `Sel a s (b -> (c, Rec a))'
:
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances,
UndecidableInstances, FlexibleContexts, EmptyDataDecls, ScopedTypeVariables,
TypeOperators, TypeSynonymInstances, TypeFamilies #-}
class Sel a s b where
type Res a s b :: *
instance Sel a s b where
type Res a s b = (s -> (b,s))
class R a where
type Rec a :: *
cons :: a -> Rec a
elim :: Rec a -> a
instance Sel a s (b->(c,Rec a)) where
type Res a s (b->(c,Rec a)) = (b -> s -> (c,s))
şikayet
Bu ne anlama geliyor ve (en önemlisi) bunu nasıl düzeltirim?
Teşekkür
Hayır, 1. parça kod benim için iyi bir derleme yapmıyor. GHC (6.12.1), 'Çakışan aile örneği bildirimleri'ni' şikayet ediyor. – kennytm