[ocaml-platform] problems with ocaml-top

[Louis Gesbert]

On lundi 26 septembre 2016 11:21:26 CEST Ashish Agarwal wrote:
> The last release of ocaml-top is from Jan 2014. The OCaml ecosystem has
> evolved a lot since then, so perhaps it just doesn't work with the latest
> OCaml.
> 
> I'm not familiar with ocaml-top. From reading its webpage, I think you
> might find the following tools useful: utop, merlin, tuareg, and
> ocp-indent. These are all widely used and actively maintained.
> 

These are all command-line tools and/or helpers for full-blown editors, so the 
scope is quite different from that of ocaml-top, which is a simple GUI 
coupling a text editor with a toplevel (with simplicity and lab sessions in 
mind).

A much closer successor would be the yet unreleased LearnOCaml [1], although 
it provides much more than just editor+toplevel. It's in part derived from the 
platform that was put in place for the OCaml MOOC.

I'll try to find the time for a quick update of ocaml-top, though, it can be 
useful and there is no direct equivalent. It mainly suffers from being based 
on (labl)GTK, which is a pain...

[1] https://github.com/OCamlPro/learn-ocaml

> On Sun, Sep 25, 2016 at 4:17 AM, Eric DETREZ <pc1.faidherbe at gmail.com>
> 
> wrote:
> > Hello
> > 
> > I tried to install ocaml-top (I use debian jessie)
> > When I launch it from terminal : /home/ericd13/.opam/system/bin
> > i get a lot of warnings (deprecated pp_open_tbox tabulation boxes are not
> > suported anymore)
> > The console gets a message :
> > (ocaml-top:28826): GLib-CRITICAL **: Source ID 2108 was not found when
> > attempting to remove it
> > 
> > But Ocaml is version 4.03.0 (the one OPAM installed)
> > 
> > If I launch it from thunar it's version 4.01.0
> > 
> > --
> > Eric Détrez
> > Math PC*
> > Option Info MP*
> > Python PCSI
> > Lycée Faidherbe, Lille
> > 
> > _______________________________________________
> > Platform mailing list
> > Platform at lists.ocaml.org
> > http://lists.ocaml.org/listinfo/platform