{"action":"created","issue":{"url":"https://api.github.com/repos/stedolan/crowbar/issues/7","repository_url":"https://api.github.com/repos/stedolan/crowbar","labels_url":"https://api.github.com/repos/stedolan/crowbar/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/stedolan/crowbar/issues/7/comments","events_url":"https://api.github.com/repos/stedolan/crowbar/issues/7/events","html_url":"https://github.com/stedolan/crowbar/issues/7","id":236315755,"number":7,"title":"a ppx_deriving plugin would be super-useful","user":{"login":"gasche","id":426238,"avatar_url":"https://avatars2.githubusercontent.com/u/426238?v=4","gravatar_id":"","url":"https://api.github.com/users/gasche","html_url":"https://github.com/gasche","followers_url":"https://api.github.com/users/gasche/followers","following_url":"https://api.github.com/users/gasche/following{/other_user}","gists_url":"https://api.github.com/users/gasche/gists{/gist_id}","starred_url":"https://api.github.com/users/gasche/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gasche/subscriptions","organizations_url":"https://api.github.com/users/gasche/orgs","repos_url":"https://api.github.com/users/gasche/repos","events_url":"https://api.github.com/users/gasche/events{/privacy}","received_events_url":"https://api.github.com/users/gasche/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2017-06-15T21:11:49Z","updated_at":"2017-12-04T10:58:36Z","closed_at":null,"author_association":"NONE","body":"When I look at @yomimono's [heroic code](https://github.com/yomimono/somerandompacket/blob/master/dhcp/src/generators.ml#L112-L271), it appears clear that without a metaprogramming way to generate Crowbar generators for algebraic datatypes to be enumerated in \"the obvious way\" (with annotations to override [special cases](https://github.com/yomimono/somerandompacket/blob/master/dhcp/src/generators.ml#L98-L101), etc.), it can currently be very painful to deploy Crowbar for a library.\r\n\r\nDo some people here have plans for such a plugin?\r\n\r\nI looked around a bit and there already exist at least one ppx_deriving plugin for random generation, @paurkedal's [ppx_deriving_random](https://github.com/paurkedal/ppx_deriving_random). Unfortunately, because of the difference in type signatures for generators and generator language in general, I don't think that it would be possible to reuse it directly. It should be a very good start for hacking a crowbar generator, though.\r\n\r\n(In general the distance between Crowbar-style generation interfaces and Quickcheck-style generation interface is an uncanny zero, so it sounds like a nice factorization should be within reach, but right now I'm tempted to try Crowbar on stuff and I would really like even a separate/specialized generator.)"},"comment":{"url":"https://api.github.com/repos/stedolan/crowbar/issues/comments/348928740","html_url":"https://github.com/stedolan/crowbar/issues/7#issuecomment-348928740","issue_url":"https://api.github.com/repos/stedolan/crowbar/issues/7","id":348928740,"user":{"login":"stedolan","id":79765,"avatar_url":"https://avatars3.githubusercontent.com/u/79765?v=4","gravatar_id":"","url":"https://api.github.com/users/stedolan","html_url":"https://github.com/stedolan","followers_url":"https://api.github.com/users/stedolan/followers","following_url":"https://api.github.com/users/stedolan/following{/other_user}","gists_url":"https://api.github.com/users/stedolan/gists{/gist_id}","starred_url":"https://api.github.com/users/stedolan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stedolan/subscriptions","organizations_url":"https://api.github.com/users/stedolan/orgs","repos_url":"https://api.github.com/users/stedolan/repos","events_url":"https://api.github.com/users/stedolan/events{/privacy}","received_events_url":"https://api.github.com/users/stedolan/received_events","type":"User","site_admin":false},"created_at":"2017-12-04T10:58:36Z","updated_at":"2017-12-04T10:58:36Z","author_association":"OWNER","body":"Is there still a stack overflow after @yomimono's #16? (which is merged on the master branch)"}}
{"actor":{"display_login":"stedolan"}}