Gabriel Scherer
Gabriel Scherer
Sure, I am happy to keep rebasing #12654 when useful/relevant, please go ahead.
#13806 has been merged, can we un-suspend this one?
When I posted the issue above we were just out of an intense bug-hunting session with @Armael and @yomimono -- and in particular, I did not want to admit that...
In my mind `monolith-testing` was exploratory programming, and I wouldn't have submitted it for inclusion upstream as a finished product. But then the details have escaped my medium-term memory since...
Note: I don't want to suggest that `monolith-testing` was only a one-time experiment that should be left alone. In my experience working on the [store](https://gitlab.com/basile.clement/store/) library, a model-based testsuite is...
@lpw25 what are the tools / use-case / scenario / persona that you have in mind?
For the record, there is a history of previous work and previous discussions on this feature. It was first explicitly discussed in a feature request created in january 2016 https://github.com/ocaml/ocaml/issues/7123,...
> A possible good compromise could be to have a ramp-up period: we could start with diagnostic at version 0.0 (0.1) to let developer tools try to use it and...
@Octachron asked to wait a bit more to give him time to look at this, until December 5th.
status update: I volunteered to update the PR to take @Octachron's review comments into account. I'm teaching on Wednesday (tomorrow), but hope to look at this afterwards.