{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/88","labels_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/88/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/88/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/88/events","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/88","id":97813384,"number":88,"title":"partition' fails for various files with error: PARTITION: wfGroupNothing","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":13,"created_at":"2015-07-28T22:14:51Z","updated_at":"2015-07-30T00:38:41Z","closed_at":null,"body":"For the following liquidhaskell test suite files:\r\n\r\n* pos/Holes.hs\r\n* pos/absref-crash0.hs\r\n* pos/LocalTermExpr.hs\r\n* pos/LocalHole.hs\r\n\r\nThe call to `partition'` is throwing this exception:\r\n\r\n```\r\n**** ERROR *********************************************************************\r\n**** ERROR *********************************************************************\r\n**** ERROR *********************************************************************\r\nPARTITION: wfGroupNothing\r\n**** ERROR *********************************************************************\r\n**** ERROR *********************************************************************\r\n**** ERROR *********************************************************************\r\n\r\n```\r\n\r\nThis behavior can be reproduced using the latest build from the cores branch. These files will return Sat using the singlethreaded solver `liquid [file].hs` but will throw when calling evaluating the list returned by `partition'` when solving with multiple threads `liquid --cores=4 [file].hs`"},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/comments/126140450","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/issues/88#issuecomment-126140450","issue_url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/issues/88","id":126140450,"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-07-30T00:38:41Z","updated_at":"2015-07-30T00:38:41Z","body":"The culprit is probably that fixpoint.native is NOT getting rebuilt after you clean.\n\nCan you wipe the slate clean (pushe your commits to github) then just start afresh with NEW repos?\n\n> On Jul 29, 2015, at 5:11 PM, Chris Tetreault <notifications@github.com> wrote:\n> \n> Just for kicks and giggles, I copied fixpoint and fixpoint.native into the same folder as the liquid exectubale, and deleted them from their previous location so that:\n> \n> chris@kittymitty:~/dmp/ucsd/liquid/ref-liquid$ which liquid\n> /home/chris/dmp/ucsd/liquid/ref-liquid/.cabal-sandbox/bin/liquid\n> chris@kittymitty:~/dmp/ucsd/liquid/ref-liquid$ which fixpoint\n> /home/chris/dmp/ucsd/liquid/ref-liquid/.cabal-sandbox/bin/fixpoint\n> chris@kittymitty:~/dmp/ucsd/liquid/ref-liquid$ which fixpoint.native\n> /home/chris/dmp/ucsd/liquid/ref-liquid/.cabal-sandbox/bin/fixpoint.native\n> No change in behavior.\n> \n> —\n> Reply to this email directly or view it on GitHub.\n> \n"}}