in (deresolver, hs_program) end;

   in (deresolver, hs_program) end;

 fun serialize_haskell module_prefix module_name string_classes labelled_name

 fun serialize_haskell module_prefix module_name string_classes labelled_name

     raw_reserved includes module_alias

     raw_reserved includes module_alias

     syntax_class syntax_tyco syntax_const program

     syntax_class syntax_tyco syntax_const program

   let

   let

     val reserved = fold (insert (op =) o fst) includes raw_reserved;

     val reserved = fold (insert (op =) o fst) includes raw_reserved;

     val (deresolver, hs_program) = haskell_program_of_program labelled_name

     val (deresolver, hs_program) = haskell_program_of_program labelled_name

       module_prefix reserved module_alias program;

       module_prefix reserved module_alias program;

     val contr_classparam_typs = Code_Thingol.contr_classparam_typs program;

     val contr_classparam_typs = Code_Thingol.contr_classparam_typs program;

       (fn width => (fn NONE => K () o map (writeln_pretty width o snd)

       (fn width => (fn NONE => K () o map (writeln_pretty width o snd)

         | SOME file => K () o map (write_module width (check_destination file))))

         | SOME file => K () o map (write_module width (check_destination file))))

       (fn width => (rpair [] o cat_lines o map (string_of_pretty width o snd)))

       (fn width => (rpair [] o cat_lines o map (string_of_pretty width o snd)))

       (map (uncurry print_module) includes

       (map (uncurry print_module) includes

         @ map serialize_module (Symtab.dest hs_program))

         @ map serialize_module (Symtab.dest hs_program))

   end;

   end;

 val literals = let

 val literals = let

   fun char_haskell c =

   fun char_haskell c =

     let

     let