--- a/src/Tools/Code/code_haskell.ML Fri Jan 18 19:48:04 2019 -0500
+++ b/src/Tools/Code/code_haskell.ML Sat Jan 19 07:19:16 2019 +0000
@@ -407,7 +407,7 @@
end;
in
- (Code_Target.Hierarchy (map (fn (module_name, content) => print_module_frame module_name [] NONE [content]) includes
+ (Code_Target.Hierarchy (map (fn (module_name, content) => ([module_name ^ ".hs"], content)) includes
@ map (fn module_name => print_module module_name (Graph.get_node haskell_program module_name))
((flat o rev o Graph.strong_conn) haskell_program)), try (deresolver ""))
end;