Right now ocp-indent indents cinaps comments, e.g. ($ print_endline ";;" ), as prose. Everything gets unconditionally indented to the leftmost column of the comment. It would be more readable to indent them as code, much like {[ ... ]} annotations inside comments.
Right now ocp-indent indents cinaps comments, e.g. ($ print_endline ";;" ), as prose. Everything gets unconditionally indented to the leftmost column of the comment. It would be more readable to indent them as code, much like {[ ... ]} annotations inside comments.