testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T13248.hs
1 {-# LANGUAGE TypeFamilies, TypeFamilyDependencies, UndecidableInstances #-}
2
3 type family Foo a = r | r -> a where
4 Foo Int = Char
5 Foo Integer = String
6
7 type family Bar a = r | r -> a where
8 Bar Char = Double
9 Bar String = Float
10
11 type family Baz a = r | r -> a where
12 Baz x = Bar (Foo x)