T7272.hs-boot\polykinds\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/polykinds/T7272.hs-boot

blob: cb349510f88ec8cc3e6c6f6621e18a5465d785b9 (plain)

{-# LANGUAGE PolyKinds, RoleAnnotations #-}

module T7272 where

type role C phantom
class C (a :: k)