Two improved error messages
[ghc.git] / testsuite / tests / indexed-types / should_fail / T8227.stderr
1
2 T8227.hs:16:44:
3     Couldn't match type ‘Scalar (V a)’
4                   with ‘Scalar (V a) -> Scalar (V a)’
5     Expected type: Scalar (V (Scalar (V a)))
6       Actual type: Scalar (V a)
7     Relevant bindings include
8       seg :: a (bound at T8227.hs:16:21)
9       eps :: Scalar (V a) (bound at T8227.hs:16:17)
10       absoluteToParam :: Scalar (V a) -> a -> Scalar (V a)
11         (bound at T8227.hs:16:1)
12     In the first argument of ‘arcLengthToParam’, namely ‘eps’
13     In the expression: arcLengthToParam eps eps