diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5300.stderr | 21 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T8030.stderr | 15 |
2 files changed, 4 insertions, 32 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5300.stderr b/testsuite/tests/typecheck/should_fail/T5300.stderr index 851d017035..7e06b620d2 100644 --- a/testsuite/tests/typecheck/should_fail/T5300.stderr +++ b/testsuite/tests/typecheck/should_fail/T5300.stderr @@ -1,25 +1,10 @@ -T5300.hs:11:7: - Could not deduce (C1 a b c0) - from the context: (Monad m, C1 a b c) - bound by the type signature for: - f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a - at T5300.hs:11:7-50 - The type variable ‘c0’ is ambiguous - In the ambiguity check for the type signature for ‘f1’: - f1 :: forall a b (m :: * -> *) c. - (Monad m, C1 a b c) => - a -> StateT (T b) m a - To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‘f1’: - f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a - -T5300.hs:14:7: +T5300.hs:14:7: error: Could not deduce (C2 a2 b2 c20) from the context: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) bound by the type signature for: - f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) => - a1 -> StateT (T b2) m a2 + f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) => + a1 -> StateT (T b2) m a2 at T5300.hs:14:7-69 The type variable ‘c20’ is ambiguous In the ambiguity check for the type signature for ‘f2’: diff --git a/testsuite/tests/typecheck/should_fail/T8030.stderr b/testsuite/tests/typecheck/should_fail/T8030.stderr index 8dd752ee42..831cf42edd 100644 --- a/testsuite/tests/typecheck/should_fail/T8030.stderr +++ b/testsuite/tests/typecheck/should_fail/T8030.stderr @@ -1,5 +1,5 @@ -T8030.hs:9:3: +T8030.hs:9:3: error: Couldn't match expected type ‘Pr a’ with actual type ‘Pr a0’ NB: ‘Pr’ is a type function, and may not be injective The type variable ‘a0’ is ambiguous @@ -9,16 +9,3 @@ T8030.hs:9:3: When checking the class method: op1 :: forall (k :: BOX) (a :: k). C a => Pr a In the class declaration for ‘C’ - -T8030.hs:10:3: - Couldn't match type ‘Pr a0’ with ‘Pr a’ - NB: ‘Pr’ is a type function, and may not be injective - The type variable ‘a0’ is ambiguous - Expected type: Pr a -> Pr a -> Pr a - Actual type: Pr a0 -> Pr a0 -> Pr a0 - In the ambiguity check for the type signature for ‘op2’: - op2 :: forall (k :: BOX) (a :: k). C a => Pr a -> Pr a -> Pr a - To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - When checking the class method: - op2 :: forall (k :: BOX) (a :: k). C a => Pr a -> Pr a -> Pr a - In the class declaration for ‘C’ |