Revert "rts: Drop redundant flags for libffi"
[ghc.git] / testsuite / tests / typecheck / should_fail / T8034.stderr
1
2 T8034.hs:6:3: error:
3     • Couldn't match type ‘F a0’ with ‘F a’
4       Expected type: F a -> F a
5         Actual type: F a0 -> F a0
6       NB: ‘F’ is a non-injective type family
7       The type variable ‘a0’ is ambiguous
8     • In the ambiguity check for ‘foo’
9       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
10       When checking the class method: foo :: forall a. C a => F a -> F a
11       In the class declaration for ‘C’