blob: f86ac68d95482b4e1fcc29deded6d7becfe33389 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T8227.hs:17:27: error:
• Couldn't match type ‘Scalar (V a)’
with ‘Scalar (V a) -> Scalar (V a)’
Expected type: Scalar (V a)
Actual type: Scalar (V (Scalar (V a) -> Scalar (V a)))
-> Scalar (V (Scalar (V a) -> Scalar (V a)))
• In the expression: arcLengthToParam eps eps
In an equation for ‘absoluteToParam’:
absoluteToParam eps seg = arcLengthToParam eps eps
• Relevant bindings include
seg :: a (bound at T8227.hs:17:21)
eps :: Scalar (V a) (bound at T8227.hs:17:17)
absoluteToParam :: Scalar (V a) -> a -> Scalar (V a)
(bound at T8227.hs:17:1)
|
