# HG changeset patch
# User haftmann
# Date 1255332327 -7200
# Node ID 793c993c63aa4f0cba73a32214e398e28b03aaf2
# Parent  fbccf4522e147a78b1c383527f0bf4c56e9701b3
dropped dead code

diff -r fbccf4522e14 -r 793c993c63aa src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Mon Oct 12 09:25:26 2009 +0200
+++ b/src/Tools/Code/code_haskell.ML	Mon Oct 12 09:25:27 2009 +0200
@@ -24,7 +24,7 @@
 (** Haskell serializer **)
 
 fun pr_haskell_stmt labelled_name syntax_class syntax_tyco syntax_const
-    init_syms deresolve is_cons contr_classparam_typs deriving_show =
+    init_syms deresolve contr_classparam_typs deriving_show =
   let
     val deresolve_base = Long_Name.base_name o deresolve;
     fun class_name class = case syntax_class class
@@ -332,7 +332,6 @@
     val reserved_names = fold (insert (op =) o fst) includes raw_reserved_names;
     val (deresolver, hs_program) = haskell_program_of_program labelled_name
       module_name module_prefix reserved_names raw_module_alias program;
-    val is_cons = Code_Thingol.is_cons program;
     val contr_classparam_typs = Code_Thingol.contr_classparam_typs program;
     fun deriving_show tyco =
       let
@@ -350,7 +349,7 @@
     fun pr_stmt qualified = pr_haskell_stmt labelled_name
       syntax_class syntax_tyco syntax_const reserved_names
       (if qualified then deresolver else Long_Name.base_name o deresolver)
-      is_cons contr_classparam_typs
+      contr_classparam_typs
       (if string_classes then deriving_show else K false);
     fun pr_module name content =
       (name, Pretty.chunks [