{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/1924","labels_url":"https://api.github.com/repos/kframework/k/issues/1924/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/1924/comments","events_url":"https://api.github.com/repos/kframework/k/issues/1924/events","html_url":"https://github.com/kframework/k/issues/1924","id":122780769,"number":1924,"title":"substitution module","user":{"login":"omarz1","id":7592333,"avatar_url":"https://avatars.githubusercontent.com/u/7592333?v=3","gravatar_id":"","url":"https://api.github.com/users/omarz1","html_url":"https://github.com/omarz1","followers_url":"https://api.github.com/users/omarz1/followers","following_url":"https://api.github.com/users/omarz1/following{/other_user}","gists_url":"https://api.github.com/users/omarz1/gists{/gist_id}","starred_url":"https://api.github.com/users/omarz1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/omarz1/subscriptions","organizations_url":"https://api.github.com/users/omarz1/orgs","repos_url":"https://api.github.com/users/omarz1/repos","events_url":"https://api.github.com/users/omarz1/events{/privacy}","received_events_url":"https://api.github.com/users/omarz1/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"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":7,"closed_issues":0,"state":"open","created_at":"2015-11-30T16:25:24Z","updated_at":"2015-12-17T17:17:22Z","due_on":"2015-12-22T06:00:00Z","closed_at":null},"comments":4,"created_at":"2015-12-17T17:14:46Z","updated_at":"2015-12-17T17:18:48Z","closed_at":null,"body":"The lambda example would not `kompile`. It says \r\n```\r\n[Error] Critical: Could not find file: modules/substitution.k\r\n``` \r\nI found another `substitution.k` in the `include/builtin` folder that had a comment saying that *it* is the one used by `lambda.k`. I tried importing that but I got the same message:\r\n```\r\n[Error] Critical: Could not find file: builtin/substitution.k\r\n```"},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/165519292","html_url":"https://github.com/kframework/k/issues/1924#issuecomment-165519292","issue_url":"https://api.github.com/repos/kframework/k/issues/1924","id":165519292,"user":{"login":"omarz1","id":7592333,"avatar_url":"https://avatars.githubusercontent.com/u/7592333?v=3","gravatar_id":"","url":"https://api.github.com/users/omarz1","html_url":"https://github.com/omarz1","followers_url":"https://api.github.com/users/omarz1/followers","following_url":"https://api.github.com/users/omarz1/following{/other_user}","gists_url":"https://api.github.com/users/omarz1/gists{/gist_id}","starred_url":"https://api.github.com/users/omarz1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/omarz1/subscriptions","organizations_url":"https://api.github.com/users/omarz1/orgs","repos_url":"https://api.github.com/users/omarz1/repos","events_url":"https://api.github.com/users/omarz1/events{/privacy}","received_events_url":"https://api.github.com/users/omarz1/received_events","type":"User","site_admin":false},"created_at":"2015-12-17T17:18:48Z","updated_at":"2015-12-17T17:18:48Z","body":"Then how do I know how I should change my definition for K4.0?!"}}