Mercurial > cpdt > repo
comparison 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 |
comparison
equal
deleted
inserted
replaced
570:c3d4217e1da7 | 571:3fc43e261f67 |
---|---|
1 let read_line () = | 1 let read_line () = |
2 try | 2 try |
3 Some (read_line ()) | 3 Some (read_line ()) |
4 with End_of_file -> None | 4 with End_of_file -> None |
5 | 5 |
6 let print_bsd_licence () = begin | 6 let print_bsd_licence () = begin |
29 print_endline " * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN"; | 29 print_endline " * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN"; |
30 print_endline " * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)"; | 30 print_endline " * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)"; |
31 print_endline " * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE"; | 31 print_endline " * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE"; |
32 print_endline " * POSSIBILITY OF SUCH DAMAGE." | 32 print_endline " * POSSIBILITY OF SUCH DAMAGE." |
33 end | 33 end |
34 | 34 |
35 let rec initial () = | 35 let rec initial () = |
36 match read_line () with | 36 match read_line () with |
37 | None -> () | 37 | None -> () |
38 | Some line -> | 38 | Some line -> |
39 let trimmed = String.trim line in | 39 let trimmed = String.trim line in |
40 if String.length trimmed >= 12 && String.sub trimmed 0 12 = "(* Copyright" then begin | 40 if String.length trimmed >= 12 && String.sub trimmed 0 12 = "(* Copyright" then begin |
41 print_endline line; | 41 print_endline line; |
42 copyright_block () | 42 copyright_block () |
43 end else | 43 end else |
44 print_endline line; | 44 print_endline line; |
45 initial () | 45 initial () |
46 | 46 |
47 and copyright_block () = | 47 and copyright_block () = |
48 match read_line () with | 48 match read_line () with |
49 | None -> () | 49 | None -> () |
50 | Some line -> | 50 | Some line -> |
51 let trimmed = String.trim line in | 51 let trimmed = String.trim line in |
52 if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin | 52 if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin |
53 print_endline line; | 53 print_endline line; |
54 initial () | 54 initial () |
55 end else if String.length trimmed >= 31 && String.sub trimmed 0 31 = "* This work is licensed under a" then begin | 55 end else if String.length trimmed >= 31 && String.sub trimmed 0 31 = "* This work is licensed under a" then begin |
56 print_endline line; | 56 print_endline line; |
57 print_bsd_licence (); | 57 print_bsd_licence (); |
58 drop_to_end_comment () | 58 drop_to_end_comment () |
59 end else | 59 end else |
60 print_endline line; | 60 print_endline line; |
61 copyright_block () | 61 copyright_block () |
62 | 62 |
63 and drop_to_end_comment () = | 63 and drop_to_end_comment () = |
64 match read_line () with | 64 match read_line () with |
65 | None -> () | 65 | None -> () |
66 | Some line -> | 66 | Some line -> |
67 let trimmed = String.trim line in | 67 let trimmed = String.trim line in |
68 if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin | 68 if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin |
69 print_endline line; | 69 print_endline line; |
70 initial () | 70 initial () |
71 end else | 71 end else |
72 drop_to_end_comment () | 72 drop_to_end_comment () |
73 | 73 |
74 let () = initial () | 74 let () = initial () |