diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-05-18 10:36:49 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-05-18 16:43:49 -0700 |
| commit | 6282bc31808e335cd8386dd20d469bc2457f84de (patch) | |
| tree | e719c05fed4ea0aa9bab174c25571fe34687c597 /testsuite/tests/overloadedrecflds | |
| parent | f18e8d8db6246340c8840bd0ca2c43767009f14c (diff) | |
| download | haskell-6282bc31808e335cd8386dd20d469bc2457f84de.tar.gz | |
Kill varSetElems in tidyFreeTyCoVars
I haven't observed this to have an effect on nondeterminism,
but tidyOccName appears to modify the TidyOccEnv in a
way dependent on the order of inputs.
It's easy enough to change it to be deterministic to be on the
safe side.
Test Plan: ./validate
Reviewers: simonmar, austin, bgamari, simonpj
Reviewed By: simonpj
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2238
GHC Trac Issues: #4012
Diffstat (limited to 'testsuite/tests/overloadedrecflds')
| -rw-r--r-- | testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr index b9d3bba31b..f938d03169 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr @@ -1,31 +1,31 @@ overloadedlabelsfail01.hs:6:5: error: - No instance for (IsLabel "x" t2) - arising from the overloaded label ‘#x’ - In the expression: #x - In an equation for ‘a’: a = #x + • No instance for (IsLabel "x" t2) + arising from the overloaded label ‘#x’ + • In the expression: #x + In an equation for ‘a’: a = #x overloadedlabelsfail01.hs:9:5: error: - No instance for (IsLabel "x" (t0 -> t1)) - arising from the overloaded label ‘#x’ - (maybe you haven't applied a function to enough arguments?) - In the expression: #x - In the expression: #x #y - In an equation for ‘b’: b = #x #y + • No instance for (IsLabel "x" (t1 -> t0)) + arising from the overloaded label ‘#x’ + (maybe you haven't applied a function to enough arguments?) + • In the expression: #x + In the expression: #x #y + In an equation for ‘b’: b = #x #y overloadedlabelsfail01.hs:9:8: error: - No instance for (IsLabel "y" t0) - arising from the overloaded label ‘#y’ - In the first argument of ‘#x’, namely ‘#y’ - In the expression: #x #y - In an equation for ‘b’: b = #x #y + • No instance for (IsLabel "y" t1) + arising from the overloaded label ‘#y’ + • In the first argument of ‘#x’, namely ‘#y’ + In the expression: #x #y + In an equation for ‘b’: b = #x #y overloadedlabelsfail01.hs:13:5: error: - Could not deduce (IsLabel "y" t) - arising from the overloaded label ‘#y’ - from the context: IsLabel "x" t - bound by the type signature for: - c :: IsLabel "x" t => t - at overloadedlabelsfail01.hs:12:1-23 - In the expression: #y - In an equation for ‘c’: c = #y + • Could not deduce (IsLabel "y" t) + arising from the overloaded label ‘#y’ + from the context: IsLabel "x" t + bound by the type signature for: + c :: IsLabel "x" t => t + at overloadedlabelsfail01.hs:12:1-23 + • In the expression: #y + In an equation for ‘c’: c = #y |