{"action":"created","issue":{"url":"https://api.github.com/repos/tweag/ghc/issues/111","repository_url":"https://api.github.com/repos/tweag/ghc","labels_url":"https://api.github.com/repos/tweag/ghc/issues/111/labels{/name}","comments_url":"https://api.github.com/repos/tweag/ghc/issues/111/comments","events_url":"https://api.github.com/repos/tweag/ghc/issues/111/events","html_url":"https://github.com/tweag/ghc/issues/111","id":338978364,"node_id":"MDU6SXNzdWUzMzg5NzgzNjQ=","number":111,"title":"Linear types and record update syntax","user":{"login":"aspiwack","id":1413217,"node_id":"MDQ6VXNlcjE0MTMyMTc=","avatar_url":"https://avatars1.githubusercontent.com/u/1413217?v=4","gravatar_id":"","url":"https://api.github.com/users/aspiwack","html_url":"https://github.com/aspiwack","followers_url":"https://api.github.com/users/aspiwack/followers","following_url":"https://api.github.com/users/aspiwack/following{/other_user}","gists_url":"https://api.github.com/users/aspiwack/gists{/gist_id}","starred_url":"https://api.github.com/users/aspiwack/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aspiwack/subscriptions","organizations_url":"https://api.github.com/users/aspiwack/orgs","repos_url":"https://api.github.com/users/aspiwack/repos","events_url":"https://api.github.com/users/aspiwack/events{/privacy}","received_events_url":"https://api.github.com/users/aspiwack/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"aspiwack","id":1413217,"node_id":"MDQ6VXNlcjE0MTMyMTc=","avatar_url":"https://avatars1.githubusercontent.com/u/1413217?v=4","gravatar_id":"","url":"https://api.github.com/users/aspiwack","html_url":"https://github.com/aspiwack","followers_url":"https://api.github.com/users/aspiwack/followers","following_url":"https://api.github.com/users/aspiwack/following{/other_user}","gists_url":"https://api.github.com/users/aspiwack/gists{/gist_id}","starred_url":"https://api.github.com/users/aspiwack/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aspiwack/subscriptions","organizations_url":"https://api.github.com/users/aspiwack/orgs","repos_url":"https://api.github.com/users/aspiwack/repos","events_url":"https://api.github.com/users/aspiwack/events{/privacy}","received_events_url":"https://api.github.com/users/aspiwack/received_events","type":"User","site_admin":false},"assignees":[{"login":"aspiwack","id":1413217,"node_id":"MDQ6VXNlcjE0MTMyMTc=","avatar_url":"https://avatars1.githubusercontent.com/u/1413217?v=4","gravatar_id":"","url":"https://api.github.com/users/aspiwack","html_url":"https://github.com/aspiwack","followers_url":"https://api.github.com/users/aspiwack/followers","following_url":"https://api.github.com/users/aspiwack/following{/other_user}","gists_url":"https://api.github.com/users/aspiwack/gists{/gist_id}","starred_url":"https://api.github.com/users/aspiwack/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aspiwack/subscriptions","organizations_url":"https://api.github.com/users/aspiwack/orgs","repos_url":"https://api.github.com/users/aspiwack/repos","events_url":"https://api.github.com/users/aspiwack/events{/privacy}","received_events_url":"https://api.github.com/users/aspiwack/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/tweag/ghc/milestones/1","html_url":"https://github.com/tweag/ghc/milestone/1","labels_url":"https://api.github.com/repos/tweag/ghc/milestones/1/labels","id":3629550,"node_id":"MDk6TWlsZXN0b25lMzYyOTU1MA==","number":1,"title":"MVP (8.8 feature freeze)","description":"Basically:\r\n\r\n- Backward compatibility\r\n- Ghc compiles with linter on\r\n- linear-base compiles with linter on\r\n- Make the behaviour dependent on an extension being turned on\r\n- Flag to control hiding/printing multiplicity information in messages","creator":{"login":"aspiwack","id":1413217,"node_id":"MDQ6VXNlcjE0MTMyMTc=","avatar_url":"https://avatars1.githubusercontent.com/u/1413217?v=4","gravatar_id":"","url":"https://api.github.com/users/aspiwack","html_url":"https://github.com/aspiwack","followers_url":"https://api.github.com/users/aspiwack/followers","following_url":"https://api.github.com/users/aspiwack/following{/other_user}","gists_url":"https://api.github.com/users/aspiwack/gists{/gist_id}","starred_url":"https://api.github.com/users/aspiwack/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aspiwack/subscriptions","organizations_url":"https://api.github.com/users/aspiwack/orgs","repos_url":"https://api.github.com/users/aspiwack/repos","events_url":"https://api.github.com/users/aspiwack/events{/privacy}","received_events_url":"https://api.github.com/users/aspiwack/received_events","type":"User","site_admin":false},"open_issues":32,"closed_issues":28,"state":"open","created_at":"2018-09-06T15:14:17Z","updated_at":"2018-10-17T15:35:39Z","due_on":"2018-10-31T07:00:00Z","closed_at":null},"comments":0,"created_at":"2018-07-06T15:20:20Z","updated_at":"2018-10-17T15:36:20Z","closed_at":null,"author_association":"NONE","body":"Record update is rather crudely handled at the moment.\r\n\r\nThe easiest solution is to make record update consume its argument with multiplicity omega (note that affine, that would probably work too).\r\n\r\nBut there is also the opportunity of special-casing: if all the fields being updated are unrestricted (or affine), then the update is linear. Is it worth it?"},"comment":{"url":"https://api.github.com/repos/tweag/ghc/issues/comments/430678215","html_url":"https://github.com/tweag/ghc/issues/111#issuecomment-430678215","issue_url":"https://api.github.com/repos/tweag/ghc/issues/111","id":430678215,"node_id":"MDEyOklzc3VlQ29tbWVudDQzMDY3ODIxNQ==","user":{"login":"aspiwack","id":1413217,"node_id":"MDQ6VXNlcjE0MTMyMTc=","avatar_url":"https://avatars1.githubusercontent.com/u/1413217?v=4","gravatar_id":"","url":"https://api.github.com/users/aspiwack","html_url":"https://github.com/aspiwack","followers_url":"https://api.github.com/users/aspiwack/followers","following_url":"https://api.github.com/users/aspiwack/following{/other_user}","gists_url":"https://api.github.com/users/aspiwack/gists{/gist_id}","starred_url":"https://api.github.com/users/aspiwack/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aspiwack/subscriptions","organizations_url":"https://api.github.com/users/aspiwack/orgs","repos_url":"https://api.github.com/users/aspiwack/repos","events_url":"https://api.github.com/users/aspiwack/events{/privacy}","received_events_url":"https://api.github.com/users/aspiwack/received_events","type":"User","site_admin":false},"created_at":"2018-10-17T15:36:20Z","updated_at":"2018-10-17T15:36:20Z","author_association":"NONE","body":"I'll close (when #148 is merged) without the special-casing: only time will tell whether it's worth the extra complexity."}}
{"actor":{"display_login":"aspiwack"}}