[Haskell-cafe] Re: File path programme
simons at cryp.to
Mon Jan 31 15:24:53 EST 2005
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.
More information about the Haskell-Cafe