Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
index bc193ca..7ee59e1 100644 (file)
@@ -1,10 +1,12 @@
 
-T7368a.hs:8:6:
-    Couldn't match kind â\80\9b\80\99 with â\80\9b* -> *’
+T7368a.hs:8:6: error:
+    Couldn't match kind â\80\98\80\99 with â\80\98* -> *’
     When matching types
       f :: * -> *
       Bad :: (* -> *) -> *
     Expected type: f (Bad f)
       Actual type: Bad t0
+    Relevant bindings include
+      fun :: f (Bad f) -> Bool (bound at T7368a.hs:8:1)
     In the pattern: Bad x
-    In an equation for â\80\9bfun’: fun (Bad x) = True
+    In an equation for â\80\98fun’: fun (Bad x) = True