T13915a.hs\should_compile\typecheck\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/typecheck/should_compile/T13915a.hs

blob: 484c9dedc0b7b53267978ae4d94a7543852edc3d (plain)

{-# LANGUAGE TypeInType #-}
module Bug where

import T13915a_Foo

data Proxy (a :: k)
data S = MkS (Proxy 'MkT)