diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T8227.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T8227.stderr | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T8227.stderr b/testsuite/tests/indexed-types/should_fail/T8227.stderr index 6dec5d0191..697c9c3231 100644 --- a/testsuite/tests/indexed-types/should_fail/T8227.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8227.stderr @@ -1,10 +1,9 @@ -T8227.hs:16:44: error: - • Couldn't match expected type ‘Scalar (V (Scalar (V a)))’ - with actual type ‘Scalar (V a)’ - NB: ‘Scalar’ is a type function, and may not be injective - • In the first argument of ‘arcLengthToParam’, namely ‘eps’ - In the expression: arcLengthToParam eps eps +T8227.hs:16:27: error: + • Couldn't match expected type ‘Scalar (V a)’ + with actual type ‘Scalar (V (Scalar (V a))) + -> Scalar (V (Scalar (V a)))’ + • In the expression: arcLengthToParam eps eps In an equation for ‘absoluteToParam’: absoluteToParam eps seg = arcLengthToParam eps eps • Relevant bindings include |