diff options
Diffstat (limited to 'testsuite/tests/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/T11833.hs | 9 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_compile/all.T | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_compile/T11833.hs b/testsuite/tests/deriving/should_compile/T11833.hs new file mode 100644 index 0000000000..75d2a2d255 --- /dev/null +++ b/testsuite/tests/deriving/should_compile/T11833.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE GeneralizedNewtypeDeriving #-} +{-# LANGUAGE PolyKinds #-} +module T11833 where + +class Category (cat :: k -> k -> *) where + catId :: cat a a + catComp :: cat b c -> cat a b -> cat a c + +newtype T (c :: * -> * -> *) a b = MkT (c a b) deriving Category diff --git a/testsuite/tests/deriving/should_compile/all.T b/testsuite/tests/deriving/should_compile/all.T index cfbb977abe..07242ec694 100644 --- a/testsuite/tests/deriving/should_compile/all.T +++ b/testsuite/tests/deriving/should_compile/all.T @@ -69,3 +69,4 @@ test('T11357', normal, compile, ['']) test('T11732a', normal, compile, ['']) test('T11732b', normal, compile, ['']) test('T11732c', normal, compile, ['']) +test('T11833', normal, compile, ['']) |