src/Pure/Tools/codegen_serializer.ML

   #> add_serializer ("OCaml", isar_seri_ocaml)
   #> add_serializer ("Haskell", isar_seri_haskell)
   #> add_serializer (target_diag, (fn _ => fn _ => seri_diagnosis))
 );
 
-fun get_serializer thy target args cs =
+fun get_serializer thy target args = fn cs =>
   let
     val data = case Symtab.lookup (CodegenSerializerData.get thy) target
      of SOME data => data
       | NONE => error ("Unknown code target language: " ^ quote target);
     val seri = the_serializer data;

     | NONE => error ("Unknown code target language: " ^ quote target);
 
 fun has_serialization f thy targets name =
   forall (
     is_some o (fn tab => Symtab.lookup tab name) o f o the_syntax_expr o the
-      o (Symtab.lookup ((CodegenSerializerData.get) thy))
+      o Symtab.lookup (CodegenSerializerData.get thy)
   ) targets;
 
 val tyco_has_serialization = has_serialization #tyco;
 val const_has_serialization = has_serialization #const;