20:11 <d_bot> <cemerick> dumb idea: use ppx_deriving_qcheck to create a generator for random ocamlformat configuration values (`Ocamlformat_lib.Conf.t`, fwiw), and write a little executable on the side that looks for a configuration that minimally perturbs a given source file (presumed to be formatted as desired)

20:32 <companion_cube> :DD

20:44 <d_bot> <antron> nice.

20:44 <d_bot> <antron> @cemerick

20:52 <d_bot> <cemerick> @antron I got about 25m into doing the thing with ppx_enumerate; it took me that long to realize, whoops, I'm gonna be in the ground before a computer will exhaustively generate records with 60+ slots lol

21:09 <companion_cube> is it like ppx_deriving.enum?

21:11 <sim642> I think enum doesn't do all combinations for tuples and records

21:11 <sim642> And even constructs with arguments I think

21:12 <sim642> But just numbers no-arg constructors of a variant type, a la C

21:34 <d_bot> <cemerick> @companion_cube no, https://github.com/janestreet/ppx_enumerate

21:36 <d_bot> <cemerick> the only wrinkle is that you need to swap non-enumerated types (e.g. `int`) for local aliases that you can define finite sets for

21:37 <d_bot> <cemerick> but again, 2^60 combinations or whatever, oooops

21:38 <d_bot> <cemerick> a more subtle tool that requires the user to specify which config options to fuzz would be completely tractable, but that's way too fiddly for me to mess with at the moment

21:47 <companion_cube> oh interesting

21:47 <companion_cube> kind of like smallcheck

22:00 <d_bot> <cemerick> I mean, it's not fuzzing at that point, just small-scale exhaustive optimization

22:00 <d_bot> <antron> in before combinatorial explosion