diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-03-24 12:52:29 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-03-24 12:58:08 +0000 |
commit | 8eaa70a6b973f2a76f51a0d073a953fe696ddda1 (patch) | |
tree | ba0b0a60559f6dc61cb8b7db8ac1f91be352383f /testsuite/tests/partial-sigs/should_fail | |
parent | 6cf0c7962c582eefb84cdf2735504d034fb16314 (diff) | |
download | haskell-8eaa70a6b973f2a76f51a0d073a953fe696ddda1.tar.gz |
Improve environment handling in TcBinds
This is a minor refactoring, but it simplifies the code quite a bit
* Decrease the number of variants of tcExtend in TcEnv
* Remove "not_actually_free" from TcEnv.tc_extend_local_env2
* Simplify plumbingof the "closed" flag
* Remove redundant scoping of wild-card variables
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail')
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr b/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr index 8692475e54..560fe792db 100644 --- a/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr +++ b/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr @@ -1,6 +1,6 @@ Defaulting1MROff.hs:6:1: No instance for (Num w_) - When checking that ‘alpha’ has the specified type + When checking that ‘alpha’ has the inferred type alpha :: forall w_. w_ Probable cause: the inferred type is ambiguous diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr index f0549a5257..43d559cbf6 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr @@ -1,6 +1,6 @@ ExtraConstraintsWildcardNotPresent.hs:6:1: No instance for (Show a) - When checking that ‘show'’ has the specified type + When checking that ‘show'’ has the inferred type show' :: forall a. a -> String Probable cause: the inferred type is ambiguous diff --git a/testsuite/tests/partial-sigs/should_fail/Trac10045.stderr b/testsuite/tests/partial-sigs/should_fail/Trac10045.stderr index 8c8e42f704..76c088ffd4 100644 --- a/testsuite/tests/partial-sigs/should_fail/Trac10045.stderr +++ b/testsuite/tests/partial-sigs/should_fail/Trac10045.stderr @@ -29,7 +29,7 @@ Trac10045.hs:6:17: Trac10045.hs:7:9: No instance for (Num a) - When checking that ‘copy’ has the specified type + When checking that ‘copy’ has the inferred type copy :: forall t t1 a. t -> a -> t1 Probable cause: the inferred type is ambiguous In the expression: |