testsuite/tests/ghci/scripts/T15546.stdout


1
2
3
4
5
6
7
8
9
10
11

type E :: * -> * -> *
type family E a b where
    E a a = ()
    E a b = Bool
  	-- Defined at <interactive>:3:1
type E :: * -> * -> *
type family E a b where
  {- #0 -} E a a = ()
  {- #1 -} E a b = Bool
      -- incompatible with: #0
  	-- Defined at <interactive>:3:1