в match? наподобие такого:
match x with
| X -> ...
[@coverage off]
| Y -> failwith "Impossible"
я могу либо весь match отрубить, либо failwith "Impossible". в первом случае я теряю coverage для остальных веток, а во втором случае показывается красным сама проверка | Y ->
странно, потом попробую
Обсуждают сегодня