equal
deleted
inserted
replaced
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; |