[Haskell-cafe] Re: File path programme

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