{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/668","repository_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell","labels_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/668/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/668/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/668/events","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/668","id":147230157,"number":668,"title":"doesn't find files needed for check","user":{"login":"bonds","id":53434,"avatar_url":"https://avatars.githubusercontent.com/u/53434?v=3","gravatar_id":"","url":"https://api.github.com/users/bonds","html_url":"https://github.com/bonds","followers_url":"https://api.github.com/users/bonds/followers","following_url":"https://api.github.com/users/bonds/following{/other_user}","gists_url":"https://api.github.com/users/bonds/gists{/gist_id}","starred_url":"https://api.github.com/users/bonds/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bonds/subscriptions","organizations_url":"https://api.github.com/users/bonds/orgs","repos_url":"https://api.github.com/users/bonds/repos","events_url":"https://api.github.com/users/bonds/events{/privacy}","received_events_url":"https://api.github.com/users/bonds/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-04-10T14:36:39Z","updated_at":"2016-04-10T15:14:30Z","closed_at":null,"body":"I am attempting to check this project: https://github.com/bonds/winot. I am running liquid from the project root like so:\r\n\r\n````\r\n~/s/winot (master|…) ❯❯❯ stack exec -- liquid src/Wwan.hs \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:  annotate ***********************************************************\r\n \r\n\r\n**** RESULT: ERROR *************************************************************\r\n\r\n\r\nInvalid Source\r\n\r\n\r\n src/Wwan.hs:3:1-16: Error: GHC Error\r\n \r\n 3 | import Protolude\r\n     ^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Protolude' (/home/scott/src/winot/src/Protolude.hs) which is not loaded\r\n\r\n\r\n src/Wwan.hs:5:1-11: Error: GHC Error\r\n \r\n 5 | import Util\r\n     ^^^^^^^^^^^\r\n \r\n     attempting to use module `Util' (/home/scott/src/winot/src/Util.hs) which is not loaded\r\n\r\n\r\n src/Wwan.hs:6:1-12: Error: GHC Error\r\n \r\n 6 | import World\r\n     ^^^^^^^^^^^^\r\n \r\n     attempting to use module `World' (/home/scott/src/winot/src/World.hs) which is not loaded\r\n~/s/winot (master|…) ❯❯❯\r\n````\r\nIt doesn't seem to figure out which files to include on its own. Trying ````stack exec -- liquid -i src src/Wwan.hs```` yields the same result. Adding ````--cabal-dir```` with or without ````-i src```` yields the same result. Using ````--c-files=```` in reference to one of the files in the error message seems to be a step in the right direction:\r\n\r\n````\r\n~/s/winot (master|…) ❯❯❯ stack exec -- liquid --c-files=src/World.hs src/Wwan.hs\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:  annotate ***********************************************************\r\n \r\n\r\n**** RESULT: ERROR *************************************************************\r\n\r\n\r\nInvalid Source\r\n\r\n\r\n /home/scott/src/winot/src/World.hs:3:1-16: Error: GHC Error\r\n \r\n 3 | import Protolude\r\n     ^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Protolude' (/home/scott/src/winot/src/Protolude.hs) which is not loaded\r\n~/s/winot (master|…) ❯❯❯\r\n````\r\nSo I include another like so:\r\n````\r\n~/s/winot (master|…) ❯❯❯ stack exec -- liquid --c-files=src/Protolude.hs --c-files=src/World.hs src/Wwan.hs\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:  annotate ***********************************************************\r\n \r\n\r\n**** RESULT: ERROR *************************************************************\r\n\r\n\r\nInvalid Source\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:18:1-26: Error: GHC Error\r\n \r\n 18 | import qualified List as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `List' (/home/scott/src/winot/src/List.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:19:1-26: Error: GHC Error\r\n \r\n 19 | import qualified Show as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Show' (/home/scott/src/winot/src/Show.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:20:1-26: Error: GHC Error\r\n \r\n 20 | import qualified Bool as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Bool' (/home/scott/src/winot/src/Bool.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:21:1-27: Error: GHC Error\r\n \r\n 21 | import qualified Debug as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Debug' (/home/scott/src/winot/src/Debug.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:22:1-27: Error: GHC Error\r\n \r\n 22 | import qualified Monad as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Monad' (/home/scott/src/winot/src/Monad.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:23:1-33: Error: GHC Error\r\n \r\n 23 | import qualified Applicative as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Applicative' (/home/scott/src/winot/src/Applicative.hs) which is not loaded\r\n~/s/winot (master|…) ❯❯❯                            Sun Apr 10 07:07:04 PDT 2016\r\n````\r\nHow about another?\r\n````\r\n~/s/winot (master|…) ❯❯❯ stack exec -- liquid --c-files=src/Protolude.hs --c-files=src/Applicative.hs --c-files=src/World.hs src/Wwan.hs\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:  annotate ***********************************************************\r\n \r\n\r\n**** RESULT: ERROR *************************************************************\r\n\r\n\r\nInvalid Source\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:18:1-26: Error: GHC Error\r\n \r\n 18 | import qualified List as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `List' (/home/scott/src/winot/src/List.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:19:1-26: Error: GHC Error\r\n \r\n 19 | import qualified Show as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Show' (/home/scott/src/winot/src/Show.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:20:1-26: Error: GHC Error\r\n \r\n 20 | import qualified Bool as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Bool' (/home/scott/src/winot/src/Bool.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:21:1-27: Error: GHC Error\r\n \r\n 21 | import qualified Debug as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Debug' (/home/scott/src/winot/src/Debug.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:22:1-27: Error: GHC Error\r\n \r\n 22 | import qualified Monad as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Monad' (/home/scott/src/winot/src/Monad.hs) which is not loaded\r\n\r\n\r\n /home/scott/src/winot/src/Protolude.hs:23:1-33: Error: GHC Error\r\n \r\n 23 | import qualified Applicative as X\r\n      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n \r\n     attempting to use module `Applicative' (/home/scott/src/winot/src/Applicative.hs) which is not loaded\r\n~/s/winot (master|…) ❯❯❯                            Sun Apr 10 07:07:56 PDT 2016\r\n````\r\nHmm, that time including an additional file didn't do anything. Maybe the ordering matters?\r\n````\r\n~/s/winot (master|…) ❯❯❯ stack exec -- liquid --c-files=src/Applicative.hs --c-files=src/Protolude.hs --c-files=src/World.hs src/Wwan.hs\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\nliquid: liquid: panic! (the 'impossible' happened)\r\n  (GHC version 7.10.3 for x86_64-unknown-openbsd):\r\n        codeOutput: HscInterpreted\r\n\r\nPlease report this as a GHC bug:  http://www.haskell.org/ghc/reportabug\r\n\r\n~/s/winot (master|…) ❯❯❯\r\n````\r\nHmm. The 'impossible' happened. Not sure what to try next. Here's some info on my environment:\r\n\r\n````\r\n~/s/winot (master|…) ❯❯❯ which ghc                  Sun Apr 10 07:10:00 PDT 2016\r\n/usr/local/bin/ghc\r\n~/s/winot (master|…) ❯❯❯ stack exec which ghc       Sun Apr 10 07:10:10 PDT 2016\r\n/usr/local/bin/ghc\r\n~/s/winot (master|…) ❯❯❯ ghc --version              Sun Apr 10 07:10:23 PDT 2016\r\nThe Glorious Glasgow Haskell Compilation System, version 7.10.3\r\n~/s/winot (master|…) ❯❯❯ which liquid               Sun Apr 10 07:10:29 PDT 2016\r\n/home/scott/.local/bin/liquid\r\n~/s/winot (master|…) ❯❯❯ stack exec which liquid    Sun Apr 10 07:10:44 PDT 2016\r\n/home/scott/.local/bin/liquid\r\n~/s/winot (master|…) ❯❯❯ liquid -V                  Sun Apr 10 07:12:26 PDT 2016\r\nLiquidHaskell Copyright 2009-15 Regents of the University of California. All Rights Reserved.\r\n~/s/liquidhaskell (master|✔) ❯❯❯ uname -mrsv        Sun Apr 10 07:16:16 PDT 2016\r\nOpenBSD 5.9 GENERIC.MP#3 amd64\r\n````\r\nI am running liquid at commit 4adc84421e6cfed601c8202ee99191beb99e5576."},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/comments/207998467","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/668#issuecomment-207998467","issue_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/668","id":207998467,"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":"2016-04-10T15:14:30Z","updated_at":"2016-04-10T15:14:30Z","body":"Odd thanks for filing this! Will take a look this afternoon!"}}