blob: b117f02f9f30fa85abd9deb5b469fe91a5d9af0c (
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)’
|