summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T21130.stderr
diff options
context:
space:
mode:
authorsheaf <sam.derbyshire@gmail.com>2022-09-13 10:22:05 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-09-13 10:27:53 -0400
commit362cca13858faf7e1158273780ea900e7dad5827 (patch)
tree468c06697b2a6ef3f65b79a469a131d279f71deb /testsuite/tests/typecheck/should_fail/T21130.stderr
parent65a0bd69ac1fb59047cd4c8554a8fc756c7b3476 (diff)
downloadhaskell-362cca13858faf7e1158273780ea900e7dad5827.tar.gz
Diagnostic codes: acccept test changes
The testsuite output now contains diagnostic codes, so many tests need to be updated at once. We decided it was best to keep the diagnostic codes in the testsuite output, so that contributors don't inadvertently make changes to the diagnostic codes.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T21130.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T21130.stderr38
1 files changed, 19 insertions, 19 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T21130.stderr b/testsuite/tests/typecheck/should_fail/T21130.stderr
index d1d018bc9f..2f7d8bbf10 100644
--- a/testsuite/tests/typecheck/should_fail/T21130.stderr
+++ b/testsuite/tests/typecheck/should_fail/T21130.stderr
@@ -1,34 +1,34 @@
-T21130.hs:10:6:
- Found hole: _ :: t0 -> Int
+T21130.hs:10:6: error: [GHC-88464]
+ • Found hole: _ :: t0 -> Int
Where: ‘t0’ is an ambiguous type variable
- In the expression: (_ f) :: Int
+ • In the expression: (_ f) :: Int
In an equation for ‘x’: x = (_ f) :: Int
- Relevant bindings include x :: Int (bound at T21130.hs:10:1)
- Valid hole fits include
- head :: forall a. GHC.Stack.Types.HasCallStack => [a] -> a
- with head @Int
+ • Relevant bindings include x :: Int (bound at T21130.hs:10:1)
+ Valid hole fits include
+ head :: forall a. GHC.Stack.Types.HasCallStack => [a] -> a
+ with head @Int
(imported from ‘Prelude’ at T21130.hs:2:8-13
(and originally defined in ‘GHC.List’))
- last :: forall a. GHC.Stack.Types.HasCallStack => [a] -> a
- with last @Int
+ last :: forall a. GHC.Stack.Types.HasCallStack => [a] -> a
+ with last @Int
(imported from ‘Prelude’ at T21130.hs:2:8-13
(and originally defined in ‘GHC.List’))
- read :: forall a. Read a => String -> a
- with read @Int
+ read :: forall a. Read a => String -> a
+ with read @Int
(imported from ‘Prelude’ at T21130.hs:2:8-13
(and originally defined in ‘Text.Read’))
- T21130.hs:10:8:
- Ambiguous type variable ‘t0’ arising from a use of ‘f’
+T21130.hs:10:8: error: [GHC-39999]
+ • Ambiguous type variable ‘t0’ arising from a use of ‘f’
prevents the constraint ‘(Enum (Item t0))’ from being solved.
Probable fix: use a type annotation to specify what ‘t0’ should be.
- Potentially matching instances:
+ Potentially matching instances:
instance Enum Ordering -- Defined in ‘GHC.Enum’
instance Enum Integer -- Defined in ‘GHC.Enum’
- ...plus N others
- ...plus N instances involving out-of-scope types
- (use -fprint-potential-instances to see them all)
- In the first argument of ‘_’, namely ‘f’
- In the expression: (_ f) :: Int
+ ...plus 8 others
+ ...plus five instances involving out-of-scope types
+ (use -fprint-potential-instances to see them all)
+ • In the first argument of ‘_’, namely ‘f’
+ In the expression: (_ f) :: Int
In an equation for ‘x’: x = (_ f) :: Int