{"action":"created","issue":{"url":"https://api.github.com/repos/GaloisInc/ivory/issues/85","repository_url":"https://api.github.com/repos/GaloisInc/ivory","labels_url":"https://api.github.com/repos/GaloisInc/ivory/issues/85/labels{/name}","comments_url":"https://api.github.com/repos/GaloisInc/ivory/issues/85/comments","events_url":"https://api.github.com/repos/GaloisInc/ivory/issues/85/events","html_url":"https://github.com/GaloisInc/ivory/issues/85","id":182831508,"number":85,"title":"-Wall -Werror build fails on GHC 8.0","user":{"login":"wiz","id":486682,"avatar_url":"https://avatars.githubusercontent.com/u/486682?v=3","gravatar_id":"","url":"https://api.github.com/users/wiz","html_url":"https://github.com/wiz","followers_url":"https://api.github.com/users/wiz/followers","following_url":"https://api.github.com/users/wiz/following{/other_user}","gists_url":"https://api.github.com/users/wiz/gists{/gist_id}","starred_url":"https://api.github.com/users/wiz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wiz/subscriptions","organizations_url":"https://api.github.com/users/wiz/orgs","repos_url":"https://api.github.com/users/wiz/repos","events_url":"https://api.github.com/users/wiz/events{/privacy}","received_events_url":"https://api.github.com/users/wiz/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-10-13T16:02:33Z","updated_at":"2016-10-13T17:23:48Z","closed_at":"2016-10-13T17:23:48Z","body":"Using `--pedantic` with stack build triggers a lot of `reduntant-constraints` errors. E.g.:\r\n\r\n```\r\n    /opt/src/security/nk/thirdparty/ivory-master/ivory/src/Ivory/Language/Proxy.hs:18:1: warning: [-Wredundant-constraints]\r\n        • Redundant constraint: KnownNat n\r\n        • In the type signature for:\r\n               aNat :: KnownNat n => Proxy n\r\n    \r\n    /opt/src/security/nk/thirdparty/ivory-master/ivory/src/Ivory/Language/Proxy.hs:23:1: warning: [-Wredundant-constraints]\r\n        • Redundant constraint: KnownSymbol s\r\n        • In the type signature for:\r\n               aSymbol :: KnownSymbol s => Proxy s\r\n    \r\n    <no location info>: error: \r\n    Failing due to -Werror.\r\n```"},"comment":{"url":"https://api.github.com/repos/GaloisInc/ivory/issues/comments/253579940","html_url":"https://github.com/GaloisInc/ivory/issues/85#issuecomment-253579940","issue_url":"https://api.github.com/repos/GaloisInc/ivory/issues/85","id":253579940,"user":{"login":"acfoltzer","id":205266,"avatar_url":"https://avatars.githubusercontent.com/u/205266?v=3","gravatar_id":"","url":"https://api.github.com/users/acfoltzer","html_url":"https://github.com/acfoltzer","followers_url":"https://api.github.com/users/acfoltzer/followers","following_url":"https://api.github.com/users/acfoltzer/following{/other_user}","gists_url":"https://api.github.com/users/acfoltzer/gists{/gist_id}","starred_url":"https://api.github.com/users/acfoltzer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/acfoltzer/subscriptions","organizations_url":"https://api.github.com/users/acfoltzer/orgs","repos_url":"https://api.github.com/users/acfoltzer/repos","events_url":"https://api.github.com/users/acfoltzer/events{/privacy}","received_events_url":"https://api.github.com/users/acfoltzer/received_events","type":"User","site_admin":false},"created_at":"2016-10-13T17:23:48Z","updated_at":"2016-10-13T17:23:48Z","body":"Yeah, this overly-aggressive warning is a known issue with GHC 8.0.1. In 8.0.2, this warning will not be part of `-Wall` (and therefore not part of `--pedantic`), so we are going to be leaving the signatures alone. Thanks for looking out!"}}
{"actor":{"display_login":"acfoltzer"}}