search

mbarbin / error-log

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

Ppx deriving constructs currently have `[@@@coverage off]` #1

Open mbarbin opened 5 months ago

mbarbin commented 5 months ago

Ppx deriving constructs are currently disabled via [@@@coverage off] due to a generated non visitable coverage point:

     let _ =
       fun (_ : t) ->
       ___bisect_visit___ 0;
       ()
     ;;

This is a known issue with work in progress to fix.

Current work around involves an include T0 pattern, for example:

  module Mode = struct
    module T0 = struct
      [@@@coverage off]

      type t =
        | Quiet
        | Default
        | Verbose
        | Debug
      [@@deriving compare, equal, enumerate, sexp_of]
    end

    include T0
  end
mbarbin commented 5 months ago

Linking with https://github.com/ocaml-ppx/ppxlib/issues/473

mbarbin commented 1 month ago

Work in progress to fix in #5