Test Trac #9222

127c45ea · Simon Peyton Jones · d6ee82b2 · 127c45ea · 127c45ea
Commit 127c45ea authored Jul 01, 2014 by Simon Peyton Jones
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

testsuite/tests/polykinds/T9222.hs testsuite/tests/polykinds/T9222.hs +7 -0

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

No files found.
--- a/testsuite/tests/polykinds/T9222.hs
+++ b/testsuite/tests/polykinds/T9222.hs
+{-# LANGUAGE RankNTypes, GADTs, DataKinds, PolyKinds, TypeOperators, TypeFamilies #-}
+module T9222 where
+
+import Data.Proxy
+
+data Want :: (i,j) -> * where
+  Want :: (a ~ '(b,c) => Proxy b) -> Want a
--- a/testsuite/tests/polykinds/all.T
+++ b/testsuite/tests/polykinds/all.T
@@ -102,3 +102,4 @@ test('T8705', normal, compile, [''])
 test('T8985', normal, compile, [''])
 test('T9106', normal, compile_fail, [''])
 test('T9144', normal, compile_fail, [''])
+test('T9222', normal, compile, [''])