{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/1723","labels_url":"https://api.github.com/repos/kframework/k/issues/1723/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/1723/comments","events_url":"https://api.github.com/repos/kframework/k/issues/1723/events","html_url":"https://github.com/kframework/k/issues/1723","id":105845429,"number":1723,"title":"The syntactic productions for the configuration should be part of the module","user":{"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},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-09-10T16:19:23Z","updated_at":"2015-09-10T17:18:26Z","closed_at":null,"body":"Otherwise, we'll have to always do always account for klabels without syntax, which is cumbersome.\r\n\r\nI think we already have them as we can parse, but they're not imported in the final module. @dwightguth, I think you know best where this fits.\r\n"},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/139315846","html_url":"https://github.com/kframework/k/issues/1723#issuecomment-139315846","issue_url":"https://api.github.com/repos/kframework/k/issues/1723","id":139315846,"user":{"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},"created_at":"2015-09-10T17:18:26Z","updated_at":"2015-09-10T17:18:26Z","body":"Found the problem: the heating/cooling rules are added the the same module containing the syntax, while the configuration syntax is only added to the final module. \r\n\r\nWe'll have to figure out how configuration modularization works at some point. For now, could the heating/cooling rules be added to the final module instead?"}}