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

[Frederik Eaton]

The bit about syncing between different versions of unison/ocaml is
interesting, but it's not relevant to the bug I reported.

Can you reproduce the bug by running my script? It syncs locally so
there is only one version of unison/ocaml involved at a time.

On Mon, Jul 20, 2015 at 11:24:41PM -0700, Chris Prince wrote:
> 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
> >

> _______________________________________________
> Unison-hackers mailing list
> Unison-hackers at lists.seas.upenn.edu
> http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers