diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12589.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T12589.stderr | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12589.stderr b/testsuite/tests/typecheck/should_fail/T12589.stderr index 5f359090d9..a2587e2778 100644 --- a/testsuite/tests/typecheck/should_fail/T12589.stderr +++ b/testsuite/tests/typecheck/should_fail/T12589.stderr @@ -1,12 +1,2 @@ T12589.hs:13:3: error: Variable not in scope: (&) :: t0 -> t1 -> t - -T12589.hs:13:5: error: - • Couldn't match expected type ‘t1’ - with actual type ‘(forall a. Bounded a => f0 a) -> h0 f0 xs0’ - Cannot instantiate unification variable ‘t1’ - with a type involving polytypes: - (forall a. Bounded a => f0 a) -> h0 f0 xs0 - • In the second argument of ‘(&)’, namely ‘hcpure (Proxy @Bounded)’ - In the expression: minBound & hcpure (Proxy @Bounded) - In an equation for ‘a’: a = minBound & hcpure (Proxy @Bounded) |