diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T2688.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T2688.stderr | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T2688.stderr b/testsuite/tests/typecheck/should_fail/T2688.stderr index aa896569b9..b937de07b1 100644 --- a/testsuite/tests/typecheck/should_fail/T2688.stderr +++ b/testsuite/tests/typecheck/should_fail/T2688.stderr @@ -8,6 +8,10 @@ T2688.hs:8:22: the class declaration for `VectorSpace' at T2688.hs:5:19 `s' is a rigid type variable bound by the class declaration for `VectorSpace' at T2688.hs:5:21 + Relevant bindings include + ^/ :: v -> s -> v (bound at T2688.hs:8:5) + v :: v (bound at T2688.hs:8:5) + s :: s (bound at T2688.hs:8:10) In the second argument of `(/)', namely `s' In the second argument of `(*^)', namely `(1 / s)' In the expression: v *^ (1 / s) |