users-guide: Drop 8.6.1 release notes
[ghc.git] / testsuite / tests / typecheck / should_compile / hole_constraints.stderr
index d8ca78d..c1796aa 100644 (file)
@@ -10,13 +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 substitutions include
-        f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
-        undefined :: forall (a :: TYPE r).
-                     GHC.Stack.Types.HasCallStack =>
-                     a
-          (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
-           (and originally defined in ‘GHC.Err’))
+      Valid hole fits include f1 :: a
 
 hole_constraints.hs:12:6: warning: [-Wtyped-holes (in -Wdefault)]
     • Found hole: _ :: a
@@ -31,15 +25,9 @@ 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 substitutions include
-        f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
-        f2 :: forall a. (Show a, Eq a) => a
-          (defined at hole_constraints.hs:12:1)
-        undefined :: forall (a :: TYPE r).
-                     GHC.Stack.Types.HasCallStack =>
-                     a
-          (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
-           (and originally defined in ‘GHC.Err’))
+      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]
@@ -52,17 +40,11 @@ hole_constraints.hs:16:35: warning: [-Wtyped-holes (in -Wdefault)]
     • Relevant bindings include
         f3 :: [a] (bound at hole_constraints.hs:16:30)
       Constraints include Eq a (from hole_constraints.hs:16:10-22)
-      Valid substitutions include
-        f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
-        f3 :: forall a. C a => a (defined at hole_constraints.hs:15:17)
+      Valid hole fits include
+        f3 :: [a]
+        f1 :: forall a. Eq a => a
+        [] :: forall a. [a]
         mempty :: forall a. Monoid a => a
-          (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
-           (and originally defined in ‘GHC.Base’))
-        undefined :: forall (a :: TYPE r).
-                     GHC.Stack.Types.HasCallStack =>
-                     a
-          (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
-           (and originally defined in ‘GHC.Err’))
 
 hole_constraints.hs:20:19: warning: [-Wtyped-holes (in -Wdefault)]
     • Found hole: _ :: a
@@ -76,12 +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 substitutions include
-        undefined :: forall (a :: TYPE r).
-                     GHC.Stack.Types.HasCallStack =>
-                     a
-          (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
-           (and originally defined in ‘GHC.Err’))
+      Valid hole fits include x :: a
 
 hole_constraints.hs:27:32: warning: [-Wtyped-holes (in -Wdefault)]
     • Found hole: _ :: String
@@ -93,16 +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 substitutions include
-        f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
+      Valid hole fits include
+        f3 :: forall a. C a => a
+        f1 :: forall a. Eq a => a
         f2 :: forall a. (Show a, Eq a) => a
-          (defined at hole_constraints.hs:12:1)
-        f3 :: forall a. C a => a (defined at hole_constraints.hs:15:17)
+        [] :: forall a. [a]
         mempty :: forall a. Monoid a => a
-          (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
-           (and originally defined in ‘GHC.Base’))
-        undefined :: forall (a :: TYPE r).
-                     GHC.Stack.Types.HasCallStack =>
-                     a
-          (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
-           (and originally defined in ‘GHC.Err’))