{"action":"created","issue":{"url":"https://api.github.com/repos/metaborg/dynsem/issues/122","repository_url":"https://api.github.com/repos/metaborg/dynsem","labels_url":"https://api.github.com/repos/metaborg/dynsem/issues/122/labels{/name}","comments_url":"https://api.github.com/repos/metaborg/dynsem/issues/122/comments","events_url":"https://api.github.com/repos/metaborg/dynsem/issues/122/events","html_url":"https://github.com/metaborg/dynsem/issues/122","id":188864715,"number":122,"title":"desugaring meta-function causes mistyping","user":{"login":"eelcovisser","id":274453,"avatar_url":"https://avatars.githubusercontent.com/u/274453?v=3","gravatar_id":"","url":"https://api.github.com/users/eelcovisser","html_url":"https://github.com/eelcovisser","followers_url":"https://api.github.com/users/eelcovisser/followers","following_url":"https://api.github.com/users/eelcovisser/following{/other_user}","gists_url":"https://api.github.com/users/eelcovisser/gists{/gist_id}","starred_url":"https://api.github.com/users/eelcovisser/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eelcovisser/subscriptions","organizations_url":"https://api.github.com/users/eelcovisser/orgs","repos_url":"https://api.github.com/users/eelcovisser/repos","events_url":"https://api.github.com/users/eelcovisser/events{/privacy}","received_events_url":"https://api.github.com/users/eelcovisser/received_events","type":"User","site_admin":false},"labels":[{"id":114661361,"url":"https://api.github.com/repos/metaborg/dynsem/labels/bug","name":"bug","color":"fc2929","default":true},{"id":381564167,"url":"https://api.github.com/repos/metaborg/dynsem/labels/front-end","name":"front-end","color":"0052cc","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/metaborg/dynsem/milestones/3","html_url":"https://github.com/metaborg/dynsem/milestones/Bugfixes%20sprint","labels_url":"https://api.github.com/repos/metaborg/dynsem/milestones/3/labels","id":2127324,"number":3,"title":"Bugfixes sprint","description":"","creator":{"login":"vvergu","id":2950659,"avatar_url":"https://avatars.githubusercontent.com/u/2950659?v=3","gravatar_id":"","url":"https://api.github.com/users/vvergu","html_url":"https://github.com/vvergu","followers_url":"https://api.github.com/users/vvergu/followers","following_url":"https://api.github.com/users/vvergu/following{/other_user}","gists_url":"https://api.github.com/users/vvergu/gists{/gist_id}","starred_url":"https://api.github.com/users/vvergu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vvergu/subscriptions","organizations_url":"https://api.github.com/users/vvergu/orgs","repos_url":"https://api.github.com/users/vvergu/repos","events_url":"https://api.github.com/users/vvergu/events{/privacy}","received_events_url":"https://api.github.com/users/vvergu/received_events","type":"User","site_admin":false},"open_issues":7,"closed_issues":11,"state":"open","created_at":"2016-11-10T15:07:13Z","updated_at":"2016-11-15T17:04:07Z","due_on":"2016-11-18T00:00:00Z","closed_at":null},"comments":2,"created_at":"2016-11-11T22:26:42Z","updated_at":"2016-11-15T17:07:25Z","closed_at":null,"body":"In this commit of metaborg-tiger:\r\n\r\nhttps://github.com/MetaBorgCube/metaborg-tiger/commit/ba7175db5d313a13f9b777f95cd55422bb8e7348\r\n\r\nadding the meta-function \r\n\r\n    desugar(Exp) --> Exp\r\n\r\ncauses mistyping of the default arrow usage, for example in rule\r\n\r\n  Assign(lv, e) --> write(lv, e). \r\n\r\n"},"comment":{"url":"https://api.github.com/repos/metaborg/dynsem/issues/comments/260702369","html_url":"https://github.com/metaborg/dynsem/issues/122#issuecomment-260702369","issue_url":"https://api.github.com/repos/metaborg/dynsem/issues/122","id":260702369,"user":{"login":"vvergu","id":2950659,"avatar_url":"https://avatars.githubusercontent.com/u/2950659?v=3","gravatar_id":"","url":"https://api.github.com/users/vvergu","html_url":"https://github.com/vvergu","followers_url":"https://api.github.com/users/vvergu/followers","following_url":"https://api.github.com/users/vvergu/following{/other_user}","gists_url":"https://api.github.com/users/vvergu/gists{/gist_id}","starred_url":"https://api.github.com/users/vvergu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vvergu/subscriptions","organizations_url":"https://api.github.com/users/vvergu/orgs","repos_url":"https://api.github.com/users/vvergu/repos","events_url":"https://api.github.com/users/vvergu/events{/privacy}","received_events_url":"https://api.github.com/users/vvergu/received_events","type":"User","site_admin":false},"created_at":"2016-11-15T17:07:25Z","updated_at":"2016-11-15T17:07:25Z","body":"Please check whether this still happens in the latest DynSem (based on at DynSem at least at 40755d79921f860e8dce93c49339c92fbc9e2002)."}}
{"actor":{"display_login":"vvergu"}}