Update outputs following the unicode quote change in GHC's output

1 files changed, 20 insertions, 20 deletions

diff --git a/testsuite/tests/gadt/gadt7.stderr b/testsuite/tests/gadt/gadt7.stderr
index 561b0b52b7..186bfd33fb 100644
--- a/testsuite/tests/gadt/gadt7.stderr
+++ b/testsuite/tests/gadt/gadt7.stderr
@@ -1,20 +1,20 @@
-

-gadt7.hs:16:38:

-    Couldn't match expected type `t' with actual type `t1'

-      `t1' is untouchable

-        inside the constraints (t2 ~ Int)

-        bound by a pattern with constructor

-                   K :: T Int,

-                 in a case alternative

-        at gadt7.hs:16:33

-      `t1' is a rigid type variable bound by

-           the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1

-      `t' is a rigid type variable bound by

-          the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1

-    Relevant bindings include

-      i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)

-      y :: t1 (bound at gadt7.hs:16:7)

-      y1 :: t1 (bound at gadt7.hs:16:16)

-    In the expression: y1

-    In a case alternative: K -> y1

-    In the expression: case t1 of { K -> y1 }

+
+gadt7.hs:16:38:
+    Couldn't match expected type ‛t’ with actual type ‛t1’
+      ‛t1’ is untouchable
+        inside the constraints (t2 ~ Int)
+        bound by a pattern with constructor
+                   K :: T Int,
+                 in a case alternative
+        at gadt7.hs:16:33
+      ‛t1’ is a rigid type variable bound by
+           the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
+      ‛t’ is a rigid type variable bound by
+          the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
+    Relevant bindings include
+      i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)
+      y :: t1 (bound at gadt7.hs:16:7)
+      y1 :: t1 (bound at gadt7.hs:16:16)
+    In the expression: y1
+    In a case alternative: K -> y1
+    In the expression: case t1 of { K -> y1 }