Use U+2018 instead of U+201B quote mark in compiler messages

This matches GCC's choice of Unicode quotation marks (i.e. U+2018 and U+2019)
and therefore looks more familiar on the console. This addresses #2507.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

1 files changed, 10 insertions, 10 deletions

diff --git a/testsuite/tests/typecheck/should_fail/T3540.stderr b/testsuite/tests/typecheck/should_fail/T3540.stderr
index db84dcd62c..3c447bb1e5 100644
--- a/testsuite/tests/typecheck/should_fail/T3540.stderr
+++ b/testsuite/tests/typecheck/should_fail/T3540.stderr
@@ -1,20 +1,20 @@
 
 T3540.hs:4:12:
-    Expected a type, but ‛a ~ Int’ has kind ‛Constraint’
-    In the type signature for ‛thing’: thing :: a ~ Int
+    Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
+    In the type signature for ‘thing’: thing :: a ~ Int
 
 T3540.hs:7:20:
-    Expected a type, but ‛a ~ Int’ has kind ‛Constraint’
-    In the type signature for ‛thing1’: thing1 :: Int -> (a ~ Int)
+    Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
+    In the type signature for ‘thing1’: thing1 :: Int -> (a ~ Int)
 
 T3540.hs:10:13:
-    Expected a type, but ‛a ~ Int’ has kind ‛Constraint’
-    In the type signature for ‛thing2’: thing2 :: (a ~ Int) -> Int
+    Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
+    In the type signature for ‘thing2’: thing2 :: (a ~ Int) -> Int
 
 T3540.hs:13:12:
-    Expected a type, but ‛?dude :: Int’ has kind ‛Constraint’
-    In the type signature for ‛thing3’: thing3 :: (?dude :: Int) -> Int
+    Expected a type, but ‘?dude :: Int’ has kind ‘Constraint’
+    In the type signature for ‘thing3’: thing3 :: (?dude :: Int) -> Int
 
 T3540.hs:16:11:
-    Expected a type, but ‛Eq a’ has kind ‛Constraint’
-    In the type signature for ‛thing4’: thing4 :: (Eq a) -> Int
+    Expected a type, but ‘Eq a’ has kind ‘Constraint’
+    In the type signature for ‘thing4’: thing4 :: (Eq a) -> Int