1.1 --- a/src/Tools/Code/code_haskell.ML	Wed Sep 07 13:51:35 2011 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Wed Sep 07 13:51:36 2011 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  (** Haskell serializer **)
     1.5  
     1.6  fun print_haskell_stmt labelled_name class_syntax tyco_syntax const_syntax
     1.7 -    reserved deresolve contr_classparam_typs deriving_show =
     1.8 +    reserved deresolve deriving_show =
     1.9    let
    1.10      fun class_name class = case class_syntax class
    1.11       of NONE => deresolve class
    1.12 @@ -298,7 +298,6 @@
    1.13        labelled_name module_alias module_prefix (Name.make_context reserved) program;
    1.14  
    1.15      (* print statements *)
    1.16 -    val contr_classparam_typs = Code_Thingol.contr_classparam_typs program;
    1.17      fun deriving_show tyco =
    1.18        let
    1.19          fun deriv _ "fun" = false
    1.20 @@ -314,7 +313,7 @@
    1.21        in deriv [] tyco end;
    1.22      fun print_stmt deresolve = print_haskell_stmt labelled_name
    1.23        class_syntax tyco_syntax const_syntax (make_vars reserved)
    1.24 -      deresolve contr_classparam_typs
    1.25 +      deresolve
    1.26        (if string_classes then deriving_show else K false);
    1.27  
    1.28      (* print modules *)