Test Trac #5912

testsuite/tests/polykinds/T5912.hs

+{-# 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
+
+

testsuite/tests/polykinds/all.T

@@ -26,4 +26,4 @@ test('T5770', normal, compile, [''])
 test('T5771', normal, compile, [''])
 test('T5717', normal, compile, [''])
 test('T5862', normal, compile, [''])
-
+test('T5912', normal, compile, [''])