diff options
| author | Artyom Kuznetsov <hi@wzrd.ht> | 2020-09-17 22:39:46 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-19 15:52:21 -0400 |
| commit | 760307cf5511d970dfddf7fa4b502b4e3394b197 (patch) | |
| tree | 590f7190e5bae306aa60893324cada2eddd51296 /testsuite/tests/dependent | |
| parent | b26cd86795d86850bfa97aa020d0a46b8ac043da (diff) | |
| download | haskell-760307cf5511d970dfddf7fa4b502b4e3394b197.tar.gz | |
Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)
Reverts 430f5c84dac1eab550110d543831a70516b5cac8
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, ['']) |