{"action":"created","issue":{"url":"https://api.github.com/repos/CakeML/cakeml/issues/503","repository_url":"https://api.github.com/repos/CakeML/cakeml","labels_url":"https://api.github.com/repos/CakeML/cakeml/issues/503/labels{/name}","comments_url":"https://api.github.com/repos/CakeML/cakeml/issues/503/comments","events_url":"https://api.github.com/repos/CakeML/cakeml/issues/503/events","html_url":"https://github.com/CakeML/cakeml/pull/503","id":344711363,"node_id":"MDExOlB1bGxSZXF1ZXN0MjA0MDQwMTkz","number":503,"title":"Fix unverified sexp printer for wildcard patterns","user":{"login":"IlmariReissumies","id":15676638,"node_id":"MDQ6VXNlcjE1Njc2NjM4","avatar_url":"https://avatars1.githubusercontent.com/u/15676638?v=4","gravatar_id":"","url":"https://api.github.com/users/IlmariReissumies","html_url":"https://github.com/IlmariReissumies","followers_url":"https://api.github.com/users/IlmariReissumies/followers","following_url":"https://api.github.com/users/IlmariReissumies/following{/other_user}","gists_url":"https://api.github.com/users/IlmariReissumies/gists{/gist_id}","starred_url":"https://api.github.com/users/IlmariReissumies/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/IlmariReissumies/subscriptions","organizations_url":"https://api.github.com/users/IlmariReissumies/orgs","repos_url":"https://api.github.com/users/IlmariReissumies/repos","events_url":"https://api.github.com/users/IlmariReissumies/events{/privacy}","received_events_url":"https://api.github.com/users/IlmariReissumies/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-07-26T06:28:24Z","updated_at":"2018-07-26T11:29:59Z","closed_at":"2018-07-26T11:13:54Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/CakeML/cakeml/pulls/503","html_url":"https://github.com/CakeML/cakeml/pull/503","diff_url":"https://github.com/CakeML/cakeml/pull/503.diff","patch_url":"https://github.com/CakeML/cakeml/pull/503.patch"},"body":"Previously it would print Pany as \"Pany\", but the sexp parser expects \"(Pany)\""},"comment":{"url":"https://api.github.com/repos/CakeML/cakeml/issues/comments/408066415","html_url":"https://github.com/CakeML/cakeml/pull/503#issuecomment-408066415","issue_url":"https://api.github.com/repos/CakeML/cakeml/issues/503","id":408066415,"node_id":"MDEyOklzc3VlQ29tbWVudDQwODA2NjQxNQ==","user":{"login":"xrchz","id":181254,"node_id":"MDQ6VXNlcjE4MTI1NA==","avatar_url":"https://avatars1.githubusercontent.com/u/181254?v=4","gravatar_id":"","url":"https://api.github.com/users/xrchz","html_url":"https://github.com/xrchz","followers_url":"https://api.github.com/users/xrchz/followers","following_url":"https://api.github.com/users/xrchz/following{/other_user}","gists_url":"https://api.github.com/users/xrchz/gists{/gist_id}","starred_url":"https://api.github.com/users/xrchz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xrchz/subscriptions","organizations_url":"https://api.github.com/users/xrchz/orgs","repos_url":"https://api.github.com/users/xrchz/repos","events_url":"https://api.github.com/users/xrchz/events{/privacy}","received_events_url":"https://api.github.com/users/xrchz/received_events","type":"User","site_admin":false},"created_at":"2018-07-26T11:29:58Z","updated_at":"2018-07-26T11:29:58Z","author_association":"MEMBER","body":"How about creating another executable (alongside the compiler) by in-logic compilation, which is a simple executable that prints the result of `print_sexp bootstrap_ast` to `stdout`?"}}
{"actor":{"display_login":"xrchz"}}