diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-08-18 14:28:18 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-08-18 17:58:19 -0400 |
| commit | 4a10f0ff487c6effee125bedca095a80f68045b7 (patch) | |
| tree | 54f50dbe6c2419b410d39037cb28240ca1f13e97 /testsuite/tests/typecheck/should_fail/all.T | |
| parent | d9cf2ec8207e6c159815b22f1ed8dbdc08a2342d (diff) | |
| download | haskell-4a10f0ff487c6effee125bedca095a80f68045b7.tar.gz | |
Don't look for TypeError in type family arguments
Changes checkUserTypeError to no longer look for custom type errors
inside type family arguments.
This means that a program such as
foo :: F xyz (TypeError (Text "blah")) -> bar
does not throw a type error at definition site.
This means that more programs can be accepted, as the custom type error
might disappear upon reducing the above type family F.
This applies only to user-written type signatures, which are checked
within checkValidType. Custom type errors in type family arguments
continue to be reported when they occur in unsolved Wanted constraints.
Fixes #20241
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/all.T')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index b573f9b7f6..155500ab9f 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -633,4 +633,5 @@ test('T19615', normal, compile_fail, ['']) test('T17817', normal, compile_fail, ['']) test('T17817_elab', normal, compile_fail, ['-fprint-typechecker-elaboration']) test('T19978', normal, compile_fail, ['']) -test('T20122', normal, compile_fail, [''])
\ No newline at end of file +test('T20122', normal, compile_fail, ['']) +test('T20241b', normal, compile_fail, ['']) |