Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/91d5c4d4059e2aca9ad717ff8bd4c8f221ff24f8 >--------------------------------------------------------------- commit 91d5c4d4059e2aca9ad717ff8bd4c8f221ff24f8 Author: Simon Peyton Jones <[email protected]> Date: Wed May 22 17:44:47 2013 +0100 Test Trac #7916 >--------------------------------------------------------------- tests/polykinds/T7916.hs | 9 +++++++++ tests/polykinds/all.T | 1 + 2 files changed, 10 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T7916.hs b/tests/polykinds/T7916.hs new file mode 100644 index 0000000..b9efa89 --- /dev/null +++ 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 index 972d4a7..00007b1 100644 --- 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,['']) _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
