src/Tools/Code/code_haskell.ML
changeset 38916 c0b857a04758
parent 38915 026526cba0e6
child 38923 79d7f2b4cf71
equal deleted inserted replaced
38915:026526cba0e6 38916:c0b857a04758
   388             ("{-# OPTIONS_GHC -fglasgow-exts #-}\n\n"
   388             ("{-# OPTIONS_GHC -fglasgow-exts #-}\n\n"
   389               ^ string_of_pretty width content)
   389               ^ string_of_pretty width content)
   390           end
   390           end
   391       | write_module width NONE (_, content) = writeln_pretty width content;
   391       | write_module width NONE (_, content) = writeln_pretty width content;
   392   in
   392   in
   393     Code_Target.mk_serialization
   393     Code_Target.serialization
   394       (fn width => fn destination => K () o map (write_module width destination))
   394       (fn width => fn destination => K () o map (write_module width destination))
   395       (fn width => rpair [] o cat_lines o map (string_of_pretty width o snd))
   395       (fn width => rpair [] o cat_lines o map (string_of_pretty width o snd))
   396       (map (uncurry print_module) includes
   396       (map (uncurry print_module) includes
   397         @ map serialize_module (Symtab.dest hs_program))
   397         @ map serialize_module (Symtab.dest hs_program))
   398   end;
   398   end;