diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T8142.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T8142.stderr | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T8142.stderr b/testsuite/tests/typecheck/should_fail/T8142.stderr index 93b2bf4914..9ae86c5524 100644 --- a/testsuite/tests/typecheck/should_fail/T8142.stderr +++ b/testsuite/tests/typecheck/should_fail/T8142.stderr @@ -5,9 +5,10 @@ T8142.hs:6:18: error: The type variable ‘g0’ is ambiguous Expected type: Nu ((,) t) -> Nu g Actual type: Nu ((,) t0) -> Nu g0 - When checking that ‘h’ has the inferred type + In the ambiguity check for the inferred type for ‘h’ + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes + When checking the inferred type h :: forall t (g :: * -> *). Nu ((,) t) -> Nu g - Probable cause: the inferred type is ambiguous In an equation for ‘tracer’: tracer = h |