Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T8227.stderr
1
2 T8227.hs:16:27:
3     Couldn't match expected type ‘Scalar (V a)’
4                 with actual type ‘Scalar (V (Scalar (V a)))
5                                   -> Scalar (V (Scalar (V a)))’
6     Relevant bindings include
7       seg :: a (bound at T8227.hs:16:21)
8       eps :: Scalar (V a) (bound at T8227.hs:16:17)
9       absoluteToParam :: Scalar (V a) -> a -> Scalar (V a)
10         (bound at T8227.hs:16:1)
11     In the expression: arcLengthToParam eps eps
12     In an equation for ‘absoluteToParam’:
13         absoluteToParam eps seg = arcLengthToParam eps eps
14
15 T8227.hs:16:44:
16     Couldn't match expected type ‘Scalar (V (Scalar (V a)))’
17                 with actual type ‘Scalar (V a)’
18     NB: ‘Scalar’ is a type function, and may not be injective
19     Relevant bindings include
20       seg :: a (bound at T8227.hs:16:21)
21       eps :: Scalar (V a) (bound at T8227.hs:16:17)
22       absoluteToParam :: Scalar (V a) -> a -> Scalar (V a)
23         (bound at T8227.hs:16:1)
24     In the first argument of ‘arcLengthToParam’, namely ‘eps’
25     In the expression: arcLengthToParam eps eps