aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/Bug466.hs
blob: 697f0f75260998853d680ae8ca4e58993f0fdc19 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
                            







                                                    
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE DataKinds, TypeFamilies, StarIsType #-}
module Bug466 where

class Cl a where
  type Fam a :: [*]

data X = X
instance Cl X where
  type Fam X = '[Char]