mbarbin / error-log

Reporting located errors and warnings
https://mbarbin.github.io/error-log/
MIT License
1 stars 0 forks source link

Unused type warning #5

Closed mbarbin closed 1 month ago

mbarbin commented 3 months ago

This is an experimental PR to test the change made in https://github.com/ocaml-ppx/ppxlib/pull/493

In particular I would like to confirm that thanks to the change, I can now remove the special coverage off attributes and maintain the same level of coverage.

This is using an unreleased preview packages that combines ongoing changes from ppxlib, published here

mbarbin commented 1 month ago

Outdated, subsumed by #6