blob: 6ee894487d0146294029ff145f40709cb07e6d81 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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
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)
In the second argument of ‛(/)’, namely ‛s’
In the second argument of ‛(*^)’, namely ‛(1 / s)’
|