diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T8353.stderr')
-rw-r--r-- | testsuite/tests/ghci/scripts/T8353.stderr | 60 |
1 files changed, 55 insertions, 5 deletions
diff --git a/testsuite/tests/ghci/scripts/T8353.stderr b/testsuite/tests/ghci/scripts/T8353.stderr index 863a64fc4e..a84b0b7e83 100644 --- a/testsuite/tests/ghci/scripts/T8353.stderr +++ b/testsuite/tests/ghci/scripts/T8353.stderr @@ -9,7 +9,17 @@ Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] • In the expression: _ In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) - Valid substitutions include a :: Int (defined at Defer03.hs:4:1) + Valid hole fits include + f :: Int (bound at Defer03.hs:7:1) + a :: Int (defined at Defer03.hs:4:1) + maxBound :: forall a. Bounded a => a + with maxBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) + minBound :: forall a. Bounded a => a + with minBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) Defer03.hs:4:5: error: • Couldn't match expected type ‘Int’ with actual type ‘Char’ @@ -21,7 +31,17 @@ Defer03.hs:7:5: error: • In the expression: _ In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) - Valid substitutions include a :: Int (defined at Defer03.hs:4:1) + Valid hole fits include + f :: Int (bound at Defer03.hs:7:1) + a :: Int (defined at Defer03.hs:4:1) + maxBound :: forall a. Bounded a => a + with maxBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) + minBound :: forall a. Bounded a => a + with minBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ @@ -33,7 +53,17 @@ Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] • In the expression: _ In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) - Valid substitutions include a :: Int (defined at Defer03.hs:4:1) + Valid hole fits include + f :: Int (bound at Defer03.hs:7:1) + a :: Int (defined at Defer03.hs:4:1) + maxBound :: forall a. Bounded a => a + with maxBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) + minBound :: forall a. Bounded a => a + with minBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) Defer03.hs:4:5: error: • Couldn't match expected type ‘Int’ with actual type ‘Char’ @@ -45,7 +75,17 @@ Defer03.hs:7:5: error: • In the expression: _ In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) - Valid substitutions include a :: Int (defined at Defer03.hs:4:1) + Valid hole fits include + f :: Int (bound at Defer03.hs:7:1) + a :: Int (defined at Defer03.hs:4:1) + maxBound :: forall a. Bounded a => a + with maxBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) + minBound :: forall a. Bounded a => a + with minBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ @@ -57,4 +97,14 @@ Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] • In the expression: _ In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) - Valid substitutions include a :: Int (defined at Defer03.hs:4:1) + Valid hole fits include + f :: Int (bound at Defer03.hs:7:1) + a :: Int (defined at Defer03.hs:4:1) + maxBound :: forall a. Bounded a => a + with maxBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) + minBound :: forall a. Bounded a => a + with minBound @Int + (imported from ‘Prelude’ at Defer03.hs:1:8-11 + (and originally defined in ‘GHC.Enum’)) |