diff options
Diffstat (limited to 'testsuite/tests/rep-poly/T12709.stderr')
| -rw-r--r-- | testsuite/tests/rep-poly/T12709.stderr | 41 |
1 files changed, 7 insertions, 34 deletions
diff --git a/testsuite/tests/rep-poly/T12709.stderr b/testsuite/tests/rep-poly/T12709.stderr index 78ebe39a7c..782f995942 100644 --- a/testsuite/tests/rep-poly/T12709.stderr +++ b/testsuite/tests/rep-poly/T12709.stderr @@ -1,40 +1,13 @@ T12709.hs:28:13: error: - • The function argument - ‘1’ + • The argument ‘1 + 2 + 3’ of ‘(+)’ does not have a fixed runtime representation. Its type is: a :: TYPE rep - • In the first argument of ‘(+)’, namely ‘1’ - In the first argument of ‘(+)’, namely ‘1 + 2’ - In the first argument of ‘(+)’, namely ‘1 + 2 + 3’ - -T12709.hs:28:17: error: - • The function argument - ‘2’ - does not have a fixed runtime representation. - Its type is: - a :: TYPE rep - • In the second argument of ‘(+)’, namely ‘2’ - In the first argument of ‘(+)’, namely ‘1 + 2’ - In the first argument of ‘(+)’, namely ‘1 + 2 + 3’ - -T12709.hs:28:21: error: - • The function argument - ‘3’ - does not have a fixed runtime representation. - Its type is: - a :: TYPE rep - • In the second argument of ‘(+)’, namely ‘3’ - In the first argument of ‘(+)’, namely ‘1 + 2 + 3’ - In the expression: 1 + 2 + 3 + 4 - -T12709.hs:28:25: error: - • The function argument - ‘4’ - does not have a fixed runtime representation. - Its type is: - a :: TYPE rep - • In the second argument of ‘(+)’, namely ‘4’ - In the expression: 1 + 2 + 3 + 4 + • In the expression: 1 + 2 + 3 + 4 In an equation for ‘u’: u = 1 + 2 + 3 + 4 + In the expression: + let + u :: Num (a :: TYPE rep) => a + u = 1 + 2 + 3 + 4 + in BUB u u |