diff options
Diffstat (limited to 'testsuite/tests/saks')
| -rw-r--r-- | testsuite/tests/saks/should_compile/all.T | 1 | ||||
| -rw-r--r-- | testsuite/tests/saks/should_fail/T16758.hs (renamed from testsuite/tests/saks/should_compile/T16758.hs) | 0 | ||||
| -rw-r--r-- | testsuite/tests/saks/should_fail/T16758.stderr | 8 | ||||
| -rw-r--r-- | testsuite/tests/saks/should_fail/all.T | 1 |
4 files changed, 9 insertions, 1 deletions
diff --git a/testsuite/tests/saks/should_compile/all.T b/testsuite/tests/saks/should_compile/all.T index 73f608c6dd..d1fc603a73 100644 --- a/testsuite/tests/saks/should_compile/all.T +++ b/testsuite/tests/saks/should_compile/all.T @@ -34,7 +34,6 @@ test('T16723', normal, compile, ['']) test('T16724', extra_files(['T16724.hs']), ghci_script, ['T16724.script']) test('T16726', normal, compile, ['']) test('T16731', normal, compile, ['']) -test('T16758', expect_broken(16758), compile, ['']) test('T16721', normal, ghci_script, ['T16721.script']) test('T16756a', normal, compile, ['']) diff --git a/testsuite/tests/saks/should_compile/T16758.hs b/testsuite/tests/saks/should_fail/T16758.hs index 2798156f3c..2798156f3c 100644 --- a/testsuite/tests/saks/should_compile/T16758.hs +++ b/testsuite/tests/saks/should_fail/T16758.hs diff --git a/testsuite/tests/saks/should_fail/T16758.stderr b/testsuite/tests/saks/should_fail/T16758.stderr new file mode 100644 index 0000000000..f74241a706 --- /dev/null +++ b/testsuite/tests/saks/should_fail/T16758.stderr @@ -0,0 +1,8 @@ + +T16758.hs:14:8: error: + • Couldn't match expected kind ‘Int’ with actual kind ‘a’ + ‘a’ is a rigid type variable bound by + the class declaration for ‘C’ + at T16758.hs:12:19 + • In the type signature: f :: C a => a -> Int + In the class declaration for ‘C’ diff --git a/testsuite/tests/saks/should_fail/all.T b/testsuite/tests/saks/should_fail/all.T index 82ae24181c..d2722fb9c4 100644 --- a/testsuite/tests/saks/should_fail/all.T +++ b/testsuite/tests/saks/should_fail/all.T @@ -30,3 +30,4 @@ test('T16727b', normal, compile_fail, ['']) test('T16725', normal, compile_fail, ['']) test('T16826', normal, compile_fail, ['']) test('T16756b', normal, compile_fail, ['']) +test('T16758', normal, compile_fail, ['']) |