Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T8044.hs
1 {-# LANGUAGE GADTs, TypeFamilies #-}
2
3 module T8044 where
4
5 data X a where
6 XInt :: X Int
7 XBool :: X Bool
8 XChar :: X Char
9
10 type family Frob a where
11 Frob Int = Int
12 Frob x = Char
13
14 frob :: X a -> X (Frob a)
15 frob XInt = XInt
16 frob _ = XChar