diff options
author | Finley McIlwaine <finleymcilwaine@gmail.com> | 2022-10-05 09:09:32 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-10-13 06:00:17 -0400 |
commit | eda6c05e65144b35de62c33d0fd5d35a417233ac (patch) | |
tree | c8b4b4277240f152a8189e592d9d6923cf3952aa /testsuite/tests/typecheck/should_fail/all.T | |
parent | beebf546c9ea818c9d5a61688bfee8f3b7dbeb9f (diff) | |
download | haskell-eda6c05e65144b35de62c33d0fd5d35a417233ac.tar.gz |
Clearer error msg for newtype GADTs with defaulted kind
When a newtype introduces GADT eq_specs due to a defaulted
RuntimeRep, we detect this and print the error message with
explicit kinds.
This also refactors newtype type checking to use the new
diagnostic infra.
Fixes #21447
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/all.T')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index 51d73be7ed..efad13aacd 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -659,3 +659,4 @@ test('T21338', normal, compile_fail, ['']) test('T21158', normal, compile_fail, ['']) test('T21583', normal, compile_fail, ['']) test('MissingDefaultMethodBinding', normal, compile_fail, ['']) +test('T21447', normal, compile_fail, ['']) |