<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2015-09-06 20:17 GMT+02:00 Amos Robinson <span dir="ltr"><<a href="mailto:amos.robinson@gmail.com" target="_blank">amos.robinson@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">If you made tooling aware of ($) would you need to check that it is importing the Prelude version and not another one?</blockquote><div><br></div><div>Every non-toy refactoring tool (and I guess a lot of other ones) needs to understand fixity declarations, imports, scopes etc. anyway, otherwise it would be next to useless.</div><div> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Not that I'm suggesting that having a different implementation would be sensible.<br></blockquote><div><br></div><div>"Sensible" is always a subjective notion, and tools should not have subjective behavior. :-) In other words: If it's legal, the tool must handle it. A lot of things which were initially considered nonsense/impractical/confusing are mainstream nowadays. Furthermore, there are a few experimental Prelude variants out there.</div></div></div></div>