[Haskell-cafe] Functional dependencies conflict
Daniel Trstenjak
daniel.trstenjak at gmail.com
Sun Apr 5 12:19:13 UTC 2015
Hi,
I'm getting the compile error:
Gamgine/Image/PNG/Internal/Parser.hs:14:10:
Functional dependencies conflict between instance declarations:
instance Monad m => Stream LB.ByteString m Word8
-- Defined at Gamgine/Image/PNG/Internal/Parser.hs:14:10
instance Monad m => Stream LB.ByteString m Char
-- Defined in ‘Text.Parsec.Prim’
The relevant stuff from the parsec 3.1.9 code[1] is:
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, UndecidableInstances #-}
...
import qualified Data.ByteString.Lazy.Char8 as CL
import qualified Data.ByteString.Char8 as C
...
class (Monad m) => Stream s m t | s -> t where
uncons :: s -> m (Maybe (t,s))
instance (Monad m) => Stream CL.ByteString m Char where
uncons = return . CL.uncons
instance (Monad m) => Stream C.ByteString m Char where
uncons = return . C.uncons
And from my code[2] is:
{-# LANGUAGE BangPatterns, FlexibleInstances, MultiParamTypeClasses, FlexibleContexts #-}
...
import qualified Data.ByteString.Lazy as LB
...
instance (Monad m) => Stream LB.ByteString m Word8 where
uncons = return . LB.uncons
As you can see, the instances are for different ByteString types,
therefore I don't quite get where GHC sees here any conflicts.
Greetings,
Daniel
[1] https://github.com/aslatter/parsec/blob/master/Text/Parsec/Prim.hs
[2] https://github.com/dan-t/Gamgine/blob/master/Gamgine/Image/PNG/Internal/Parser.hs
More information about the Haskell-Cafe
mailing list