{"action":"created","issue":{"url":"https://api.github.com/repos/emina/rosette/issues/42","repository_url":"https://api.github.com/repos/emina/rosette","labels_url":"https://api.github.com/repos/emina/rosette/issues/42/labels{/name}","comments_url":"https://api.github.com/repos/emina/rosette/issues/42/comments","events_url":"https://api.github.com/repos/emina/rosette/issues/42/events","html_url":"https://github.com/emina/rosette/pull/42","id":174312238,"number":42,"title":"use quote-syntax/keep-srcloc instead of syntax/source to avoid taint problems","user":{"login":"stchang","id":28650,"avatar_url":"https://avatars.githubusercontent.com/u/28650?v=3","gravatar_id":"","url":"https://api.github.com/users/stchang","html_url":"https://github.com/stchang","followers_url":"https://api.github.com/users/stchang/followers","following_url":"https://api.github.com/users/stchang/following{/other_user}","gists_url":"https://api.github.com/users/stchang/gists{/gist_id}","starred_url":"https://api.github.com/users/stchang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stchang/subscriptions","organizations_url":"https://api.github.com/users/stchang/orgs","repos_url":"https://api.github.com/users/stchang/repos","events_url":"https://api.github.com/users/stchang/events{/privacy}","received_events_url":"https://api.github.com/users/stchang/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-08-31T16:00:01Z","updated_at":"2016-08-31T16:11:10Z","closed_at":"2016-08-31T16:10:44Z","pull_request":{"url":"https://api.github.com/repos/emina/rosette/pulls/42","html_url":"https://github.com/emina/rosette/pull/42","diff_url":"https://github.com/emina/rosette/pull/42.diff","patch_url":"https://github.com/emina/rosette/pull/42.patch"},"body":"The previous commit 36d6465f52bb7d41d249b785d3f9b62977585d74, even though it fixed our source location issues, changed the behavior of the FSM demo so this PR reverts the change.\r\n\r\nInstead, this PR uses the Racket's `quote-syntax/keep-srcloc` instead of `syntax/source` to save the source location in `query/debug`. This enables us to work around the source location issues without introducing taint errors.\r\n\r\nAll the tests (`all-rosette` and `all-sdsl`) pass, and the FSM demo behaves as it did before (ie, in b89ef6c75ed948c015a3487919e8fc148a4d45cc)."},"comment":{"url":"https://api.github.com/repos/emina/rosette/issues/comments/243815539","html_url":"https://github.com/emina/rosette/pull/42#issuecomment-243815539","issue_url":"https://api.github.com/repos/emina/rosette/issues/42","id":243815539,"user":{"login":"emina","id":860640,"avatar_url":"https://avatars.githubusercontent.com/u/860640?v=3","gravatar_id":"","url":"https://api.github.com/users/emina","html_url":"https://github.com/emina","followers_url":"https://api.github.com/users/emina/followers","following_url":"https://api.github.com/users/emina/following{/other_user}","gists_url":"https://api.github.com/users/emina/gists{/gist_id}","starred_url":"https://api.github.com/users/emina/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/emina/subscriptions","organizations_url":"https://api.github.com/users/emina/orgs","repos_url":"https://api.github.com/users/emina/repos","events_url":"https://api.github.com/users/emina/events{/privacy}","received_events_url":"https://api.github.com/users/emina/received_events","type":"User","site_admin":false},"created_at":"2016-08-31T16:11:09Z","updated_at":"2016-08-31T16:11:09Z","body":"Sounds good."}}
{"actor":{"display_login":"emina"}}