summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T2688.stderr
blob: de91620078e55094d9517ef1a6808a71df0f2de3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

T2688.hs:8:22:
    Could not deduce (s ~ v)
    from the context (VectorSpace v s)
      bound by the class declaration for `VectorSpace'
      at T2688.hs:(5,1)-(8,23)
      `s' is a rigid type variable bound by
          the class declaration for `VectorSpace' at T2688.hs:5:21
      `v' is a rigid type variable bound by
          the class declaration for `VectorSpace' at T2688.hs:5:19
    In the second argument of `(/)', namely `s'
    In the second argument of `(*^)', namely `(1 / s)'
    In the expression: v *^ (1 / s)