summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T17267e.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/quantified-constraints/T17267e.stderr')
-rw-r--r--testsuite/tests/quantified-constraints/T17267e.stderr3
1 files changed, 0 insertions, 3 deletions
diff --git a/testsuite/tests/quantified-constraints/T17267e.stderr b/testsuite/tests/quantified-constraints/T17267e.stderr
index b497fa1009..f94ba1e872 100644
--- a/testsuite/tests/quantified-constraints/T17267e.stderr
+++ b/testsuite/tests/quantified-constraints/T17267e.stderr
@@ -1,7 +1,4 @@
-T17267e.hs:1:1: error:
- The IO action ‘main’ is not defined in module ‘Main’
-
T17267e.hs:16:14: error:
• Reduction stack overflow; size = 201
When simplifying the following type: Show a