--- 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))) =