{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/14","labels_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/14/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/14/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/14/events","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/14","id":123543889,"number":14,"title":"[CLOSED] Use fully qualified names in fixpoint","user":{"login":"gridaphobe","id":201997,"avatar_url":"https://avatars.githubusercontent.com/u/201997?v=3","gravatar_id":"","url":"https://api.github.com/users/gridaphobe","html_url":"https://github.com/gridaphobe","followers_url":"https://api.github.com/users/gridaphobe/followers","following_url":"https://api.github.com/users/gridaphobe/following{/other_user}","gists_url":"https://api.github.com/users/gridaphobe/gists{/gist_id}","starred_url":"https://api.github.com/users/gridaphobe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gridaphobe/subscriptions","organizations_url":"https://api.github.com/users/gridaphobe/orgs","repos_url":"https://api.github.com/users/gridaphobe/repos","events_url":"https://api.github.com/users/gridaphobe/events{/privacy}","received_events_url":"https://api.github.com/users/gridaphobe/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-12-22T19:41:58Z","updated_at":"2015-12-22T19:41:59Z","closed_at":null,"body":"<a href=\"https://github.com/gridaphobe\"><img src=\"https://avatars.githubusercontent.com/u/201997?v=3\" align=\"left\" width=\"96\" height=\"96\" hspace=\"10\"></img></a> **Issue by [gridaphobe](https://github.com/gridaphobe)**\n_Monday Jun 24, 2013 at 21:47 GMT_\n_Originally opened as https://github.com/ucsd-progsys/liquid-fixpoint-ocaml/pull/14_\n\n----\n\nThis is crucial for being able to check modules that import datatypes with the same name as a locally defined type, e.g `Data.Text.Lazy.Internal.Text` vs `Data.Text.Internal.Text`. This should be merged in tandem with https://github.com/ucsd-progsys/liquidhaskell/pull/85.\n\n----\n\n_**[gridaphobe](https://github.com/gridaphobe)** included the following code: https://github.com/ucsd-progsys/liquid-fixpoint-ocaml/pull/14/commits_\n"},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/comments/166712466","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/14#issuecomment-166712466","issue_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/14","id":166712466,"user":{"login":"gridaphobe","id":201997,"avatar_url":"https://avatars.githubusercontent.com/u/201997?v=3","gravatar_id":"","url":"https://api.github.com/users/gridaphobe","html_url":"https://github.com/gridaphobe","followers_url":"https://api.github.com/users/gridaphobe/followers","following_url":"https://api.github.com/users/gridaphobe/following{/other_user}","gists_url":"https://api.github.com/users/gridaphobe/gists{/gist_id}","starred_url":"https://api.github.com/users/gridaphobe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gridaphobe/subscriptions","organizations_url":"https://api.github.com/users/gridaphobe/orgs","repos_url":"https://api.github.com/users/gridaphobe/repos","events_url":"https://api.github.com/users/gridaphobe/events{/privacy}","received_events_url":"https://api.github.com/users/gridaphobe/received_events","type":"User","site_admin":false},"created_at":"2015-12-22T19:41:59Z","updated_at":"2015-12-22T19:41:59Z","body":"<a href=\"https://github.com/ranjitjhala\"><img src=\"https://avatars.githubusercontent.com/u/1650232?v=3\" align=\"left\" width=\"48\" height=\"48\" hspace=\"10\"></img></a> **Comment by [ranjitjhala](https://github.com/ranjitjhala)**\n_Friday Jun 28, 2013 at 19:10 GMT_\n\n----\n\nSeems innocent (and correct) but fingers crossed!\n"}}