diff options
| author | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2013-09-04 10:08:22 +0200 |
|---|---|---|
| committer | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2013-09-04 17:29:18 +0200 |
| commit | 16f468f2222eebf852c04f9675b76e5b0c06b6ec (patch) | |
| tree | 409c53c25b4f524964b58f5896e278c899870d0a /testsuite | |
| parent | 391e99ddbc6037ccafa48844ffb90f88d59ce050 (diff) | |
| download | haskell-16f468f2222eebf852c04f9675b76e5b0c06b6ec.tar.gz | |
Add test for #8132
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/polykinds/T8132.hs | 6 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T8132.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/all.T | 3 |
3 files changed, 12 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T8132.hs b/testsuite/tests/polykinds/T8132.hs new file mode 100644 index 0000000000..3e58478a0d --- /dev/null +++ b/testsuite/tests/polykinds/T8132.hs @@ -0,0 +1,6 @@ + +import Data.Typeable + +data K = K + +instance Typeable K where typeRep _ = undefined diff --git a/testsuite/tests/polykinds/T8132.stderr b/testsuite/tests/polykinds/T8132.stderr new file mode 100644 index 0000000000..8cb76ece5c --- /dev/null +++ b/testsuite/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/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index c69453c5d9..24b0fefcda 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -88,4 +88,5 @@ test('T7601', normal, compile,['']) test('T7805', normal, compile_fail,['']) test('T7916', normal, compile,['']) test('T7973', normal, compile,['-O']) -test('T7939a', normal, compile_fail, [''])
\ No newline at end of file +test('T7939a', normal, compile_fail, ['']) +test('T8132', normal, compile_fail, [''])
\ No newline at end of file |