nonmoving: Drop redundant write barrier on stack underflow
[ghc.git] / testsuite / tests / typecheck / should_compile / hole_constraints.stderr
index 1d49afa..c1796aa 100644 (file)
@@ -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