testsuite: Add another testcase for #11821

6c54fa51 · Ben Gamari · c2a2911f · 6c54fa51 · 6c54fa51
Commit 6c54fa51 authored Nov 30, 2016 by Ben Gamari 🐢
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

testsuite/tests/polykinds/T11821a.hs testsuite/tests/polykinds/T11821a.hs +4 -0

testsuite/tests/polykinds/all.T testsuite/tests/polykinds/all.T +1 -0

No files found.
--- a/testsuite/tests/polykinds/T11821a.hs
+++ b/testsuite/tests/polykinds/T11821a.hs
+{-# LANGUAGE GADTs, TypeInType, ConstraintKinds #-}
+module T11821a where
+import Data.Proxy
+type SameKind (a :: k1) (b :: k2) = ('Proxy :: Proxy k1) ~ ('Proxy :: Proxy k2)
--- a/testsuite/tests/polykinds/all.T
+++ b/testsuite/tests/polykinds/all.T
@@ -147,6 +147,7 @@ test('T11648', normal, compile, [''])
 test('T11648b', normal, compile_fail, [''])
 test('KindVType', normal, compile_fail, [''])
 test('T11821', normal, compile, [''])
+test('T11821a', normal, compile, [''])
 test('T11640', normal, compile, [''])
 test('T11554', normal, compile_fail, [''])
 test('T12055', normal, compile, [''])