{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/1754","labels_url":"https://api.github.com/repos/kframework/k/issues/1754/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/1754/comments","events_url":"https://api.github.com/repos/kframework/k/issues/1754/events","html_url":"https://github.com/kframework/k/pull/1754","id":109188457,"number":1754,"title":"Parse pre-completion cells in proper sorts.","user":{"login":"bmmoore","id":698479,"avatar_url":"https://avatars.githubusercontent.com/u/698479?v=3","gravatar_id":"","url":"https://api.github.com/users/bmmoore","html_url":"https://github.com/bmmoore","followers_url":"https://api.github.com/users/bmmoore/followers","following_url":"https://api.github.com/users/bmmoore/following{/other_user}","gists_url":"https://api.github.com/users/bmmoore/gists{/gist_id}","starred_url":"https://api.github.com/users/bmmoore/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bmmoore/subscriptions","organizations_url":"https://api.github.com/users/bmmoore/orgs","repos_url":"https://api.github.com/users/bmmoore/repos","events_url":"https://api.github.com/users/bmmoore/events{/privacy}","received_events_url":"https://api.github.com/users/bmmoore/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-09-30T22:01:55Z","updated_at":"2015-09-30T22:41:02Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/kframework/k/pulls/1754","html_url":"https://github.com/kframework/k/pull/1754","diff_url":"https://github.com/kframework/k/pull/1754.diff","patch_url":"https://github.com/kframework/k/pull/1754.patch"},"body":"When generating the modified productions that allow incomplete cells\r\nwith features such as dots and omitting parent cells,\r\nthe modified productions for indvidual cells were places into the\r\ngeneric Cell sort (used for flexibility such as allowing parent cells),\r\nthis instead keeps the original more specific FooCell sorts,\r\nfor which subsorts into Cell were already generated.\r\n\r\n@daejunpark  this should fix ~~#1748~~ #1747\r\n\r\nI need to add tests, but you can check if this commit helps."},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/144565926","html_url":"https://github.com/kframework/k/pull/1754#issuecomment-144565926","issue_url":"https://api.github.com/repos/kframework/k/issues/1754","id":144565926,"user":{"login":"bmmoore","id":698479,"avatar_url":"https://avatars.githubusercontent.com/u/698479?v=3","gravatar_id":"","url":"https://api.github.com/users/bmmoore","html_url":"https://github.com/bmmoore","followers_url":"https://api.github.com/users/bmmoore/followers","following_url":"https://api.github.com/users/bmmoore/following{/other_user}","gists_url":"https://api.github.com/users/bmmoore/gists{/gist_id}","starred_url":"https://api.github.com/users/bmmoore/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bmmoore/subscriptions","organizations_url":"https://api.github.com/users/bmmoore/orgs","repos_url":"https://api.github.com/users/bmmoore/repos","events_url":"https://api.github.com/users/bmmoore/events{/privacy}","received_events_url":"https://api.github.com/users/bmmoore/received_events","type":"User","site_admin":false},"created_at":"2015-09-30T22:41:02Z","updated_at":"2015-09-30T22:41:02Z","body":"I'm testing it now. I wouldn't be too surprised if the C semantics needs some work to move away from the old assumption that cell fragments are Bags."}}