summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T12531.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T12531.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_compile/T12531.stderr6
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T12531.stderr b/testsuite/tests/partial-sigs/should_compile/T12531.stderr
index ddd68246a1..df83c1a2ed 100644
--- a/testsuite/tests/partial-sigs/should_compile/T12531.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/T12531.stderr
@@ -7,3 +7,9 @@ T12531.hs:6:11: warning: [-Wtyped-holes (in -Wdefault)]
• Relevant bindings include
x :: Int# (bound at T12531.hs:6:3)
f :: Int# -> Int (bound at T12531.hs:6:1)
+ Valid substitutions include
+ undefined :: forall (a :: TYPE r).
+ GHC.Stack.Types.HasCallStack =>
+ a
+ (imported from ‘Prelude’ at T12531.hs:3:8-13
+ (and originally defined in ‘GHC.Err’))