testsuite/tests/polykinds/T18300.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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

module Foo where

import GHC.Exts
import Data.Kind

type family F a :: RuntimeRep
type instance F Int = 'LiftedRep

data family T a :: TYPE (F a)

data instance T Int where
  MkT :: Int -> T Int

-- ASSERT error in HEAD