{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/204","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/204/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/204/comments","events_url":"https://api.github.com/repos/coq/coq/issues/204/events","html_url":"https://github.com/coq/coq/pull/204","id":159829977,"number":204,"title":"Allow stream parsing from the Stm.","user":{"login":"ejgallego","id":7192257,"avatar_url":"https://avatars.githubusercontent.com/u/7192257?v=3","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":13,"created_at":"2016-06-12T14:25:45Z","updated_at":"2016-06-21T15:55:15Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/coq/coq/pulls/204","html_url":"https://github.com/coq/coq/pull/204","diff_url":"https://github.com/coq/coq/pull/204.diff","patch_url":"https://github.com/coq/coq/pull/204.patch"},"body":"This patch proposes two changes to the `Stm.add` interface in order to help with whole document parsing (such as the one attempted in SerAPI):\r\n\r\n- `Stm.add` now takes a `Pcoq.Gram.parsable` instead of a `string`.\r\n- `Stm.add` now returns the location of the end of the parsed sentence.\r\n\r\nBoth features allow for easier and more accurate document building by repeated calls to `Stm.add`."},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/227485343","html_url":"https://github.com/coq/coq/pull/204#issuecomment-227485343","issue_url":"https://api.github.com/repos/coq/coq/issues/204","id":227485343,"user":{"login":"ejgallego","id":7192257,"avatar_url":"https://avatars.githubusercontent.com/u/7192257?v=3","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"created_at":"2016-06-21T15:55:15Z","updated_at":"2016-06-21T15:55:15Z","body":"I do agree thou that maybe a special mode that combines `Stm.get_ast` with add could be useful."}}
{"actor":{"display_login":"ejgallego"}}