summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/T13233.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/rep-poly/T13233.stderr')
-rw-r--r--testsuite/tests/rep-poly/T13233.stderr19
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/T13233.stderr b/testsuite/tests/rep-poly/T13233.stderr
new file mode 100644
index 0000000000..248b71c49d
--- /dev/null
+++ b/testsuite/tests/rep-poly/T13233.stderr
@@ -0,0 +1,19 @@
+
+T13233.hs:14:11: error:
+ • The data constructor argument in first position
+ does not have a fixed runtime representation:
+ a :: TYPE rep
+ • In the first argument of ‘bar’, namely ‘(#,#)’
+ In the expression: bar (#,#)
+ In an equation for ‘baz’: baz = bar (#,#)
+
+T13233.hs:22:16: error:
+ • • The data constructor argument in first position
+ does not have a fixed runtime representation:
+ a :: TYPE rep1
+ • The data constructor argument in second position
+ does not have a fixed runtime representation:
+ b :: TYPE rep2
+ • In the first argument of ‘obscure’, namely ‘(#,#)’
+ In the expression: obscure (#,#)
+ In an equation for ‘quux’: quux = obscure (#,#)