testsuite/tests/ghci/scripts/T5417.stdout


1
2
3
4
5
6
7
8
9
10

data B1 a = B1 a
type role T5417.R:FB1 nominal
data instance C.F (B1 a) = B2 a
type role D nominal
data family D a
class C.C1 a where
  type role C.F nominal
  data family C.F a
  	-- Defined at T5417a.hs:5:5
data C.F (B1 a) -- Defined at T5417.hs:8:10