X-Git-Url: https://git.haskell.org/ghc.git/blobdiff_plain/0c3341b23e0672fb9c05d9f6ab0be76f411d526e..HEAD:/testsuite/tests/typecheck/should_compile/hole_constraints.stderr
diff --git a/testsuite/tests/typecheck/should_compile/hole_constraints.stderr b/testsuite/tests/typecheck/should_compile/hole_constraints.stderr
index 1d49afa..c1796aa 100644
--- a/testsuite/tests/typecheck/should_compile/hole_constraints.stderr
+++ b/testsuite/tests/typecheck/should_compile/hole_constraints.stderr
@@ -10,6 +10,7 @@ hole_constraints.hs:8:6: warning: [-Wtyped-holes (in -Wdefault)]
â¢ Relevant bindings include
f1 :: a (bound at hole_constraints.hs:8:1)
Constraints include Eq a (from hole_constraints.hs:7:1-15)
+ Valid hole fits include f1 :: a
hole_constraints.hs:12:6: warning: [-Wtyped-holes (in -Wdefault)]
â¢ Found hole: _ :: a
@@ -24,21 +25,30 @@ hole_constraints.hs:12:6: warning: [-Wtyped-holes (in -Wdefault)]
Constraints include
Show a (from hole_constraints.hs:11:1-25)
Eq a (from hole_constraints.hs:11:1-25)
+ Valid hole fits include
+ f2 :: a
+ f1 :: forall a. Eq a => a
hole_constraints.hs:16:35: warning: [-Wtyped-holes (in -Wdefault)]
â¢ Found hole: _ :: [a]
Where: âaâ is a rigid type variable bound by
- the instance declaration at hole_constraints.hs:16:10-22
+ the instance declaration
+ at hole_constraints.hs:16:10-22
â¢ In the expression: _
In an equation for âf3â: f3 = _
In the instance declaration for âC [a]â
â¢ Relevant bindings include
f3 :: [a] (bound at hole_constraints.hs:16:30)
Constraints include Eq a (from hole_constraints.hs:16:10-22)
+ Valid hole fits include
+ f3 :: [a]
+ f1 :: forall a. Eq a => a
+ [] :: forall a. [a]
+ mempty :: forall a. Monoid a => a
hole_constraints.hs:20:19: warning: [-Wtyped-holes (in -Wdefault)]
- â¢ Found hole: _ :: b
- Where: âbâ is a rigid type variable bound by
+ â¢ Found hole: _ :: a
+ Where: âaâ is a rigid type variable bound by
the type signature for:
castWith :: forall a b. (a :~: b) -> a -> b
at hole_constraints.hs:19:1-29
@@ -48,6 +58,7 @@ hole_constraints.hs:20:19: warning: [-Wtyped-holes (in -Wdefault)]
x :: a (bound at hole_constraints.hs:20:15)
castWith :: (a :~: b) -> a -> b (bound at hole_constraints.hs:20:1)
Constraints include b ~ a (from hole_constraints.hs:20:10-13)
+ Valid hole fits include x :: a
hole_constraints.hs:27:32: warning: [-Wtyped-holes (in -Wdefault)]
â¢ Found hole: _ :: String
@@ -59,3 +70,9 @@ hole_constraints.hs:27:32: warning: [-Wtyped-holes (in -Wdefault)]
a :: AnyShow (bound at hole_constraints.hs:27:5)
foo :: AnyShow -> String (bound at hole_constraints.hs:27:1)
Constraints include Show a (from hole_constraints.hs:27:19-27)
+ Valid hole fits include
+ f3 :: forall a. C a => a
+ f1 :: forall a. Eq a => a
+ f2 :: forall a. (Show a, Eq a) => a
+ [] :: forall a. [a]
+ mempty :: forall a. Monoid a => a