{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3987","repository_url":"https://api.github.com/repos/idris-lang/Idris-dev","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3987/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3987/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3987/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/3987","id":249569444,"number":3987,"title":"Installation of idris 1.1.1 via brew is broken","user":{"login":"justjoheinz","id":392164,"avatar_url":"https://avatars3.githubusercontent.com/u/392164?v=4","gravatar_id":"","url":"https://api.github.com/users/justjoheinz","html_url":"https://github.com/justjoheinz","followers_url":"https://api.github.com/users/justjoheinz/followers","following_url":"https://api.github.com/users/justjoheinz/following{/other_user}","gists_url":"https://api.github.com/users/justjoheinz/gists{/gist_id}","starred_url":"https://api.github.com/users/justjoheinz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/justjoheinz/subscriptions","organizations_url":"https://api.github.com/users/justjoheinz/orgs","repos_url":"https://api.github.com/users/justjoheinz/repos","events_url":"https://api.github.com/users/justjoheinz/events{/privacy}","received_events_url":"https://api.github.com/users/justjoheinz/received_events","type":"User","site_admin":false},"labels":[{"id":352541672,"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/F-Meta","name":"F-Meta","color":"bebe00","default":false},{"id":352495839,"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/P-OS%20X","name":"P-OS X","color":"5319e7","default":false},{"id":352497233,"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/S-Normal","name":"S-Normal","color":"d93f0b","default":false},{"id":353730411,"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/W-Debugging","name":"W-Debugging","color":"c2e0c6","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2017-08-11T08:30:32Z","updated_at":"2017-08-12T12:43:22Z","closed_at":null,"body":"Please attach complete source files that exhibit the issue in addition\r\nto quoting from them here.\r\n\r\n# Steps to Reproduce\r\n\r\ninstall idris via brew\r\n`brew install idris`\r\n\r\n# Expected Behavior\r\n\r\nI can typecheck files in the idris REPL\r\n\r\n# Observed Behavior\r\n\r\n```\r\nidris Eff.idr\r\n/usr/local/Cellar/idris/1.1.1/share/x86_64-osx-ghc-8.0.2/idris-1.1.1/libs/prelude/Prelude.idr: openFile: does not exist (No such file or directory)\r\n     ____    __     _                                          \r\n    /  _/___/ /____(_)____                                     \r\n    / // __  / ___/ / ___/     Version 1.1.1\r\n  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/      \r\n /___/\\__,_/_/  /_/____/       Type :? for help               \r\n\r\nIdris is free software with ABSOLUTELY NO WARRANTY.            \r\nFor details type :warranty.\r\nMust be an ibc\r\n\r\n```\r\n\r\nPlease not the two error messages: \r\n  *  openFile: does not exist (No such file or directory)\r\n  *  Must be an ibc\r\n\r\nIt is not possible to typecheck any idris idr files.\r\n\r\n \r\n\r\n\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/321978742","html_url":"https://github.com/idris-lang/Idris-dev/issues/3987#issuecomment-321978742","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3987","id":321978742,"user":{"login":"justjoheinz","id":392164,"avatar_url":"https://avatars3.githubusercontent.com/u/392164?v=4","gravatar_id":"","url":"https://api.github.com/users/justjoheinz","html_url":"https://github.com/justjoheinz","followers_url":"https://api.github.com/users/justjoheinz/followers","following_url":"https://api.github.com/users/justjoheinz/following{/other_user}","gists_url":"https://api.github.com/users/justjoheinz/gists{/gist_id}","starred_url":"https://api.github.com/users/justjoheinz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/justjoheinz/subscriptions","organizations_url":"https://api.github.com/users/justjoheinz/orgs","repos_url":"https://api.github.com/users/justjoheinz/repos","events_url":"https://api.github.com/users/justjoheinz/events{/privacy}","received_events_url":"https://api.github.com/users/justjoheinz/received_events","type":"User","site_admin":false},"created_at":"2017-08-12T12:43:21Z","updated_at":"2017-08-12T12:43:21Z","body":"I did, and nothing suspicious was discovered.\n\nHowever, recently I managed for the first to to get a source install\nrunning via stack build. I will check if there are not conflicts with\nsomething lurking in some directory. i also tried uninstalling idris to no\navail. So it seems, that there must be something on my side, and no\nprincipal error with the brew idris installer. I will report here if I find\nanything.\n\n\n\n2017-08-12 13:41 GMT+02:00 Ahmad Salim Al-Sibahi <notifications@github.com>:\n\n> @justjoheinz <https://github.com/justjoheinz> Have you tried running brew\n> doctor and is there anything that it warns you about.\n>\n> —\n> You are receiving this because you were mentioned.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/idris-lang/Idris-dev/issues/3987#issuecomment-321975999>,\n> or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/AAX75P5Nz5hrDouvmjMH-S0XAxRqfNgxks5sXY91gaJpZM4O0YGP>\n> .\n>\n"}}
{"actor":{"display_login":"justjoheinz"}}