diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-03-15 13:49:42 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-16 02:29:42 -0400 |
| commit | bb779b90bb093274ccf7a8e5b19f6661f4925bde (patch) | |
| tree | 98c5621e4629bf730f6520fee83e1cf98bd70cf7 /testsuite/tests/typecheck/should_fail/all.T | |
| parent | 1575c4a5d9611a7299c33d3fd98f52ddeff84c80 (diff) | |
| download | haskell-bb779b90bb093274ccf7a8e5b19f6661f4925bde.tar.gz | |
Add a regression test for #21130
This problem was due to a bug in cloneWanted, which was incorrectly
creating a coercion hole to hold an evidence variable.
This bug was introduced by 8bb52d91 and fixed in 81740ce8.
Fixes #21130
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 2febea800d..a8a4e4d3b5 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -650,3 +650,4 @@ test('T18398', normal, compile_fail, ['']) test('T18406', normal, compile_fail, ['']) test('AmbigFDs', normal, compile_fail, ['']) test('T20064', normal, compile_fail, ['']) +test('T21130', normal, compile_fail, ['']) |