{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/374","labels_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/374/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/374/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/374/events","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/374","id":66240060,"number":374,"title":"Failure from unknown source","user":{"login":"lcycon","id":471773,"avatar_url":"https://avatars.githubusercontent.com/u/471773?v=3","gravatar_id":"","url":"https://api.github.com/users/lcycon","html_url":"https://github.com/lcycon","followers_url":"https://api.github.com/users/lcycon/followers","following_url":"https://api.github.com/users/lcycon/following{/other_user}","gists_url":"https://api.github.com/users/lcycon/gists{/gist_id}","starred_url":"https://api.github.com/users/lcycon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lcycon/subscriptions","organizations_url":"https://api.github.com/users/lcycon/orgs","repos_url":"https://api.github.com/users/lcycon/repos","events_url":"https://api.github.com/users/lcycon/events{/privacy}","received_events_url":"https://api.github.com/users/lcycon/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"nikivazou","id":714933,"avatar_url":"https://avatars.githubusercontent.com/u/714933?v=3","gravatar_id":"","url":"https://api.github.com/users/nikivazou","html_url":"https://github.com/nikivazou","followers_url":"https://api.github.com/users/nikivazou/followers","following_url":"https://api.github.com/users/nikivazou/following{/other_user}","gists_url":"https://api.github.com/users/nikivazou/gists{/gist_id}","starred_url":"https://api.github.com/users/nikivazou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikivazou/subscriptions","organizations_url":"https://api.github.com/users/nikivazou/orgs","repos_url":"https://api.github.com/users/nikivazou/repos","events_url":"https://api.github.com/users/nikivazou/events{/privacy}","received_events_url":"https://api.github.com/users/nikivazou/received_events","type":"User","site_admin":false},"milestone":null,"comments":16,"created_at":"2015-04-03T22:28:43Z","updated_at":"2015-04-05T18:44:03Z","closed_at":null,"body":"```\r\nliquid -g-no-user-package-db -g\"-package-db /Users/lukecycon/Development/School/tournament/.cabal-sandbox/x86_64-osx-ghc-7.8.3-packages.conf.d\" Tournament/Controller/Util.hs\r\nLiquidHaskell Copyright 2009-14 Regents of the University of California. All Rights Reserved.\r\n\r\n\r\n**** DONE:  Extracted Core using GHC *******************************************\r\n\r\nliquid:\r\n**** ERROR *********************************************************************\r\n**** ERROR *********************************************************************\r\n**** ERROR *********************************************************************\r\ncheckTycon cconsCaselq_anf__dbxP, type: exists [z:{lq_tmp_x1803 : [{lq_tmp_x1800 : Data.ByteString.Internal.ByteString^\"lq_tmp_x1667\" \"lq_tmp_x1719\" | k_1666[VV#1665:=lq_tmp_x1800][VV#1672:=lq_tmp_x1803][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1675:=lq_tmp_x1800][lq_tmp_x1678:=lq_tmp_x1803][lq_tmp_x1782:=lq_tmp_x1800][lq_tmp_x1785:=lq_tmp_x1803] && k_1718[lq_tmp_x1727:=thing#abqy][VV#1717:=lq_tmp_x1800][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1675:=lq_tmp_x1800][lq_tmp_x1678:=lq_tmp_x1803][lq_tmp_x1782:=lq_tmp_x1800][lq_tmp_x1785:=lq_tmp_x1803]}]^\"lq_tmp_x1674\" \"lq_tmp_x1726\" | k_1673[VV#1672:=lq_tmp_x1803][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1678:=lq_tmp_x1803][lq_tmp_x1785:=lq_tmp_x1803] && k_1725[lq_tmp_x1727:=thing#abqy][VV#1724:=lq_tmp_x1803][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1678:=lq_tmp_x1803][lq_tmp_x1785:=lq_tmp_x1803]}].{lq_tmp_x1815 : [{lq_tmp_x1808 : [{lq_tmp_x1804 : GHC.Types.Char^\"lq_tmp_x1681\" \"lq_tmp_x1731\" | k_1680[VV#1679:=lq_tmp_x1804][VV#1686:=lq_tmp_x1808][VV#1700:=lq_tmp_x1815][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1703:=lq_tmp_x1804][lq_tmp_x1706:=lq_tmp_x1808][lq_tmp_x1712:=lq_tmp_x1815][lq_tmp_x1786:=lq_tmp_x1804][lq_tmp_x1790:=lq_tmp_x1808][lq_tmp_x1797:=lq_tmp_x1815] && k_1730[lq_tmp_x1753:=z][VV#1729:=lq_tmp_x1804][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1703:=lq_tmp_x1804][lq_tmp_x1706:=lq_tmp_x1808][lq_tmp_x1712:=lq_tmp_x1815][lq_tmp_x1786:=lq_tmp_x1804][lq_tmp_x1790:=lq_tmp_x1808][lq_tmp_x1797:=lq_tmp_x1815]}]^\"lq_tmp_x1688\" \"lq_tmp_x1738\" | k_1687[VV#1686:=lq_tmp_x1808][VV#1700:=lq_tmp_x1815][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1706:=lq_tmp_x1808][lq_tmp_x1712:=lq_tmp_x1815][lq_tmp_x1790:=lq_tmp_x1808][lq_tmp_x1797:=lq_tmp_x1815] && k_1737[lq_tmp_x1753:=z][VV#1736:=lq_tmp_x1808][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1706:=lq_tmp_x1808][lq_tmp_x1712:=lq_tmp_x1815][lq_tmp_x1790:=lq_tmp_x1808][lq_tmp_x1797:=lq_tmp_x1815]}]^\"lq_tmp_x1702\" \"lq_tmp_x1752\" | k_1701[VV#1700:=lq_tmp_x1815][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1712:=lq_tmp_x1815][lq_tmp_x1797:=lq_tmp_x1815] && k_1751[lq_tmp_x1753:=z][VV#1750:=lq_tmp_x1815][lq_tmp_x1662:=lq_anf__dbxK][lq_tmp_x1663:=lq_anf__dbxN][lq_tmp_x1664:=thing#abqy][lq_tmp_x1712:=lq_tmp_x1815][lq_tmp_x1797:=lq_tmp_x1815]}\r\n**** ERROR *********************************************************************\r\n**** ERROR *********************************************************************\r\n**** ERROR *********************************************************************\r\n```\r\n\r\nWhen run on this file:\r\n\r\nhttps://github.com/UCSD-PL/tournament/blob/b0b79e878c5f308ca6f71a5d0dd6aa8c98f0d969/Tournament/Controller/Util.hs\r\n\r\nExcuse the horribly code, it was done in a hurry to prove a point ;)\r\n\r\n@ranjitjhala "},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/comments/89831313","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/374#issuecomment-89831313","issue_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/374","id":89831313,"user":{"login":"ranjitjhala","id":1650232,"avatar_url":"https://avatars.githubusercontent.com/u/1650232?v=3","gravatar_id":"","url":"https://api.github.com/users/ranjitjhala","html_url":"https://github.com/ranjitjhala","followers_url":"https://api.github.com/users/ranjitjhala/followers","following_url":"https://api.github.com/users/ranjitjhala/following{/other_user}","gists_url":"https://api.github.com/users/ranjitjhala/gists{/gist_id}","starred_url":"https://api.github.com/users/ranjitjhala/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ranjitjhala/subscriptions","organizations_url":"https://api.github.com/users/ranjitjhala/orgs","repos_url":"https://api.github.com/users/ranjitjhala/repos","events_url":"https://api.github.com/users/ranjitjhala/events{/privacy}","received_events_url":"https://api.github.com/users/ranjitjhala/received_events","type":"User","site_admin":false},"created_at":"2015-04-05T18:44:03Z","updated_at":"2015-04-05T18:44:03Z","body":"What exactly is the problem with building?\n\n(btw, wonder if we should make liquid-fixpoint a git submodule to solve\nthese issues...)\n\nOn Sun, Apr 5, 2015 at 11:19 AM, Niki Vazou <notifications@github.com>\nwrote:\n\n> An alternative to building head is to update the type of (.), as in\n>\n> f681f1c\n> <https://github.com/ucsd-progsys/liquidhaskell/commit/f681f1c172b21a2f7c6312d64106d96fb4f27405>\n>\n> --\n> Reply to this email directly or view it on GitHub\n> <https://github.com/ucsd-progsys/liquidhaskell/issues/374#issuecomment-89825531>\n> .\n>\n\n\n\n-- \nRanjit.\n"}}