document that unison's lwt is not an old bundled version of the newer thing also called lwt

[mkrupcale]

Hello,

I am a Fedora packager and am looking to re-package unison in Fedora. It is currently under review [1], and the reviewer pointed out that there is a very old copy of ocaml-lwt [2] which is bundled in the unison src/lwt directory. Where possible, it is preferred for packages to rely on already-packaged library dependencies [3].

I am a total OCaml newbie, so I'm not sure how difficult of a task this is, but I played around with the Makefiles a bit and was able to get unison at least trying to build with the system ocaml-lwt, and this is the first error I encountered:

ocamlopt -g -I ubase -I system -I /usr/lib64/ocaml/lwt -I /usr/lib64/ocaml/lwt/unix -I +unix -I +str -I system/generic -c /builddir/build/BUILD/unison-2.53.4/src/terminal.ml
File "/builddir/build/BUILD/unison-2.53.4/src/terminal.ml", line 211, characters 57-76:
211 |                                               (fun () -> Lwt_unix.close fdIn)));
                                                               ^^^^^^^^^^^^^^^^^^^
Error: This expression has type unit Lwt.t
       but an expression was expected of type unit

Is it feasible to move unison to latest upstream ocaml-lwt?

[1] https://bugzilla.redhat.com/show_bug.cgi?id=2277254#c2
[2] https://src.fedoraproject.org/rpms/ocaml-lwt
[3] https://docs.fedoraproject.org/en-US/packaging-guidelines/#bundling

[gdt]

This is a really good question. I am pretty sure the answer is yes, it's feasible, and no it is not going to happen really soon.

[mkrupcale]

I am pretty sure the answer is yes, it's feasible

I'm glad to hear that!

and no it is not going to happen really soon.

Okay, would you be accepting of patches if I were to work on this myself? Again, knowing next to nothing about OCaml, I have no idea if I can manage it, but I'm willing to give it a go.

[tleedjarv]

I don't think it is feasible. Lwt was originally created for Unison, then extracted as a separate project. Since then, the Lwt project has been rewritten a couple of times and diverged significantly from the original. The basic concepts are no longer the same.

Given this, the lwt code in Unison should not be considered a bundled version of ocaml-lwt package; they are entirely different and only same by name. This fact should resolve the package review comment.

[gdt]

Probably then we should resolve it by having a README in the lwt directory that explains this relatively fully, so that those newly coming to the sources will end up with the right impression. It's certainly fair of people to see this and think something is wrong.