no breaks for Haskell
authorhaftmann
Tue, 10 Oct 2006 10:24:24 +0200
changeset 20940 2526ef41a189
parent 20939 a81ce849e9f4
child 20941 beedcae49096
no breaks for Haskell
src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Tue Oct 10 09:18:09 2006 +0200
+++ b/src/Pure/Tools/codegen_serializer.ML	Tue Oct 10 10:24:24 2006 +0200
@@ -824,7 +824,7 @@
               ) classop_defs)
             ]
           end |> SOME
-  in Pretty.setmp_margin 999999 pr_def def end;
+  in pr_def def end;
 
 
 (** generic abstract serializer **)
@@ -1067,7 +1067,7 @@
       | _ => (Path.ext ext o Path.unpack o implode o separate "/" o NameSpace.unpack) name;
   in
     p
-    |> write_file true (Path.append prfx name')
+    |> Pretty.setmp_margin 999999 (write_file true (Path.append prfx name'))
     |> postprocess_module name
   end;