Tons of error message wibbles
[ghc.git] / testsuite / tests / indexed-types / should_fail / T1900.stderr
1
2 T1900.hs:11:12:
3     No instance for (Num ()) arising from a use of `+'
4     In the expression: (+ 1)
5     In an equation for `trans': trans = (+ 1)
6     In the instance declaration for `Bug Int'
7
8 T1900.hs:14:16:
9     Could not deduce (Depend s0 ~ Depend s)
10     from the context (Bug s)
11       bound by the type signature for check :: Bug s => Depend s -> Bool
12       at T1900.hs:13:10-36
13     NB: `Depend' is a type function, and may not be injective
14     The type variable `s0' is ambiguous
15     Possible fix: add a type signature that fixes these type variable(s)
16     Relevant bindings include
17       check :: Depend s -> Bool (bound at T1900.hs:14:1)
18       d :: Depend s (bound at T1900.hs:14:7)
19     In the return type of a call of `trans'
20     In the second argument of `(==)', namely `trans d'
21     In the expression: d == trans d