7c98377ed737884d459c45f898297025aad268c0
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4272.stderr
1
2 T4272.hs:15:26:
3     Could not deduce (a ~ TermFamily a a)
4     from the context (TermLike a)
5       bound by the type signature for
6                  laws :: TermLike a => TermFamily a a -> b
7       at T4272.hs:14:9-53
8       ‘a’ is a rigid type variable bound by
9           the type signature for laws :: TermLike a => TermFamily a a -> b
10           at T4272.hs:14:16
11     Expected type: TermFamily a (TermFamily a a)
12       Actual type: TermFamily a a
13     Relevant bindings include
14       t :: TermFamily a a (bound at T4272.hs:15:6)
15       laws :: TermFamily a a -> b (bound at T4272.hs:15:1)
16     In the first argument of ‘terms’, namely
17       ‘(undefined :: TermFamily a a)’
18     In the second argument of ‘prune’, namely
19       ‘(terms (undefined :: TermFamily a a))’
20     In the expression: prune t (terms (undefined :: TermFamily a a))