{"action":"created","issue":{"url":"https://api.github.com/repos/CakeML/cakeml/issues/526","repository_url":"https://api.github.com/repos/CakeML/cakeml","labels_url":"https://api.github.com/repos/CakeML/cakeml/issues/526/labels{/name}","comments_url":"https://api.github.com/repos/CakeML/cakeml/issues/526/comments","events_url":"https://api.github.com/repos/CakeML/cakeml/issues/526/events","html_url":"https://github.com/CakeML/cakeml/pull/526","id":360318298,"node_id":"MDExOlB1bGxSZXF1ZXN0MjE1NjA0OTIw","number":526,"title":"Resuscitate presLang as to_displayLang","user":{"login":"talsewell","id":13897968,"node_id":"MDQ6VXNlcjEzODk3OTY4","avatar_url":"https://avatars3.githubusercontent.com/u/13897968?v=4","gravatar_id":"","url":"https://api.github.com/users/talsewell","html_url":"https://github.com/talsewell","followers_url":"https://api.github.com/users/talsewell/followers","following_url":"https://api.github.com/users/talsewell/following{/other_user}","gists_url":"https://api.github.com/users/talsewell/gists{/gist_id}","starred_url":"https://api.github.com/users/talsewell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/talsewell/subscriptions","organizations_url":"https://api.github.com/users/talsewell/orgs","repos_url":"https://api.github.com/users/talsewell/repos","events_url":"https://api.github.com/users/talsewell/events{/privacy}","received_events_url":"https://api.github.com/users/talsewell/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2018-09-14T14:03:35Z","updated_at":"2018-10-12T15:04:08Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/CakeML/cakeml/pulls/526","html_url":"https://github.com/CakeML/cakeml/pull/526","diff_url":"https://github.com/CakeML/cakeml/pull/526.diff","patch_url":"https://github.com/CakeML/cakeml/pull/526.patch"},"body":"RFC at this stage. This is a first step towards resurrecting the\r\nexplorer (or some of it): rebuild the conversions from the various\r\nILs to the printable displayLang form.\r\n\r\nThe theory runs, but I don't know how to test whether there's\r\nany risk of breaking anything else (e.g. translation).\r\n"},"comment":{"url":"https://api.github.com/repos/CakeML/cakeml/issues/comments/429357111","html_url":"https://github.com/CakeML/cakeml/pull/526#issuecomment-429357111","issue_url":"https://api.github.com/repos/CakeML/cakeml/issues/526","id":429357111,"node_id":"MDEyOklzc3VlQ29tbWVudDQyOTM1NzExMQ==","user":{"login":"talsewell","id":13897968,"node_id":"MDQ6VXNlcjEzODk3OTY4","avatar_url":"https://avatars3.githubusercontent.com/u/13897968?v=4","gravatar_id":"","url":"https://api.github.com/users/talsewell","html_url":"https://github.com/talsewell","followers_url":"https://api.github.com/users/talsewell/followers","following_url":"https://api.github.com/users/talsewell/following{/other_user}","gists_url":"https://api.github.com/users/talsewell/gists{/gist_id}","starred_url":"https://api.github.com/users/talsewell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/talsewell/subscriptions","organizations_url":"https://api.github.com/users/talsewell/orgs","repos_url":"https://api.github.com/users/talsewell/repos","events_url":"https://api.github.com/users/talsewell/events{/privacy}","received_events_url":"https://api.github.com/users/talsewell/received_events","type":"User","site_admin":false},"created_at":"2018-10-12T15:04:08Z","updated_at":"2018-10-12T15:04:08Z","author_association":"NONE","body":"More work to be done. I'm going to close this here to stop the regression worker wasting time, and reopen in the standard CakeML workflow."}}
{"actor":{"display_login":"talsewell"}}