1000b9a3f1a1c039759271d5dfdc1440627897e7
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4272.stderr
1
2 T4272.hs:15:26:
3     Couldn't match type ‘a’ with ‘TermFamily a a’
4       ‘a’ is a rigid type variable bound by
5           the type signature for laws :: TermLike a => TermFamily a a -> b
6           at T4272.hs:14:16
7     Expected type: TermFamily a (TermFamily a a)
8       Actual type: TermFamily a a
9     Relevant bindings include
10       t :: TermFamily a a (bound at T4272.hs:15:6)
11       laws :: TermFamily a a -> b (bound at T4272.hs:15:1)
12     In the first argument of ‘terms’, namely
13       ‘(undefined :: TermFamily a a)’
14     In the second argument of ‘prune’, namely
15       ‘(terms (undefined :: TermFamily a a))’
16     In the expression: prune t (terms (undefined :: TermFamily a a))