1e430d513b2f7dd159a49555dd9296d931154b72
[ghc.git] / testsuite / tests / indexed-types / should_compile / Simple14.stderr
1
2 Simple14.hs:8:8:
3     Couldn't match type ‘z0’ with ‘z’
4       ‘z0’ is untouchable
5         inside the constraints (x ~ y)
6         bound by the type signature for eqE :: (x ~ y) => EQ_ z0 z0
7         at Simple14.hs:8:8-39
8       ‘z’ is a rigid type variable bound by
9           the type signature for eqE :: EQ_ x y -> ((x ~ y) => EQ_ z z) -> p
10           at Simple14.hs:8:8
11     Expected type: EQ_ z0 z0
12       Actual type: EQ_ z z
13     In the ambiguity check for the type signature for ‘eqE’:
14       eqE :: forall x y z p. EQ_ x y -> ((x ~ y) => EQ_ z z) -> p
15     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
16     In the type signature for ‘eqE’:
17       eqE :: EQ_ x y -> (x ~ y => EQ_ z z) -> p