Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/254605de0b64016e6b8abb202b2391e78f319ecd >--------------------------------------------------------------- commit 254605de0b64016e6b8abb202b2391e78f319ecd Author: Simon Peyton Jones <[email protected]> Date: Mon May 27 17:32:07 2013 +0100 Test Trac #7939 >--------------------------------------------------------------- tests/ghci/scripts/T7939.hs | 8 ++++++++ tests/ghci/scripts/T7939.script | 3 +++ tests/ghci/scripts/T7939.stdout | 4 ++++ tests/ghci/scripts/all.T | 1 + 4 files changed, 16 insertions(+), 0 deletions(-) diff --git a/tests/ghci/scripts/T7939.hs b/tests/ghci/scripts/T7939.hs new file mode 100644 index 0000000..ead42d9 --- /dev/null +++ b/tests/ghci/scripts/T7939.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE TypeFamilies, PolyKinds #-} + +module T7939 where + +class Foo a where + type Bar a + + diff --git a/tests/ghci/scripts/T7939.script b/tests/ghci/scripts/T7939.script new file mode 100644 index 0000000..03470e8 --- /dev/null +++ b/tests/ghci/scripts/T7939.script @@ -0,0 +1,3 @@ +:l T7939 +:i Bar +:k Bar diff --git a/tests/ghci/scripts/T7939.stdout b/tests/ghci/scripts/T7939.stdout new file mode 100644 index 0000000..c62de9b --- /dev/null +++ b/tests/ghci/scripts/T7939.stdout @@ -0,0 +1,4 @@ +class Foo (k :: BOX) (a :: k) where + type family Bar (k :: BOX) (k :: BOX) (a :: k) :: k + -- Defined at T7939.hs:6:9 +Bar :: k1 -> k diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T index afe46a1..cf8c82b 100755 --- a/tests/ghci/scripts/all.T +++ b/tests/ghci/scripts/all.T @@ -149,4 +149,5 @@ test('T7586', normal, ghci_script, ['T7586.script']) test('T4175', normal, ghci_script, ['T4175.script']) test('T7872', normal, ghci_script, ['T7872.script']) test('T7873', normal, ghci_script, ['T7873.script']) +test('T7939', normal, ghci_script, ['T7939.script']) _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
