Test Trac #8030
[ghc.git] / testsuite / tests / typecheck / should_fail / T8030.stderr
1
2 T8030.hs:9:3:
3     Couldn't match expected type ‘Pr a’ with actual type ‘Pr a0’
4     NB: ‘Pr’ is a type function, and may not be injective
5     The type variable ‘a0’ is ambiguous
6     In the ambiguity check for the type signature for ‘op1’:
7       op1 :: forall (k :: BOX) (a :: k). C a => Pr a
8     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
9     When checking the class method:
10       op1 :: forall (k :: BOX) (a :: k). C a => Pr a
11     In the class declaration for ‘C’
12
13 T8030.hs:10:3:
14     Couldn't match type ‘Pr a0’ with ‘Pr a’
15     NB: ‘Pr’ is a type function, and may not be injective
16     The type variable ‘a0’ is ambiguous
17     Expected type: Pr a -> Pr a -> Pr a
18       Actual type: Pr a0 -> Pr a0 -> Pr a0
19     In the ambiguity check for the type signature for ‘op2’:
20       op2 :: forall (k :: BOX) (a :: k). C a => Pr a -> Pr a -> Pr a
21     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
22     When checking the class method:
23       op2 :: forall (k :: BOX) (a :: k). C a => Pr a -> Pr a -> Pr a
24     In the class declaration for ‘C’