[darcs-devel] [patch1214] make Darcs.Util.Path.normPath cheaper on well formed p...

[Ben Franksen]

Ben Franksen <benjamin.franksen at helmholtz-berlin.de> added the comment:

These functions could use quickcheck properties (or perhaps even
proofs). I find low-level string/list operations like these quite hard
to verify by reading the code.

Could you at least write down the expected properties in comments?

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1214>
__________________________________