testsuite/tests/dependent/should_compile/DkNameRes.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TypeFamilies, DataKinds, PolyKinds #-}

module DkNameRes where

import Data.Proxy
import Data.Kind

type family IfK (e :: Proxy (j :: Bool)) :: Type where
   IfK (_ :: Proxy True) = ()