Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/219647b0948407356d199f34d6f0e31891409bb7 >--------------------------------------------------------------- commit 219647b0948407356d199f34d6f0e31891409bb7 Author: Simon Peyton Jones <[email protected]> Date: Wed May 15 10:37:58 2013 +0100 Test Trac #7892 >--------------------------------------------------------------- tests/typecheck/should_fail/T7892.hs | 7 +++++++ tests/typecheck/should_fail/T7892.stderr | 2 ++ tests/typecheck/should_fail/all.T | 1 + 3 files changed, 10 insertions(+), 0 deletions(-) diff --git a/tests/typecheck/should_fail/T7892.hs b/tests/typecheck/should_fail/T7892.hs new file mode 100644 index 0000000..7662a2b --- /dev/null +++ b/tests/typecheck/should_fail/T7892.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE TypeFamilies #-} +module T7892 where + +class C (f :: * -> *) where + type F (f :: *) :: * + + diff --git a/tests/typecheck/should_fail/T7892.stderr b/tests/typecheck/should_fail/T7892.stderr new file mode 100644 index 0000000..eec7bd7 --- /dev/null +++ b/tests/typecheck/should_fail/T7892.stderr @@ -0,0 +1,2 @@ + +T7892.hs:5:4: Couldn't match kind â*â against â* -> *â diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T index 3c0ad61..4ec8410 100644 --- a/tests/typecheck/should_fail/all.T +++ b/tests/typecheck/should_fail/all.T @@ -308,3 +308,4 @@ test('T7778', normal, compile_fail, ['']) test('T7851', normal, compile_fail, ['']) test('T7856', normal, compile_fail, ['']) test('T7869', normal, compile_fail, ['']) +test('T7892', normal, compile_fail, [''])
_______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
