Improve error recovery in the typechecker
[ghc.git] / testsuite / tests / patsyn / should_fail / T9161-2.stderr
index 409b922..71f7cbe 100644 (file)
@@ -1,7 +1,6 @@
 
-T9161-2.hs:8:20: error:
+T9161-2.hs:10:20: error:
     • Pattern synonym ‘PATTERN’ cannot be used here
-        (Pattern synonyms cannot be promoted)
+        (pattern synonyms cannot be promoted)
     • In the first argument of ‘Proxy’, namely ‘PATTERN’
-      In the type signature:
-        wrongLift :: Proxy PATTERN ()
+      In the type signature: wrongLift :: Proxy PATTERN ()