File tree Expand file tree Collapse file tree 1 file changed +4
-9
lines changed Expand file tree Collapse file tree 1 file changed +4
-9
lines changed Original file line number Diff line number Diff line change @@ -86,13 +86,8 @@ type docs = block_element with_location list
86
86
87
87
type docs_or_stop = [ `Docs of docs | `Stop ]
88
88
89
- (* * The synopsis is the first element of a comment if it is a paragraph or a
90
- list. In the case of a list, the first item is considered. Otherwise, there
91
- is no synopsis. *)
92
- let rec synopsis docs =
93
- let open Location_ in
94
- match docs with
95
- | { value = `Paragraph p ; _ } :: _ -> Some p
96
- | { value = `List (_ , first_item :: _ ); _ } :: _ ->
97
- synopsis (first_item :> docs )
89
+ (* * The synopsis is the first element of a comment if it is a paragraph.
90
+ Otherwise, there is no synopsis. *)
91
+ let synopsis = function
92
+ | { Location_. value = `Paragraph p ; _ } :: _ -> Some p
98
93
| _ -> None
You can’t perform that action at this time.
0 commit comments