<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2015-06-28 16:47 GMT+02:00 Boespflug, Mathieu <span dir="ltr"><<a href="mailto:m@tweag.io" target="_blank">m@tweag.io</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Notice that the kind of normalization I'm talking about, specified in<br>
the link I provided, does not include this kind of normalization.<br>
Because it requires the IO monad to perform correctly, and only on<br>
real paths.<br>
<br>
Here is the link again:<br>
<br>
<a href="https://hackage.haskell.org/package/filepath-1.1.0.2/docs/System-FilePath-Posix.html#v:normalise" rel="noreferrer" target="_blank">https://hackage.haskell.org/package/filepath-1.1.0.2/docs/System-FilePath-Posix.html#v:normalise</a><br>
[...]<br></blockquote><div></div></div><br></div><div class="gmail_extra">OK, then I misunderstood what you meant by "normalizing". But a question remains then: What is a use case for having equality modulo "normalise"? It throws together a few more paths which plain equality on strings would consider different, but it is still not semantic equality in the sense of "these 2 paths refer to the same dir/file". So unless there is a compelling use case (which I don't see), I don't see a point in always doing "normalise". Or do I miss something?</div></div>