# HG changeset patch
# User wenzelm
# Date 1540923932 -3600
# Node ID 92fde8f61b0d5f097bfef5a18733a17f50f71ceb
# Parent  3f4210c133560883a2d4378232a53e5f0fc969b3
tuned -- prefer GHC.print_codepoint;

diff -r 3f4210c13356 -r 92fde8f61b0d src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Tue Oct 30 19:18:01 2018 +0100
+++ b/src/Tools/Code/code_haskell.ML	Tue Oct 30 19:25:32 2018 +0100
@@ -36,14 +36,9 @@
 (** Haskell serializer **)
 
 val print_haskell_string =
-  let
-    fun char c =
-      let
-        val _ = if Symbol.is_ascii c then ()
-          else error "non-ASCII byte in Haskell string literal";
-        val s = ML_Syntax.print_symbol_char c;
-      in if s = "'" then "\\'" else s end;
-  in quote o translate_string char end;
+  quote o translate_string (fn c =>
+    if Symbol.is_ascii c then GHC.print_codepoint (ord c)
+    else error "non-ASCII byte in Haskell string literal");
 
 fun print_haskell_stmt class_syntax tyco_syntax const_syntax
     reserved deresolve deriving_show =