{"action":"closed","issue":{"url":"https://api.github.com/repos/p-org/P/issues/22","repository_url":"https://api.github.com/repos/p-org/P","labels_url":"https://api.github.com/repos/p-org/P/issues/22/labels{/name}","comments_url":"https://api.github.com/repos/p-org/P/issues/22/comments","events_url":"https://api.github.com/repos/p-org/P/issues/22/events","html_url":"https://github.com/p-org/P/issues/22","id":133305494,"number":22,"title":"Equality of foreign type aliases","user":{"login":"paulthomson","id":5478283,"avatar_url":"https://avatars.githubusercontent.com/u/5478283?v=3","gravatar_id":"","url":"https://api.github.com/users/paulthomson","html_url":"https://github.com/paulthomson","followers_url":"https://api.github.com/users/paulthomson/followers","following_url":"https://api.github.com/users/paulthomson/following{/other_user}","gists_url":"https://api.github.com/users/paulthomson/gists{/gist_id}","starred_url":"https://api.github.com/users/paulthomson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paulthomson/subscriptions","organizations_url":"https://api.github.com/users/paulthomson/orgs","repos_url":"https://api.github.com/users/paulthomson/repos","events_url":"https://api.github.com/users/paulthomson/events{/privacy}","received_events_url":"https://api.github.com/users/paulthomson/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2016-02-12T18:02:46Z","updated_at":"2016-02-12T21:05:55Z","closed_at":"2016-02-12T21:05:55Z","body":"This assertion fails in Zinger. Should it?\r\n\r\nEq.p:\r\n```\r\ntype F;\r\ntype G = F;\r\n\r\n\r\nmain machine MyMachine\r\n{\r\n    start state Init\r\n    {\r\n        entry\r\n        {\r\n            var f : F;\r\n            var g : G;\r\n\r\n            assert f == g;\r\n        }\r\n    }\r\n\r\n}\r\n```"}}