{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/143","labels_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/143/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/143/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/143/events","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/143","id":107750653,"number":143,"title":"Bumping version number to 0.5","user":{"login":"christetreault","id":5084845,"avatar_url":"https://avatars.githubusercontent.com/u/5084845?v=3","gravatar_id":"","url":"https://api.github.com/users/christetreault","html_url":"https://github.com/christetreault","followers_url":"https://api.github.com/users/christetreault/followers","following_url":"https://api.github.com/users/christetreault/following{/other_user}","gists_url":"https://api.github.com/users/christetreault/gists{/gist_id}","starred_url":"https://api.github.com/users/christetreault/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/christetreault/subscriptions","organizations_url":"https://api.github.com/users/christetreault/orgs","repos_url":"https://api.github.com/users/christetreault/repos","events_url":"https://api.github.com/users/christetreault/events{/privacy}","received_events_url":"https://api.github.com/users/christetreault/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":14,"created_at":"2015-09-22T16:25:15Z","updated_at":"2015-09-22T18:11:48Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/pulls/143","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/143","diff_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/143.diff","patch_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/143.patch"},"body":"OK, break it all you want, the version has been bumped. I'll make LH in the repo depend on `liquid-fixpoint == 0.5.*` so it won't try to install from hackage."},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/comments/142368725","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/pull/143#issuecomment-142368725","issue_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/143","id":142368725,"user":{"login":"bmcfluff","id":4876098,"avatar_url":"https://avatars.githubusercontent.com/u/4876098?v=3","gravatar_id":"","url":"https://api.github.com/users/bmcfluff","html_url":"https://github.com/bmcfluff","followers_url":"https://api.github.com/users/bmcfluff/followers","following_url":"https://api.github.com/users/bmcfluff/following{/other_user}","gists_url":"https://api.github.com/users/bmcfluff/gists{/gist_id}","starred_url":"https://api.github.com/users/bmcfluff/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bmcfluff/subscriptions","organizations_url":"https://api.github.com/users/bmcfluff/orgs","repos_url":"https://api.github.com/users/bmcfluff/repos","events_url":"https://api.github.com/users/bmcfluff/events{/privacy}","received_events_url":"https://api.github.com/users/bmcfluff/received_events","type":"User","site_admin":false},"created_at":"2015-09-22T18:11:48Z","updated_at":"2015-09-22T18:11:48Z","body":"@christetreault - by re-exporting, are you referring e.g. to \"isDummy\" (https://github.com/ucsd-progsys/liquid-fixpoint/blob/master/src/Language/Fixpoint/Types.hs#L165) (https://github.com/ucsd-progsys/liquidhaskell/blob/master/src/Language/Haskell/Liquid/Types.hs#L39)? Not sure why we're doing that (and now might be the time to fix it...)"}}