testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T5792.hs
1 {-# LANGUAGE DataKinds, TypeFamilies, UndecidableInstances #-}
2
3 module T5792 where
4
5
6 data T = TT
7 type family Compare (m :: T) :: Ordering
8 type instance Compare TT = Compare TT
9
10 type Compare' a = Compare a