Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / typecheck / should_fail / T7609.stderr
index 2433931..32bc980 100644 (file)
@@ -2,16 +2,13 @@
 T7609.hs:7:16: error:
     • Expecting one more argument to ‘Maybe’
       Expected a type, but ‘Maybe’ has kind ‘* -> *’
-    • In the type signature:
-        f :: (a `X` a, Maybe)
+    • In the type signature: f :: (a `X` a, Maybe)
 
 T7609.hs:10:7: error:
-    • Expected a constraint, but ‘X a a’ has kind ‘*’
-    • In the type signature:
-        g :: (a `X` a) => Maybe
+    • Expected a constraint, but ‘a `X` a’ has kind ‘*’
+    • In the type signature: g :: (a `X` a) => Maybe
 
 T7609.hs:10:19: error:
     • Expecting one more argument to ‘Maybe’
       Expected a type, but ‘Maybe’ has kind ‘* -> *’
-    • In the type signature:
-        g :: (a `X` a) => Maybe
+    • In the type signature: g :: (a `X` a) => Maybe