Sven Panne writes: > OK, but even paths which realpath normalizes to different > things might be the same (hard links!).
Sure, but paths it normalizes to the same thing almost certainly _are_ the same. ;-) That's all I am looking for. In general, I think path normalization is a nice-to-have feature, not a must-have. > IMHO we can provide something like realpath in the IO > monad, but shouldn't define any equality via it. You are right; Eq shouldn't be defined on top of that. And couldn't even, if normalization needs the IO monad anyway. Peter _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe