{"action":"created","issue":{"url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/99","labels_url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/99/labels{/name}","comments_url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/99/comments","events_url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/99/events","html_url":"https://github.com/UCSD-PL/RefScript/pull/99","id":58675169,"number":99,"title":"Unique mutable","user":{"login":"panagosg7","id":1099437,"avatar_url":"https://avatars.githubusercontent.com/u/1099437?v=3","gravatar_id":"","url":"https://api.github.com/users/panagosg7","html_url":"https://github.com/panagosg7","followers_url":"https://api.github.com/users/panagosg7/followers","following_url":"https://api.github.com/users/panagosg7/following{/other_user}","gists_url":"https://api.github.com/users/panagosg7/gists{/gist_id}","starred_url":"https://api.github.com/users/panagosg7/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/panagosg7/subscriptions","organizations_url":"https://api.github.com/users/panagosg7/orgs","repos_url":"https://api.github.com/users/panagosg7/repos","events_url":"https://api.github.com/users/panagosg7/events{/privacy}","received_events_url":"https://api.github.com/users/panagosg7/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2015-02-24T00:36:50Z","updated_at":"2015-02-24T02:44:21Z","closed_at":"2015-02-24T00:43:05Z","pull_request":{"url":"https://api.github.com/repos/UCSD-PL/RefScript/pulls/99","html_url":"https://github.com/UCSD-PL/RefScript/pull/99","diff_url":"https://github.com/UCSD-PL/RefScript/pull/99.diff","patch_url":"https://github.com/UCSD-PL/RefScript/pull/99.patch"},"body":"Special Mutability class UniqueMutability to prolong the phase of initializing objects.\r\n\r\nSee: \r\n\r\nhttps://github.com/UCSD-PL/RefScript/blob/unique_mutable/tests/pos/classes/init-02.ts"},"comment":{"url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/comments/75688651","html_url":"https://github.com/UCSD-PL/RefScript/pull/99#issuecomment-75688651","issue_url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/99","id":75688651,"user":{"login":"panagosg7","id":1099437,"avatar_url":"https://avatars.githubusercontent.com/u/1099437?v=3","gravatar_id":"","url":"https://api.github.com/users/panagosg7","html_url":"https://github.com/panagosg7","followers_url":"https://api.github.com/users/panagosg7/followers","following_url":"https://api.github.com/users/panagosg7/following{/other_user}","gists_url":"https://api.github.com/users/panagosg7/gists{/gist_id}","starred_url":"https://api.github.com/users/panagosg7/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/panagosg7/subscriptions","organizations_url":"https://api.github.com/users/panagosg7/orgs","repos_url":"https://api.github.com/users/panagosg7/repos","events_url":"https://api.github.com/users/panagosg7/events{/privacy}","received_events_url":"https://api.github.com/users/panagosg7/received_events","type":"User","site_admin":false},"created_at":"2015-02-24T02:44:20Z","updated_at":"2015-02-24T02:44:20Z","body":"It's because there is a separate temp variable added to the environment for\neach immutable field. So both accesses expose that same variable.\nOn Feb 23, 2015 6:38 PM, \"Ranjit Jhala\" <notifications@github.com> wrote:\n\n> Then what exactly is in the environment after the if test? How does the\n> thing know that the value of the infield equals 10 at assertat?\n>\n> > On Feb 23, 2015, at 6:22 PM, Panagiotis Vekris <notifications@github.com>\n> wrote:\n> >\n> > We've dropped support for Keyval- like predicates\n> > On Feb 23, 2015 6:13 PM, \"Ranjit Jhala\" <notifications@github.com>\n> wrote:\n> >\n> > > No I meant init-02 but with a signature like\n> > >\n> > >\n> > > /*@ createFoo :: () => { Foo<Immutable> | v.f = 10 } */\n> > >\n> > > On Mon, Feb 23, 2015 at 5:39 PM, Panagiotis Vekris <\n> > > notifications@github.com\n> > > > wrote:\n> > >\n> > > > I pushed two more (not sure if this is what you're asking for):\n> > > >\n> > > >\n> > >\n> https://github.com/UCSD-PL/RefScript/blob/master/tests/pos/classes/init-03.ts\n> > > >\n> > > >\n> > >\n> https://github.com/UCSD-PL/RefScript/blob/master/tests/neg/classes/init-03.ts\n> > > >\n> > > > --\n> > > > Reply to this email directly or view it on GitHub\n> > > > <https://github.com/UCSD-PL/RefScript/pull/99#issuecomment-75682536\n> >.\n> > > >\n> > >\n> > >\n> > >\n> > > --\n> > > Ranjit.\n> > >\n> > > —\n> > > Reply to this email directly or view it on GitHub\n> > > <https://github.com/UCSD-PL/RefScript/pull/99#issuecomment-75685903>.\n> > >\n> > —\n> > Reply to this email directly or view it on GitHub.\n> >\n>\n> —\n> Reply to this email directly or view it on GitHub\n> <https://github.com/UCSD-PL/RefScript/pull/99#issuecomment-75688075>.\n>\n"}}