1.1 --- a/src/Tools/Code/code_haskell.ML	Wed Jul 14 14:53:44 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Wed Jul 14 14:53:44 2010 +0200
     1.3 @@ -474,7 +474,7 @@
     1.4  
     1.5  (** Isar setup **)
     1.6  
     1.7 -fun isar_seri_haskell module_name =
     1.8 +fun isar_serializer module_name =
     1.9    Code_Target.parse_args (Scan.option (Args.$$$ "root" -- Args.colon |-- Args.name)
    1.10      -- Scan.optional (Args.$$$ "string_classes" >> K true) false
    1.11      >> (fn (module_prefix, string_classes) =>
    1.12 @@ -487,7 +487,8 @@
    1.13    );
    1.14  
    1.15  val setup =
    1.16 -  Code_Target.add_target (target, (isar_seri_haskell, literals))
    1.17 +  Code_Target.add_target
    1.18 +    (target, { serializer = isar_serializer, literals = literals, check = () })
    1.19    #> Code_Target.add_syntax_tyco target "fun" (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
    1.20        brackify_infix (1, R) fxy (
    1.21          print_typ (INFX (1, X)) ty1,