diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T21130.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T21130.stderr | 38 |
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 |