testsuite/tests/ghci/scripts/T5417.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TypeFamilies #-}
module T5417 where
  import qualified T5417a as C

  data B1 a = B1 a

  instance C.C1 (B1 a) where
    data F (B1 a) = B2 a

  data family D a