T7404.hs\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/T7404.hs

blob: e16c7d2c6a6d5f5f42c7d2b14f100cbe8a4e12d6 (plain)

{-# LANGUAGE TypeFamilies, PolyKinds, ScopedTypeVariables #-}
module T7404 where

type family Foo (x :: *) (y :: x)