testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T7171a.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE FlexibleInstances #-}
3
4 module T7171a where
5
6 import Data.ByteString as B
7 import Data.Word
8
9 class Foo a b | a -> b
10
11 class (Foo a b) => Bar a b | a -> b
12
13 instance Foo [a] a
14 instance Bar [a] a
15 instance Foo ByteString Word8
16 instance Bar ByteString Word8
17
18 test :: Bar full item => full -> full
19 test inp = inp