Bug#532970: jocaml and "use topfind"

[Stéphane Glondu <Stephane.Glondu@crans.org>]

Mehdi Dogguy a écrit :
>> All in all, the status of this bug depends more on the maturity of jocaml as a whole than anything else.
> 
> Essentially, It depends on findlib… and not jocaml.

No, the bug shown by Guillaume is really a jocaml one:

---8<-------------------------------------------------------------------
steph@korell:/$ jocaml
        JoCaml version 3.11.0

# Toploop.execute_phrase;;
Characters -1--1:
  Toploop.execute_phrase;;

Error: The files /usr/bin/jocaml and /usr/lib/ocaml/3.11.0/toploop.cmi
       make inconsistent assumptions over interface Outcometree
---8<-------------------------------------------------------------------

This means that it is impossible to use the toplevel library with
jocaml. This is independant of findlib. And by the way:

---8<-------------------------------------------------------------------
steph@korell:/$ ocamlduce
        OCamlDuce version 3.11.1.0

# #use "topfind";;
- : unit = ()
Findlib has been successfully loaded. Additional directives:
  #require "package";;      to load a package
  #list;;                   to list the available packages
  #camlp4o;;                to load camlp4 (standard syntax)
  #camlp4r;;                to load camlp4 (revised syntax)
  #predicates "p,q,...";;   to set these predicates
  Topfind.reset();;         to force that packages will be reloaded
  #thread;;                 to enable threads

- : unit = ()
---8<-------------------------------------------------------------------

Note that I don't pretend here that findlib is supposed to work with
jocaml. Actually, I don't know how much jocaml and ocaml are supposed to
be binary compatible.

>> Looking at it more closely, the issue is essentially that jocaml lacks a
>> jocaml-interp package similar to the ocaml-interp package.
>>
> 
> These are two orthogonal issues. The fact that ther is no jocaml-findlib
> (FTM) has nothing to do with jocaml not having a binary package
> jocaml-interp. And ocaml-interp was made only to allow one to have
> ocamltop without installing the hole ocaml development stuff. Adding
> jocaml-interp won't fix magically the issue with findlib. The same work
> will be done anyway.

I think on the contrary that Guillaume might have spotted the problem,
but you focused on "jocaml-findlib binary package is missing" rather
than on "jocaml's modified toploop.cmi is missing".


Cheers,

-- 
Stéphane