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 <[email protected]> > > 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 > > [email protected] > > http://lists.ocaml.org/listinfo/platform _______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
