Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/1a3766b006f69913d73777e90c4ed2b8893a990e >--------------------------------------------------------------- commit 1a3766b006f69913d73777e90c4ed2b8893a990e Author: Simon Peyton Jones <[email protected]> Date: Fri May 24 11:12:38 2013 +0100 Improve test T7916 >--------------------------------------------------------------- tests/polykinds/T7916.hs | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T7916.hs b/tests/polykinds/T7916.hs index b9efa89..c9368e7 100644 --- a/tests/polykinds/T7916.hs +++ b/tests/polykinds/T7916.hs @@ -7,3 +7,9 @@ f = id -- g :: forall (m :: k -> *) (a :: k). m a -> m a g x = f x + +data M f = M (f Int) + +-- Test that g :: forall (m :: k -> *) (a :: k). m a -> m a +g1 = g :: [Int] -> [Int] +g2 = g :: M [] -> M [] _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
