Test Trac #7916

ghc · May 22, 2013 · 91d5c4d · 91d5c4d
1 parent a4d191e
commit 91d5c4d
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/tests/polykinds/T7916.hs b/tests/polykinds/T7916.hs
@@ -0,0 +1,9 @@
+{-# LANGUAGE PolyKinds, ExplicitForAll #-}
+module T7916 where
+
+
+f :: forall (m :: k -> *) (a :: k). m a -> m a
+f = id
+
+-- g :: forall (m :: k -> *) (a :: k). m a -> m a
+g x = f x
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
@@ -86,3 +86,4 @@ test('T7594', normal, compile_fail,[''])
 test('T7524', normal, compile_fail,[''])
 test('T7601', normal, compile,[''])
 test('T7805', normal, compile_fail,[''])
+test('T7916', normal, compile,[''])