{"action":"reopened","issue":{"url":"https://api.github.com/repos/cwi-swat/rascal/issues/415","labels_url":"https://api.github.com/repos/cwi-swat/rascal/issues/415/labels{/name}","comments_url":"https://api.github.com/repos/cwi-swat/rascal/issues/415/comments","events_url":"https://api.github.com/repos/cwi-swat/rascal/issues/415/events","html_url":"https://github.com/cwi-swat/rascal/issues/415","id":23466971,"number":415,"title":"Equality between different numeric types","user":{"login":"PaulKlint","id":2046304,"avatar_url":"https://avatars.githubusercontent.com/u/2046304?v=3","gravatar_id":"","url":"https://api.github.com/users/PaulKlint","html_url":"https://github.com/PaulKlint","followers_url":"https://api.github.com/users/PaulKlint/followers","following_url":"https://api.github.com/users/PaulKlint/following{/other_user}","gists_url":"https://api.github.com/users/PaulKlint/gists{/gist_id}","starred_url":"https://api.github.com/users/PaulKlint/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PaulKlint/subscriptions","organizations_url":"https://api.github.com/users/PaulKlint/orgs","repos_url":"https://api.github.com/users/PaulKlint/repos","events_url":"https://api.github.com/users/PaulKlint/events{/privacy}","received_events_url":"https://api.github.com/users/PaulKlint/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/cwi-swat/rascal/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":{"login":"jurgenvinju","id":1990295,"avatar_url":"https://avatars.githubusercontent.com/u/1990295?v=3","gravatar_id":"","url":"https://api.github.com/users/jurgenvinju","html_url":"https://github.com/jurgenvinju","followers_url":"https://api.github.com/users/jurgenvinju/followers","following_url":"https://api.github.com/users/jurgenvinju/following{/other_user}","gists_url":"https://api.github.com/users/jurgenvinju/gists{/gist_id}","starred_url":"https://api.github.com/users/jurgenvinju/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jurgenvinju/subscriptions","organizations_url":"https://api.github.com/users/jurgenvinju/orgs","repos_url":"https://api.github.com/users/jurgenvinju/repos","events_url":"https://api.github.com/users/jurgenvinju/events{/privacy}","received_events_url":"https://api.github.com/users/jurgenvinju/received_events","type":"User","site_admin":false},"milestone":null,"comments":7,"created_at":"2013-11-28T21:00:58Z","updated_at":"2015-09-09T12:26:43Z","closed_at":null,"body":"We have had long and winding discussions about equality on numeric types. As far as I recall ```1``` and ```1.0``` are considered unequal when they occur in a set.\r\n\r\nHow about the following:\r\n```\r\npublic bool main(list[value] args)  {value x = 1.0; value y = 1; return x == y; }\r\n```\r\n\r\nThe interpreter says: ```true```.\r\nThe compiler says: ```false```.\r\n\r\nWho is right and why?"}}