{"action":"closed","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3465","repository_url":"https://api.github.com/repos/idris-lang/Idris-dev","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3465/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3465/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3465/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/3465","id":180230800,"number":3465,"title":"ffi009 seems to fail silently","user":{"login":"steshaw","id":45735,"avatar_url":"https://avatars.githubusercontent.com/u/45735?v=3","gravatar_id":"","url":"https://api.github.com/users/steshaw","html_url":"https://github.com/steshaw","followers_url":"https://api.github.com/users/steshaw/followers","following_url":"https://api.github.com/users/steshaw/following{/other_user}","gists_url":"https://api.github.com/users/steshaw/gists{/gist_id}","starred_url":"https://api.github.com/users/steshaw/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/steshaw/subscriptions","organizations_url":"https://api.github.com/users/steshaw/orgs","repos_url":"https://api.github.com/users/steshaw/repos","events_url":"https://api.github.com/users/steshaw/events{/privacy}","received_events_url":"https://api.github.com/users/steshaw/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-09-30T06:35:23Z","updated_at":"2016-10-02T23:52:51Z","closed_at":"2016-10-02T23:52:51Z","body":"I thought I'd broken something on my branch when I noticed `ffi009` succeeds but has what looks to be a nasty runtime error. Perhaps that's expected?\r\n\r\n> idris-0.12.3: test (suite: regression-and-feature-tests, args: --pattern ffi009)\r\n> \r\n> Progress: 1/2Regression and feature tests\r\n>   FFI\r\n>     ffi009:\r\n> Error: test/ffi009\r\n> idris: Foreign Function calls cannot be partially applied, without being inlined.\r\n> CallStack (from HasCallStack):\r\n>   error, called at src/IRTS/CodegenC.hs:343:36 in idris-0.12.3-LoUXGyrDJU677RY2CaNGaq:IRTS.CodegenC\r\n> clang: warning: argument unused during compilation: '-fno-strict-overflow'\r\n> \r\n> OK (7.63s)\r\n> \r\n> All 1 tests passed (7.63s)\r\n> \r\n> Completed 2 action(s).\r\n>       641.07 real       579.88 user        23.90 sys\r\n> "}}
{"actor":{"display_login":"steshaw"}}