diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T8227.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T8227.stderr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T8227.stderr b/testsuite/tests/indexed-types/should_fail/T8227.stderr index 8ac3d94a55..6dec5d0191 100644 --- a/testsuite/tests/indexed-types/should_fail/T8227.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8227.stderr @@ -5,6 +5,8 @@ T8227.hs:16:44: error: 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 + In an equation for ‘absoluteToParam’: + absoluteToParam eps seg = arcLengthToParam eps eps • Relevant bindings include seg :: a (bound at T8227.hs:16:21) eps :: Scalar (V a) (bound at T8227.hs:16:17) |