Re: another way to produce path.ml assertion failure assertion failure, tested versions 2.40.65 and 2.48.3

Alan Schmitt <[email protected]> Tue, 21 Jul 2015 09:43:20 +0200
Newsgroups gmane.network.unison.devel
Message-ID <[email protected]>
On 2015-07-21 06:33, Frederik Eaton <[email protected]> writes:

> I'm running Arch and the OCaml version is 4.02.1-1. However, the
> Debian system I tested on has Objective Caml 3.12.1, Unison 2.40.65,
> and they both produce assertion failures in path.ml. Are others not
> able to reproduce the bug by running the scripts I provided?

I could not use the script (I don’t have xvkbd) but I could reproduce
the bug running the script manually (the assertion failure happens
during the second unison run). I’m on unison 2.48.3 and ocaml 4.02.1.

I tried to have a quick look at the bug, and it seems the problem is
that the path of the file being backed up is empty. It really does not
make sense because the debugging information says it is “/” (and the
test for empty amounts to checking if the length of the string is 0).

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Last week athmospheric CO₂ average (Updated July 14, 2015, Mauna Loa Obs.):
401.73 ppm

_______________________________________________
Unison-hackers mailing list
[email protected]
http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers
signature.asc (application/pgp-signature, 472 B)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBCgAGBQJVrfgYAAoJEAQNCjtO0uXHHlYIAL6RDAoMJC9DrC7BflheaiPe
s2/YhLfyAo263mjOrAbWy0C0lUnAqDA4PD7yPBeAvgQwQP/7xXkB+Z9kg3GW0mVq
C42hW+O5to2Tcy6m2P+wUixtTVA4ZFPcv8j2kjBJPP7gelQrzRjLq8c33iCRo/zQ
3oStH0V4cMRdpKqYPGXJcv7E80xcIF9Et5G3uptjoNP6PXwxRtDEITdgJ0DNGBOC
EB2b0SiQDIOeJy5qoZto8Vz1tLtic6geDY2PRazh0Usy/L0+TsjN8uMCAnpCvImr
w+vrj6TjFcMij71St7RMCGciyVzpC0+JFRQBr3ggE8oi7cIvclUZX+M2gXSP5sI=
=t5vr
-----END PGP SIGNATURE-----