summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T7073.hs
blob: e406bcac8cc7b8a5da879cc2bd30d3eb064463bc (plain)
1
2
3
4
5
6
7
8
{-# LANGUAGE PolyKinds, TypeFamilies #-}

module T7073 where

class Foo a where
   type Bar a
   type Bar a = Int