Mercurial > cpdt > repo
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 ()