Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[ghc.git] / testsuite / tests / typecheck / should_compile / T7171.hs
1 {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE FlexibleInstances #-}
2
3 module T7171 where
4
5 import T7171a
6 import Data.ByteString
7
8 -- this works
9 -- test1 :: [Int] -> [Int]
10 -- test1 = test
11
12 -- this fails
13 test2 :: ByteString -> ByteString
14 test2 = test