Add kind equalities to GHC.
[ghc.git] / testsuite / tests / patsyn / should_fail / T9161-2.stderr
index ebaea2d..b7a1f36 100644 (file)
@@ -1,5 +1,6 @@
-\r
-T9161-2.hs:8:20: error:\r
-    Pattern synonym ‘PATTERN’ used as a type\r
-    In the type signature:\r
-      wrongLift :: Proxy PATTERN ()\r
+
+T9161-2.hs:8:20: error:
+    • Pattern synonym ‘PATTERN’ used as a type
+    • In the first argument of ‘Proxy’, namely ‘PATTERN’
+      In the type signature:
+        wrongLift :: Proxy PATTERN ()