[Unison-hackers] another way to produce path.ml assertion failure assertion failure, tested versions 2.40.65 and 2.48.3

[Chris Prince]

I have seen all sorts of errors when trying to sync between versions of
Unison that use different versions of OCaml.

Even two versions of OCaml that you might think should be compatible (e.g.
OCaml 4.01 and 4.02) will produce problems, due to breaking changes between
those versions of OCaml.

--Chris


On Mon, Jul 20, 2015 at 9:33 PM, Frederik Eaton <frederik at ofb.net> wrote:

> On Mon, Jul 20, 2015 at 11:15:18PM -0400, Julian Squires wrote:
> > On Mon, Jul 20, 2015 at 10:35 PM, Frederik Eaton <frederik at ofb.net>
> wrote:
> > > I'm wondering if this problem is due to a recent change in OCaml
> > > libraries, since I don't think an obvious bug like this would have
> > > persisted for 14 years? I don't know much about OCaml but it looks
> > > like the 'unison' binary doesn't link any OCaml DLLs... OTOH a lot of
> > > your String operations trigger deprecation warnings.
> >
> > What version of OCaml are you using?  Strings are becoming immutable
> > in newer releases, but code should only have warnings.  You might see
> > if the problem persists compliing with 4.01.
>
> 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?
> _______________________________________________
> Unison-hackers mailing list
> Unison-hackers at lists.seas.upenn.edu
> http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/unison-hackers/attachments/20150720/44e78ff0/attachment.html>