summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/RepPolyWrappedVar.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/rep-poly/RepPolyWrappedVar.stderr')
-rw-r--r--testsuite/tests/rep-poly/RepPolyWrappedVar.stderr8
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/RepPolyWrappedVar.stderr b/testsuite/tests/rep-poly/RepPolyWrappedVar.stderr
new file mode 100644
index 0000000000..d89a54115e
--- /dev/null
+++ b/testsuite/tests/rep-poly/RepPolyWrappedVar.stderr
@@ -0,0 +1,8 @@
+
+RepPolyWrappedVar.hs:15:10: error:
+ • Unsaturated use of a representation-polymorphic primitive function.
+ The first argument of ‘mkWeak#’
+ does not have a fixed runtime representation:
+ a :: TYPE ('BoxedRep l)
+ • In the expression: mkWeak# @a @Int @Bool
+ In an equation for ‘primop’: primop = mkWeak# @a @Int @Bool