Relaxing "at least one record" restriction

[ozanmakes]

I'd like to use ppx_fields_conv with atdgen but check_at_least_one_record calls prevent it since -deriving-conv fields flag appends [@@deriving fields] to each type including variants.

Removing the check works well, non-applicable types seem to be silently ignored. Is it possible to relax this restriction?

[ghost]

What is -deriving-conv?

[ozanmakes]

@diml it's an atdgen flag for specifying ppx_deriving plugins to use with generated types:

  -deriving-conv 
    GEN1,GEN2,...
         Insert 'with GEN1, GEN2, ...' after OCaml type definitions for the
         ppx_deriving preprocessor

[ghost]

I see. I'm not keen on removing this check as it means that a misplaced [@@deriving fields] will be silently ignored, which is not good.

[ozanmakes]

That's totally fair. Closing as this is not hard to work around.