# HG changeset patch
# User haftmann
# Date 1391978247 -3600
# Node ID 636a8523876f2c02352b20aba2352ce8a97585f5
# Parent  2b4204cb7904a4577fa9b254b2567012ae72741b
restoring ancient string_classes option

diff -r 2b4204cb7904 -r 636a8523876f src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Sun Feb 09 21:37:27 2014 +0100
+++ b/src/Tools/Code/code_haskell.ML	Sun Feb 09 21:37:27 2014 +0100
@@ -183,7 +183,7 @@
               :: str "="
               :: (str o deresolve_const) co
               :: print_typ tyvars BR ty
-              :: (if deriving_show tyco then [str "deriving (Read, Show)"] else [])
+              :: (if deriving_show tyco then [str "deriving (Prelude.Read, Prelude.Show)"] else [])
             )
           end
       | print_stmt (Type_Constructor tyco, Code_Thingol.Datatype (vs, co :: cos)) =
@@ -201,7 +201,7 @@
               :: str "="
               :: print_co co
               :: map ((fn p => Pretty.block [str "| ", p]) o print_co) cos
-              @ (if deriving_show tyco then [str "deriving (Read, Show)"] else [])
+              @ (if deriving_show tyco then [str "deriving (Prelude.Read, Prelude.Show)"] else [])
             )
           end
       | print_stmt (Type_Class class, Code_Thingol.Class (v, (classrels, classparams))) =