Only pass mod_location with HscRecomp instead of the entire ModSummary
[ghc.git] / testsuite / tests / typecheck / should_compile / hole_constraints.stderr
index 98d76ce..c1796aa 100644 (file)
@@ -10,12 +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
-        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
@@ -30,33 +25,26 @@ 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)
-        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]
       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 substitutions include
+      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
@@ -70,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
@@ -87,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’))