{"action":"closed","issue":{"url":"https://api.github.com/repos/franklinsch/flint/issues/181","repository_url":"https://api.github.com/repos/franklinsch/flint","labels_url":"https://api.github.com/repos/franklinsch/flint/issues/181/labels{/name}","comments_url":"https://api.github.com/repos/franklinsch/flint/issues/181/comments","events_url":"https://api.github.com/repos/franklinsch/flint/issues/181/events","html_url":"https://github.com/franklinsch/flint/issues/181","id":319745303,"number":181,"title":"Flintc can't compile the SimpleAuction.flint example","user":{"login":"seusher","id":416212,"avatar_url":"https://avatars1.githubusercontent.com/u/416212?v=4","gravatar_id":"","url":"https://api.github.com/users/seusher","html_url":"https://github.com/seusher","followers_url":"https://api.github.com/users/seusher/followers","following_url":"https://api.github.com/users/seusher/following{/other_user}","gists_url":"https://api.github.com/users/seusher/gists{/gist_id}","starred_url":"https://api.github.com/users/seusher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/seusher/subscriptions","organizations_url":"https://api.github.com/users/seusher/orgs","repos_url":"https://api.github.com/users/seusher/repos","events_url":"https://api.github.com/users/seusher/events{/privacy}","received_events_url":"https://api.github.com/users/seusher/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-05-02T23:28:06Z","updated_at":"2018-05-03T11:18:33Z","closed_at":"2018-05-03T11:18:33Z","author_association":"NONE","body":"Run:\r\n\r\n```\r\ndocker pull franklinsch/flint  \r\ndocker run -i -t franklinsch/flint\r\nflintc /flint/examples/solidity-translation/SimpleAuction.flint \r\n```\r\n\r\nYou will then get an error:\r\n```\r\nroot@270bc8b8ac4e:/# flintc /flint/examples/solidity-translation/SimpleAuction.flint \r\nError in SimpleAuction.flint:\r\nExpected token } at line 23, column 3:\r\n  @payable\r\n  ^^^^^^^^\r\n```\r\n\r\nI haven't dug into it, but it looks like the parser does properly parse the @payable attribute, but a parse error causes it to reset the index into the token list, so it processes \"@payable\" again where it would have found a '}' token had the position not been rolled back."}}
{"actor":{"display_login":"franklinsch"}}