--- a/src/Tools/Code/code_haskell.ML Sun Jan 26 14:01:19 2014 +0100
+++ b/src/Tools/Code/code_haskell.ML Sun Jan 26 16:23:46 2014 +0100
@@ -229,8 +229,8 @@
val tyvars = intro_vars (map fst vs) reserved;
fun requires_args classparam = case const_syntax classparam
of NONE => NONE
- | SOME (Code_Printer.Plain_const_syntax _) => SOME 0
- | SOME (Code_Printer.Complex_const_syntax (k,_ )) => SOME k;
+ | SOME (_, Code_Printer.Plain_printer _) => SOME 0
+ | SOME (k, Code_Printer.Complex_printer _) => SOME k;
fun print_classparam_instance ((classparam, (const, _)), (thm, _)) =
case requires_args classparam
of NONE => semicolon [