{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/2243","repository_url":"https://api.github.com/repos/kframework/k","labels_url":"https://api.github.com/repos/kframework/k/issues/2243/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/2243/comments","events_url":"https://api.github.com/repos/kframework/k/issues/2243/events","html_url":"https://github.com/kframework/k/pull/2243","id":193034470,"number":2243,"title":"Bugfix2219","user":{"login":"HelenRouty","id":1679943,"avatar_url":"https://avatars.githubusercontent.com/u/1679943?v=3","gravatar_id":"","url":"https://api.github.com/users/HelenRouty","html_url":"https://github.com/HelenRouty","followers_url":"https://api.github.com/users/HelenRouty/followers","following_url":"https://api.github.com/users/HelenRouty/following{/other_user}","gists_url":"https://api.github.com/users/HelenRouty/gists{/gist_id}","starred_url":"https://api.github.com/users/HelenRouty/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HelenRouty/subscriptions","organizations_url":"https://api.github.com/users/HelenRouty/orgs","repos_url":"https://api.github.com/users/HelenRouty/repos","events_url":"https://api.github.com/users/HelenRouty/events{/privacy}","received_events_url":"https://api.github.com/users/HelenRouty/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":7,"created_at":"2016-12-02T04:56:07Z","updated_at":"2016-12-12T22:39:28Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/kframework/k/pulls/2243","html_url":"https://github.com/kframework/k/pull/2243","diff_url":"https://github.com/kframework/k/pull/2243.diff","patch_url":"https://github.com/kframework/k/pull/2243.patch"},"body":"The bug is: when using --no-prelude to generate compiledDefinition for an empty module, there will be a NoSuchElementException. The is due to a lack of checks for the Optional (Java) or Option(scala) types before extracting values from them. To fix the bug, we created an empty-module for unit test and added checks for Optional and Options.  After adding checks, we were able to create a CompiledDefinition with its topCellInitializer of null value.\n\nTo further avoid Exceptions when running Krun program caused by having no cells in compiledDefinition, we passed the noPrelude flag from kRunOption.output to CompiledDefinition. Then we disabled definition parsing and rename anonymous variables when generating K program result for the empty-module. Meanwhile, we added more checks to avoid exceptions for null value K and null KApply's klable value.\n\nFinally, we added test cases for non-empty module without --no-prelude parameter for regression test. We also added more test cases for kast program, KAST and BINARY pretty print modes.\n\n┆Issue is synchronized with this [Asana task](https://app.asana.com/0/148313234996210/224288564753197)\n"},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/266576321","html_url":"https://github.com/kframework/k/pull/2243#issuecomment-266576321","issue_url":"https://api.github.com/repos/kframework/k/issues/2243","id":266576321,"user":{"login":"HelenRouty","id":1679943,"avatar_url":"https://avatars.githubusercontent.com/u/1679943?v=3","gravatar_id":"","url":"https://api.github.com/users/HelenRouty","html_url":"https://github.com/HelenRouty","followers_url":"https://api.github.com/users/HelenRouty/followers","following_url":"https://api.github.com/users/HelenRouty/following{/other_user}","gists_url":"https://api.github.com/users/HelenRouty/gists{/gist_id}","starred_url":"https://api.github.com/users/HelenRouty/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HelenRouty/subscriptions","organizations_url":"https://api.github.com/users/HelenRouty/orgs","repos_url":"https://api.github.com/users/HelenRouty/repos","events_url":"https://api.github.com/users/HelenRouty/events{/privacy}","received_events_url":"https://api.github.com/users/HelenRouty/received_events","type":"User","site_admin":false},"created_at":"2016-12-12T22:39:28Z","updated_at":"2016-12-12T22:39:28Z","body":"@cos Thank you. Where can I find you?"}}
{"actor":{"display_login":"HelenRouty"}}