diff tools/bsd_license.ml @ 571:3fc43e261f67

Spacing and indentation fixes in tools, from Chen Yiwu
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Apr 2019 16:09:55 -0400
parents 306539f29eea
children
line wrap: on
line diff
--- a/tools/bsd_license.ml	Sun Jan 20 15:44:31 2019 -0500
+++ b/tools/bsd_license.ml	Sun Apr 21 16:09:55 2019 -0400
@@ -1,4 +1,4 @@
-let read_line () = 
+let read_line () =
   try
     Some (read_line ())
   with End_of_file -> None
@@ -31,44 +31,44 @@
   print_endline " * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE";
   print_endline " * POSSIBILITY OF SUCH DAMAGE."
 end
-   
+
 let rec initial () =
   match read_line () with
   | None -> ()
   | Some line ->
-      let trimmed = String.trim line in
-      if String.length trimmed >= 12 && String.sub trimmed 0 12 = "(* Copyright" then begin
-        print_endline line;
-        copyright_block ()
-      end else
-        print_endline line;
-      initial ()
+    let trimmed = String.trim line in
+    if String.length trimmed >= 12 && String.sub trimmed 0 12 = "(* Copyright" then begin
+      print_endline line;
+      copyright_block ()
+    end else
+      print_endline line;
+    initial ()
 
 and copyright_block () =
   match read_line () with
   | None -> ()
   | Some line ->
-      let trimmed = String.trim line in
-      if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin
-        print_endline line;
-        initial ()
-      end else if String.length trimmed >= 31 && String.sub trimmed 0 31 = "* This work is licensed under a" then begin
-        print_endline line;
-        print_bsd_licence ();
-        drop_to_end_comment ()
-      end else
-        print_endline line;
-      copyright_block ()
+    let trimmed = String.trim line in
+    if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin
+      print_endline line;
+      initial ()
+    end else if String.length trimmed >= 31 && String.sub trimmed 0 31 = "* This work is licensed under a" then begin
+      print_endline line;
+      print_bsd_licence ();
+      drop_to_end_comment ()
+    end else
+      print_endline line;
+    copyright_block ()
 
 and drop_to_end_comment () =
   match read_line () with
   | None -> ()
   | Some line ->
-      let trimmed = String.trim line in
-      if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin
-        print_endline line;
-        initial ()
-      end else
-        drop_to_end_comment ()
+    let trimmed = String.trim line in
+    if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin
+      print_endline line;
+      initial ()
+    end else
+      drop_to_end_comment ()
 
 let () = initial ()