diff options
Diffstat (limited to 'testsuite/tests/dependent')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T12174.hs (renamed from testsuite/tests/dependent/should_fail/T12174.hs) | 0 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_compile/all.T | 1 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T12081.stderr | 3 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T12174.stderr | 7 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_fail/all.T | 1 |
5 files changed, 2 insertions, 10 deletions
diff --git a/testsuite/tests/dependent/should_fail/T12174.hs b/testsuite/tests/dependent/should_compile/T12174.hs index 800759d690..800759d690 100644 --- a/testsuite/tests/dependent/should_fail/T12174.hs +++ b/testsuite/tests/dependent/should_compile/T12174.hs diff --git a/testsuite/tests/dependent/should_compile/all.T b/testsuite/tests/dependent/should_compile/all.T index b89c1279cc..cf5c76d380 100644 --- a/testsuite/tests/dependent/should_compile/all.T +++ b/testsuite/tests/dependent/should_compile/all.T @@ -67,3 +67,4 @@ test('T16391a', normal, compile, ['']) test('T16344b', normal, compile, ['']) test('T16347', normal, compile, ['']) test('T18660', normal, compile, ['']) +test('T12174', normal, compile, ['']) diff --git a/testsuite/tests/dependent/should_fail/T12081.stderr b/testsuite/tests/dependent/should_fail/T12081.stderr index 77d5a40353..e8f25ba354 100644 --- a/testsuite/tests/dependent/should_fail/T12081.stderr +++ b/testsuite/tests/dependent/should_fail/T12081.stderr @@ -1,7 +1,6 @@ T12081.hs:9:14: error: - • Type constructor ‘T’ cannot be used here - (it is defined and used in the same recursive group) + • Expected a type, but ‘T n’ has kind ‘Nat’ • In the kind ‘T n’ In the type signature: f :: (a :: T n) In the class declaration for ‘C’ diff --git a/testsuite/tests/dependent/should_fail/T12174.stderr b/testsuite/tests/dependent/should_fail/T12174.stderr deleted file mode 100644 index 868046137c..0000000000 --- a/testsuite/tests/dependent/should_fail/T12174.stderr +++ /dev/null @@ -1,7 +0,0 @@ - -T12174.hs:9:23: error: - • Type constructor ‘T’ cannot be used here - (it is defined and used in the same recursive group) - • In the kind ‘T’ - In the definition of data constructor ‘MkS’ - In the data declaration for ‘S’ diff --git a/testsuite/tests/dependent/should_fail/all.T b/testsuite/tests/dependent/should_fail/all.T index 38c7f45d55..af95d1b333 100644 --- a/testsuite/tests/dependent/should_fail/all.T +++ b/testsuite/tests/dependent/should_fail/all.T @@ -13,7 +13,6 @@ test('T11407', normal, compile_fail, ['']) test('T11334b', normal, compile_fail, ['']) test('T11473', normal, compile_fail, ['']) test('T11471', normal, compile_fail, ['']) -test('T12174', normal, compile_fail, ['']) test('T12081', normal, compile_fail, ['']) test('T13135', normal, compile_fail, ['']) test('T13601', normal, compile_fail, ['']) |