Test #9318 in typecheck/should_fail/T9318
[ghc.git] / testsuite / tests / typecheck / should_fail / T9318.hs
1 {-# LANGUAGE TypeFamilies #-}
2
3 module T9318 where
4
5 type family F x
6 type instance F Int = Bool
7
8 foo :: F Int -> ()
9 foo True = ()
10
11 bar :: F Int -> ()
12 bar 'x' = ()