{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/1966","labels_url":"https://api.github.com/repos/kframework/k/issues/1966/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/1966/comments","events_url":"https://api.github.com/repos/kframework/k/issues/1966/events","html_url":"https://github.com/kframework/k/pull/1966","id":124301619,"number":1966,"title":"Lambda all lessons","user":{"login":"laurayuwen","id":3274406,"avatar_url":"https://avatars.githubusercontent.com/u/3274406?v=3","gravatar_id":"","url":"https://api.github.com/users/laurayuwen","html_url":"https://github.com/laurayuwen","followers_url":"https://api.github.com/users/laurayuwen/followers","following_url":"https://api.github.com/users/laurayuwen/following{/other_user}","gists_url":"https://api.github.com/users/laurayuwen/gists{/gist_id}","starred_url":"https://api.github.com/users/laurayuwen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/laurayuwen/subscriptions","organizations_url":"https://api.github.com/users/laurayuwen/orgs","repos_url":"https://api.github.com/users/laurayuwen/repos","events_url":"https://api.github.com/users/laurayuwen/events{/privacy}","received_events_url":"https://api.github.com/users/laurayuwen/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/kframework/k/labels/reviewed","name":"reviewed","color":"5319e7"}],"state":"open","locked":false,"assignee":{"login":"laurayuwen","id":3274406,"avatar_url":"https://avatars.githubusercontent.com/u/3274406?v=3","gravatar_id":"","url":"https://api.github.com/users/laurayuwen","html_url":"https://github.com/laurayuwen","followers_url":"https://api.github.com/users/laurayuwen/followers","following_url":"https://api.github.com/users/laurayuwen/following{/other_user}","gists_url":"https://api.github.com/users/laurayuwen/gists{/gist_id}","starred_url":"https://api.github.com/users/laurayuwen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/laurayuwen/subscriptions","organizations_url":"https://api.github.com/users/laurayuwen/orgs","repos_url":"https://api.github.com/users/laurayuwen/repos","events_url":"https://api.github.com/users/laurayuwen/events{/privacy}","received_events_url":"https://api.github.com/users/laurayuwen/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/kframework/k/milestones/12","html_url":"https://github.com/kframework/k/milestones/4.0%20beta","labels_url":"https://api.github.com/repos/kframework/k/milestones/12/labels","id":1435572,"number":12,"title":"4.0 beta","description":"","creator":{"login":"cos","id":37514,"avatar_url":"https://avatars.githubusercontent.com/u/37514?v=3","gravatar_id":"","url":"https://api.github.com/users/cos","html_url":"https://github.com/cos","followers_url":"https://api.github.com/users/cos/followers","following_url":"https://api.github.com/users/cos/following{/other_user}","gists_url":"https://api.github.com/users/cos/gists{/gist_id}","starred_url":"https://api.github.com/users/cos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cos/subscriptions","organizations_url":"https://api.github.com/users/cos/orgs","repos_url":"https://api.github.com/users/cos/repos","events_url":"https://api.github.com/users/cos/events{/privacy}","received_events_url":"https://api.github.com/users/cos/received_events","type":"User","site_admin":false},"open_issues":26,"closed_issues":18,"state":"open","created_at":"2015-11-30T16:25:24Z","updated_at":"2016-01-03T03:48:22Z","due_on":"2016-01-06T06:00:00Z","closed_at":null},"comments":5,"created_at":"2015-12-30T04:07:49Z","updated_at":"2016-01-03T04:04:39Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/kframework/k/pulls/1966","html_url":"https://github.com/kframework/k/pull/1966","diff_url":"https://github.com/kframework/k/pull/1966.diff","patch_url":"https://github.com/kframework/k/pull/1966.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/168457562","html_url":"https://github.com/kframework/k/pull/1966#issuecomment-168457562","issue_url":"https://api.github.com/repos/kframework/k/issues/1966","id":168457562,"user":{"login":"laurayuwen","id":3274406,"avatar_url":"https://avatars.githubusercontent.com/u/3274406?v=3","gravatar_id":"","url":"https://api.github.com/users/laurayuwen","html_url":"https://github.com/laurayuwen","followers_url":"https://api.github.com/users/laurayuwen/followers","following_url":"https://api.github.com/users/laurayuwen/following{/other_user}","gists_url":"https://api.github.com/users/laurayuwen/gists{/gist_id}","starred_url":"https://api.github.com/users/laurayuwen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/laurayuwen/subscriptions","organizations_url":"https://api.github.com/users/laurayuwen/orgs","repos_url":"https://api.github.com/users/laurayuwen/repos","events_url":"https://api.github.com/users/laurayuwen/events{/privacy}","received_events_url":"https://api.github.com/users/laurayuwen/received_events","type":"User","site_admin":false},"created_at":"2016-01-03T04:04:39Z","updated_at":"2016-01-03T04:04:39Z","body":"@cos I tried to merge master into this branch, but when I try to kompile a lambda definition with one module, it seems that domains is not automatically imported. It reports the error of could not find sort Id. The definition kompiles normally when I add back domains import manually. \r\n\r\nDoes the automatic import of domains only work with two modules?"}}