summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T7073.hs
blob: e0c66adb00154452d48b957010527bb9d53c3b9d (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