diff options
author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-04-02 15:32:04 -0400 |
---|---|---|
committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-04-02 17:24:29 -0400 |
commit | d8d4266bf73790f65b223ec16f645763eaed8be3 (patch) | |
tree | d43a1607c057f2d56b862ced3ca4f0012d0f4986 /testsuite/tests/dependent/should_compile/all.T | |
parent | ddf895577173106646cfc6f6d21be3d5651067bc (diff) | |
download | haskell-d8d4266bf73790f65b223ec16f645763eaed8be3.tar.gz |
Fix #14991.
It turns out that solveEqualities really does need to use simpl_top.
I thought that solveWanteds would be enough, and no existing test
case showed up the different. #14991 shows that we need simpl_top.
Easy enough to fix.
test case: dependent/should_compile/T14991
Diffstat (limited to 'testsuite/tests/dependent/should_compile/all.T')
-rw-r--r-- | testsuite/tests/dependent/should_compile/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_compile/all.T b/testsuite/tests/dependent/should_compile/all.T index 070e1203f8..701e187b36 100644 --- a/testsuite/tests/dependent/should_compile/all.T +++ b/testsuite/tests/dependent/should_compile/all.T @@ -34,3 +34,4 @@ test('T14556', normal, compile, ['']) test('T14720', normal, compile, ['']) test('T14066a', normal, compile, ['']) test('T14749', normal, compile, ['']) +test('T14991', normal, compile, ['']) |