{"action":"opened","issue":{"url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/510","repository_url":"https://api.github.com/repos/Kappa-Dev/KaSim","labels_url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/510/labels{/name}","comments_url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/510/comments","events_url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/510/events","html_url":"https://github.com/Kappa-Dev/KaSim/issues/510","id":301631061,"number":510,"title":"1/1[] Bug: Link 1 is problematic! LKappa is either broken or unused! Please report. ","user":{"login":"hmedina","id":1588553,"avatar_url":"https://avatars2.githubusercontent.com/u/1588553?v=4","gravatar_id":"","url":"https://api.github.com/users/hmedina","html_url":"https://github.com/hmedina","followers_url":"https://api.github.com/users/hmedina/followers","following_url":"https://api.github.com/users/hmedina/following{/other_user}","gists_url":"https://api.github.com/users/hmedina/gists{/gist_id}","starred_url":"https://api.github.com/users/hmedina/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hmedina/subscriptions","organizations_url":"https://api.github.com/users/hmedina/orgs","repos_url":"https://api.github.com/users/hmedina/repos","events_url":"https://api.github.com/users/hmedina/events{/privacy}","received_events_url":"https://api.github.com/users/hmedina/received_events","type":"User","site_admin":false},"labels":[{"id":810367204,"url":"https://api.github.com/repos/Kappa-Dev/KaSim/labels/Graphical%20User%20Interface","name":"Graphical User Interface","color":"0e8a16","default":false},{"id":336815913,"url":"https://api.github.com/repos/Kappa-Dev/KaSim/labels/WebSim","name":"WebSim","color":"009800","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-03-02T02:24:50Z","updated_at":"2018-03-02T02:24:50Z","closed_at":null,"author_association":"COLLABORATOR","body":"The following code yields a very cryptic error message:\r\n```\r\n%agent:A(b c{=0 / 4})\r\nB(a[./1]), A(b[./1] c{=c}) @ c\r\nC(a[./1]), A(c[./1] c{=c}) @ c\r\n```\r\nIn the second rule, A contains two `c` sites, one for counters, one for binding. Meanwhile, the signature lists one site called `c`, so A does have a `c` site used for counters. Shouldn't the error be complaining about:\r\n * binding a counter site?\r\n * stating the same site twice within an agent?"}}
{"actor":{"display_login":"hmedina"}}