{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/652","repository_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell","labels_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/652/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/652/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/652/events","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/652","id":143580274,"number":652,"title":"Liquid haskell memory usage blows up to >12GB on my 168 file.","user":{"login":"NorfairKing","id":3521180,"avatar_url":"https://avatars.githubusercontent.com/u/3521180?v=3","gravatar_id":"","url":"https://api.github.com/users/NorfairKing","html_url":"https://github.com/NorfairKing","followers_url":"https://api.github.com/users/NorfairKing/followers","following_url":"https://api.github.com/users/NorfairKing/following{/other_user}","gists_url":"https://api.github.com/users/NorfairKing/gists{/gist_id}","starred_url":"https://api.github.com/users/NorfairKing/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NorfairKing/subscriptions","organizations_url":"https://api.github.com/users/NorfairKing/orgs","repos_url":"https://api.github.com/users/NorfairKing/repos","events_url":"https://api.github.com/users/NorfairKing/events{/privacy}","received_events_url":"https://api.github.com/users/NorfairKing/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/labels/performance","name":"performance","color":"0e8a16"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":11,"created_at":"2016-03-25T19:45:28Z","updated_at":"2016-03-29T17:06:33Z","closed_at":null,"body":"Specifically this file: https://github.com/NorfairKing/super-user-spark/blob/development/src/Arguments.hs\r\n\r\nI have no idea why or how to solve it.\r\n\r\nIt gets stock after this output:\r\n```\r\nLiquidHaskell Copyright 2009-15 Regents of the University of California. All Rights Reserved.\r\n\r\n\r\n**** DONE:  Parsed All Specifications ******************************************\r\n \r\n\r\n**** DONE:  Loaded Targets *****************************************************\r\n \r\n\r\n**** DONE:  Extracted Core using GHC *******************************************\r\n\r\n```"},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/comments/203001395","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/652#issuecomment-203001395","issue_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/652","id":203001395,"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":"2016-03-29T17:06:33Z","updated_at":"2016-03-29T17:06:33Z","body":"@NorfairKing a pair of mutually recursive types would be something like\r\n\r\n```haskell\r\ndata Foo = Foo Bar\r\ndata Bar = Bar Foo\r\n```\r\n\r\nThe types you mentioned are not mutually recursive, but I suspect there are more types in your project than just those two. Are there any mutually recursive types anywhere in the import hierarchy? Even if they're not used in the `Arguments` module, we could still be trying to process them as part of the import handling."}}