mbarbin / error-log

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

New use type construct #4

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/495

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