Repository : ssh://[email protected]/testsuite On branch : master Link : http://ghc.haskell.org/trac/ghc/changeset/7c73a9ff4ad3a7384e0034f13f18a26b3ae4a2a8/testsuite
>--------------------------------------------------------------- commit 7c73a9ff4ad3a7384e0034f13f18a26b3ae4a2a8 Author: Jose Pedro Magalhaes <[email protected]> Date: Wed Sep 4 10:08:22 2013 +0200 Add test for #8132 >--------------------------------------------------------------- 7c73a9ff4ad3a7384e0034f13f18a26b3ae4a2a8 tests/polykinds/T8132.hs | 6 ++++++ tests/polykinds/T8132.stderr | 4 ++++ tests/polykinds/all.T | 1 + 3 files changed, 11 insertions(+) diff --git a/tests/polykinds/T8132.hs b/tests/polykinds/T8132.hs new file mode 100644 index 0000000..3e58478 --- /dev/null +++ b/tests/polykinds/T8132.hs @@ -0,0 +1,6 @@ + +import Data.Typeable + +data K = K + +instance Typeable K where typeRep _ = undefined diff --git a/tests/polykinds/T8132.stderr b/tests/polykinds/T8132.stderr new file mode 100644 index 0000000..8cb76ec --- /dev/null +++ b/tests/polykinds/T8132.stderr @@ -0,0 +1,4 @@ + +T8132.hs:1:1: + Typeable instances can only be derived; replace the following instance: + instance Typeable * K -- Defined at T8132.hs:6:10 diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index c69453c..24b0fef 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -89,3 +89,4 @@ test('T7805', normal, compile_fail,['']) test('T7916', normal, compile,['']) test('T7973', normal, compile,['-O']) test('T7939a', normal, compile_fail, ['']) +test('T8132', normal, compile_fail, ['']) \ No newline at end of file _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
