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

T2688.hs:8:22: error:
    • Couldn't match expected type ‘v’ with actual type ‘s’
      ‘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)
    • Relevant bindings include
        s :: s (bound at T2688.hs:8:10)
        v :: v (bound at T2688.hs:8:5)
        (^/) :: v -> s -> v (bound at T2688.hs:8:5)