testsuite/tests/indexed-types/should_fail/SimpleFail2b.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE TypeFamilies #-}

class C a where
  data Sd a :: *
  data Sn a :: *
  type St a :: *

instance C Int where
  data    Sd Int = SdC1 Char	-- must fail: conflicting
  data    Sd Int = SdC2 Char	--            declarations
  newtype Sn Int = SnC Char
  type    St Int = Char