{"action":"closed","issue":{"url":"https://api.github.com/repos/soegaard/infix/issues/3","labels_url":"https://api.github.com/repos/soegaard/infix/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/soegaard/infix/issues/3/comments","events_url":"https://api.github.com/repos/soegaard/infix/issues/3/events","html_url":"https://github.com/soegaard/infix/issues/3","id":70966831,"number":3,"title":"DrRacket renaming is doing weird things","user":{"login":"AlexKnauth","id":6600123,"avatar_url":"https://avatars.githubusercontent.com/u/6600123?v=3","gravatar_id":"","url":"https://api.github.com/users/AlexKnauth","html_url":"https://github.com/AlexKnauth","followers_url":"https://api.github.com/users/AlexKnauth/followers","following_url":"https://api.github.com/users/AlexKnauth/following{/other_user}","gists_url":"https://api.github.com/users/AlexKnauth/gists{/gist_id}","starred_url":"https://api.github.com/users/AlexKnauth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AlexKnauth/subscriptions","organizations_url":"https://api.github.com/users/AlexKnauth/orgs","repos_url":"https://api.github.com/users/AlexKnauth/repos","events_url":"https://api.github.com/users/AlexKnauth/events{/privacy}","received_events_url":"https://api.github.com/users/AlexKnauth/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-04-25T21:07:01Z","updated_at":"2015-04-26T21:32:08Z","closed_at":"2015-04-26T21:32:08Z","body":"If I have this program in DrRacket:\r\n```racket\r\n#lang at-exp racket\r\n(require infix)\r\n(let ([a '(1 1)] [b '(2 3)] [+ (λ (a b) (map + a b))])\r\n  @${a+b})\r\n```\r\nAnd then I right-click on the a in `@${a+b}` then the check-syntax arrow points the the right thing, but the menu pops up with an option saying `rename +`, then if I proceed to rename it to, say `-`, then it changes it to:\r\n```racket\r\n(let ([- '(1 1)] [b '(2 3)] [- (λ (a b) (map + a b))])\r\n  @${--b})\r\n```\r\nIn other words, it renames both `a` and `+` to `-`.\r\nDo you have any idea what could be causing this?"}}