{"action":"created","issue":{"url":"https://api.github.com/repos/lampepfl/dotty/issues/5644","repository_url":"https://api.github.com/repos/lampepfl/dotty","labels_url":"https://api.github.com/repos/lampepfl/dotty/issues/5644/labels{/name}","comments_url":"https://api.github.com/repos/lampepfl/dotty/issues/5644/comments","events_url":"https://api.github.com/repos/lampepfl/dotty/issues/5644/events","html_url":"https://github.com/lampepfl/dotty/pull/5644","id":392515270,"node_id":"MDExOlB1bGxSZXF1ZXN0MjM5NzY4OTAx","number":5644,"title":"Improve Source Positions","user":{"login":"odersky","id":795990,"node_id":"MDQ6VXNlcjc5NTk5MA==","avatar_url":"https://avatars2.githubusercontent.com/u/795990?v=4","gravatar_id":"","url":"https://api.github.com/users/odersky","html_url":"https://github.com/odersky","followers_url":"https://api.github.com/users/odersky/followers","following_url":"https://api.github.com/users/odersky/following{/other_user}","gists_url":"https://api.github.com/users/odersky/gists{/gist_id}","starred_url":"https://api.github.com/users/odersky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/odersky/subscriptions","organizations_url":"https://api.github.com/users/odersky/orgs","repos_url":"https://api.github.com/users/odersky/repos","events_url":"https://api.github.com/users/odersky/events{/privacy}","received_events_url":"https://api.github.com/users/odersky/received_events","type":"User","site_admin":false},"labels":[{"id":436371980,"node_id":"MDU6TGFiZWw0MzYzNzE5ODA=","url":"https://api.github.com/repos/lampepfl/dotty/labels/stat:wip","name":"stat:wip","color":"f9d0c4","default":false}],"state":"open","locked":false,"assignee":{"login":"nicolasstucki","id":3648029,"node_id":"MDQ6VXNlcjM2NDgwMjk=","avatar_url":"https://avatars2.githubusercontent.com/u/3648029?v=4","gravatar_id":"","url":"https://api.github.com/users/nicolasstucki","html_url":"https://github.com/nicolasstucki","followers_url":"https://api.github.com/users/nicolasstucki/followers","following_url":"https://api.github.com/users/nicolasstucki/following{/other_user}","gists_url":"https://api.github.com/users/nicolasstucki/gists{/gist_id}","starred_url":"https://api.github.com/users/nicolasstucki/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nicolasstucki/subscriptions","organizations_url":"https://api.github.com/users/nicolasstucki/orgs","repos_url":"https://api.github.com/users/nicolasstucki/repos","events_url":"https://api.github.com/users/nicolasstucki/events{/privacy}","received_events_url":"https://api.github.com/users/nicolasstucki/received_events","type":"User","site_admin":false},"assignees":[{"login":"nicolasstucki","id":3648029,"node_id":"MDQ6VXNlcjM2NDgwMjk=","avatar_url":"https://avatars2.githubusercontent.com/u/3648029?v=4","gravatar_id":"","url":"https://api.github.com/users/nicolasstucki","html_url":"https://github.com/nicolasstucki","followers_url":"https://api.github.com/users/nicolasstucki/followers","following_url":"https://api.github.com/users/nicolasstucki/following{/other_user}","gists_url":"https://api.github.com/users/nicolasstucki/gists{/gist_id}","starred_url":"https://api.github.com/users/nicolasstucki/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nicolasstucki/subscriptions","organizations_url":"https://api.github.com/users/nicolasstucki/orgs","repos_url":"https://api.github.com/users/nicolasstucki/repos","events_url":"https://api.github.com/users/nicolasstucki/events{/privacy}","received_events_url":"https://api.github.com/users/nicolasstucki/received_events","type":"User","site_admin":false}],"milestone":null,"comments":6,"created_at":"2018-12-19T09:39:58Z","updated_at":"2019-01-05T16:42:28Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/lampepfl/dotty/pulls/5644","html_url":"https://github.com/lampepfl/dotty/pull/5644","diff_url":"https://github.com/lampepfl/dotty/pull/5644.diff","patch_url":"https://github.com/lampepfl/dotty/pull/5644.patch"},"body":"The goal of this PR is to be able to produce the full source position of a tree without\r\nrelying on context in Inlined nodes. Such context is fragile because it is very hard to preserve\r\nduring staging and other operations on Tasty trees. On the other hand, we do not want to spend one extra field per tree. So the idea is to use the `uniqueId` field of a tree as an index to determine the source file in which it was created.\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/lampepfl/dotty/issues/comments/451670222","html_url":"https://github.com/lampepfl/dotty/pull/5644#issuecomment-451670222","issue_url":"https://api.github.com/repos/lampepfl/dotty/issues/5644","id":451670222,"node_id":"MDEyOklzc3VlQ29tbWVudDQ1MTY3MDIyMg==","user":{"login":"dotty-bot","id":12519979,"node_id":"MDQ6VXNlcjEyNTE5OTc5","avatar_url":"https://avatars0.githubusercontent.com/u/12519979?v=4","gravatar_id":"","url":"https://api.github.com/users/dotty-bot","html_url":"https://github.com/dotty-bot","followers_url":"https://api.github.com/users/dotty-bot/followers","following_url":"https://api.github.com/users/dotty-bot/following{/other_user}","gists_url":"https://api.github.com/users/dotty-bot/gists{/gist_id}","starred_url":"https://api.github.com/users/dotty-bot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dotty-bot/subscriptions","organizations_url":"https://api.github.com/users/dotty-bot/orgs","repos_url":"https://api.github.com/users/dotty-bot/repos","events_url":"https://api.github.com/users/dotty-bot/events{/privacy}","received_events_url":"https://api.github.com/users/dotty-bot/received_events","type":"User","site_admin":false},"created_at":"2019-01-05T16:42:28Z","updated_at":"2019-01-05T16:42:28Z","author_association":"NONE","body":"Performance test finished successfully:\n\nVisit http://dotty-bench.epfl.ch/5644/ to see the changes.\n\nBenchmarks is based on merging with master (5b7d5b6)"}}
{"actor":{"display_login":"dotty-bot"}}