summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2022-04-29 11:44:23 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-04-30 16:52:27 -0400
commit170da54f8a9100b3f9ef02389af5834180b0cd27 (patch)
tree21ce5e14154683b4aed55c2f7e8052bfdf8b9a68 /testsuite/tests/typecheck
parente2dd884aa9ffcac5b4bf0d8c826d07ffd18e5d6e (diff)
downloadhaskell-170da54f8a9100b3f9ef02389af5834180b0cd27.tar.gz
Convert More Diagnostics (#20116)
Replaces uses of `TcRnUnknownMessage` with proper diagnostics constructors.
Diffstat (limited to 'testsuite/tests/typecheck')
-rw-r--r--testsuite/tests/typecheck/should_fail/T12729.stderr2
-rw-r--r--testsuite/tests/typecheck/should_fail/T15883.stderr2
-rw-r--r--testsuite/tests/typecheck/should_fail/T16829a.stderr2
-rw-r--r--testsuite/tests/typecheck/should_fail/T16829b.stderr2
-rw-r--r--testsuite/tests/typecheck/should_fail/T3176.stderr2
-rw-r--r--testsuite/tests/typecheck/should_fail/UnliftedNewtypesNotEnabled.stderr2
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail079.stderr2
7 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12729.stderr b/testsuite/tests/typecheck/should_fail/T12729.stderr
index 6bf544fe47..9fdcd6f940 100644
--- a/testsuite/tests/typecheck/should_fail/T12729.stderr
+++ b/testsuite/tests/typecheck/should_fail/T12729.stderr
@@ -1,5 +1,5 @@
T12729.hs:7:1: error:
• Newtype has non-* return kind ‘TYPE 'IntRep’
- Perhaps you intended to use UnliftedNewtypes
• In the newtype declaration for ‘A’
+ Suggested fix: Perhaps you intended to use UnliftedNewtypes
diff --git a/testsuite/tests/typecheck/should_fail/T15883.stderr b/testsuite/tests/typecheck/should_fail/T15883.stderr
index d65ffa5ebc..c66d510932 100644
--- a/testsuite/tests/typecheck/should_fail/T15883.stderr
+++ b/testsuite/tests/typecheck/should_fail/T15883.stderr
@@ -1,5 +1,5 @@
T15883.hs:9:1: error:
• Newtype has non-* return kind ‘TYPE rep’
- Perhaps you intended to use UnliftedNewtypes
• In the newtype declaration for ‘Foo’
+ Suggested fix: Perhaps you intended to use UnliftedNewtypes
diff --git a/testsuite/tests/typecheck/should_fail/T16829a.stderr b/testsuite/tests/typecheck/should_fail/T16829a.stderr
index bbad3415d6..f53d6ccfd6 100644
--- a/testsuite/tests/typecheck/should_fail/T16829a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T16829a.stderr
@@ -1,5 +1,5 @@
T16829a.hs:9:1: error:
• Newtype has non-* return kind ‘TYPE 'IntRep’
- Perhaps you intended to use UnliftedNewtypes
• In the newtype declaration for ‘T’
+ Suggested fix: Perhaps you intended to use UnliftedNewtypes
diff --git a/testsuite/tests/typecheck/should_fail/T16829b.stderr b/testsuite/tests/typecheck/should_fail/T16829b.stderr
index 633d8988a7..9d4c5057ca 100644
--- a/testsuite/tests/typecheck/should_fail/T16829b.stderr
+++ b/testsuite/tests/typecheck/should_fail/T16829b.stderr
@@ -1,5 +1,5 @@
T16829b.hs:10:1: error:
• Newtype instance has non-* return kind ‘TYPE 'IntRep’
- Perhaps you intended to use UnliftedNewtypes
• In the newtype instance declaration for ‘T’
+ Suggested fix: Perhaps you intended to use UnliftedNewtypes
diff --git a/testsuite/tests/typecheck/should_fail/T3176.stderr b/testsuite/tests/typecheck/should_fail/T3176.stderr
index 1f089da6fe..d2867df4a1 100644
--- a/testsuite/tests/typecheck/should_fail/T3176.stderr
+++ b/testsuite/tests/typecheck/should_fail/T3176.stderr
@@ -1,7 +1,7 @@
T3176.hs:9:27: error:
• Cannot use record selector ‘unES’ as a function due to escaped type variables
- Probable fix: use pattern-matching syntax instead
• In the first argument of ‘($)’, namely ‘unES’
In the second argument of ‘($)’, namely ‘unES $ f t’
In the expression: show $ unES $ f t
+ Suggested fix: Use pattern-matching syntax instead
diff --git a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesNotEnabled.stderr b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesNotEnabled.stderr
index d45f3ca016..59c5c523a2 100644
--- a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesNotEnabled.stderr
+++ b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesNotEnabled.stderr
@@ -1,5 +1,5 @@
UnliftedNewtypesNotEnabled.hs:9:1: error:
• Newtype has non-* return kind ‘TYPE 'GHC.Types.IntRep’
- Perhaps you intended to use UnliftedNewtypes
• In the newtype declaration for ‘Baz’
+ Suggested fix: Perhaps you intended to use UnliftedNewtypes
diff --git a/testsuite/tests/typecheck/should_fail/tcfail079.stderr b/testsuite/tests/typecheck/should_fail/tcfail079.stderr
index dce069a456..8f28c7d41c 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail079.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail079.stderr
@@ -1,5 +1,5 @@
tcfail079.hs:9:1: error:
• Newtype has non-* return kind ‘TYPE 'GHC.Types.IntRep’
- Perhaps you intended to use UnliftedNewtypes
• In the newtype declaration for ‘Unboxed’
+ Suggested fix: Perhaps you intended to use UnliftedNewtypes