Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T2688.stderr
1
2 T2688.hs:8:14: error:
3     • Couldn't match expected type ‘v’ with actual type ‘s’
4       ‘s’ is a rigid type variable bound by
5         the class declaration for ‘VectorSpace’ at T2688.hs:5:21
6       ‘v’ is a rigid type variable bound by
7         the class declaration for ‘VectorSpace’ at T2688.hs:5:19
8     • In the expression: v *^ (1 / s)
9       In an equation for ‘^/’: v ^/ s = v *^ (1 / s)
10     • Relevant bindings include
11         s :: s (bound at T2688.hs:8:10)
12         v :: v (bound at T2688.hs:8:5)
13         (^/) :: v -> s -> v (bound at T2688.hs:8:5)