diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-12 15:09:37 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-13 09:23:53 +0100 |
| commit | 0ae72512255ba66ef89bdfeea65a23ea6eb35124 (patch) | |
| tree | a21ffcb040c1f53cfb8a1f548a8c284208dd623d /testsuite/tests/typecheck | |
| parent | 037c2495d83bb7da7f15c8e076df2c575500d0fd (diff) | |
| download | haskell-0ae72512255ba66ef89bdfeea65a23ea6eb35124.tar.gz | |
Yet more work on TcSimplify.simplifyInfer
The proximate cause for this patch is Trac #13482, which pointed out
further subtle interactions between
- Inferring the most general type of a function
- A partial type signature for that function
That led me into /further/ changes to the shiny new stuff in
TcSimplify.simplifyInfer, decideQuantification, decideMonoTyVars,
and related functions.
Happily, I was able to make some of it quite a bit simpler,
notably the bit about promoting free tyvars. I'm happy with
the result.
Moreover I fixed Trac #13524 at the same time. Happy days.
Diffstat (limited to 'testsuite/tests/typecheck')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index c41da18d07..9d9e10290f 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -551,7 +551,7 @@ test('T13343', normal, compile, ['']) test('T13458', normal, compile, ['']) test('T13490', normal, compile, ['']) test('T13474', normal, compile, ['']) -test('T13524', expect_broken(13524), compile, ['']) +test('T13524', normal, compile, ['']) test('T13509', normal, compile, ['']) test('T13526', normal, compile, ['']) |