blob: 011426fe3b01b2e624699002d3d0fc257d2440fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TypeFamilies #-}
module Simple2a where
class C a where
data Sd a :: *
data Sn a :: *
type St a :: *
instance C Int where
data Sd a :: * -- must fail: parse error
data Sd Int = SdC Char
newtype Sn Int = SnC Char
type St Int = Char
|