testsuite/tests/polykinds/T5912.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE DataKinds #-}

-- This bug related to type trimming, and
-- hence showed up only with -O0

module Bug() where

data UnaryTypeC a = UnaryDataC a

type Bug = 'UnaryDataC