Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / Overlap9.stderr
index 92cf620..9dd542f 100644 (file)
@@ -1,9 +1,6 @@
 
 Overlap9.hs:10:7:
-    Could not deduce (F a ~ Int)
-    from the context (Show a)
-      bound by the type signature for g :: Show a => a -> F a
-      at Overlap9.hs:9:6-23
+    Couldn't match expected type ‘F a’ with actual type ‘Int’
     Relevant bindings include
       x :: a (bound at Overlap9.hs:10:3)
       g :: a -> F a (bound at Overlap9.hs:10:1)