search

OCamlPro / ocaml-top

A simple cross-platform OCaml code editor built for top-level evaluation.
http://typerex.org/ocaml-top.html
GNU General Public License v3.0
64 stars 8 forks source link

"Terminate current toplevel" button frezees #69

Closed LucaFranceschini closed 5 years ago

LucaFranceschini commented 5 years ago

Arch Linux + GNOME 3 opam 2.0.0 OCaml 4.07.0 ocaml-top 1.1.5

I also pinned ocp-index to their master branch cause it seems it is actually compatible with OCaml 4.07, they're just not releasing it... https://github.com/OCamlPro/ocp-index/issues/117 I am assuming this should not be related to the problem, but please tell if I'm wrong.

When I press the "Terminate the current toplevel and start a new one" button it just freezes, no error on the console. It fails to start the new one, nothing appears in the IDE console. After a while GNOME realizes it is stuck and ask whether I want to wait or force quite.

LucaFranceschini commented 5 years ago

I just easily reproduced this in a clean Ubuntu box, which may be more manageable. Now unusual settings, no pinned repos.

Ubuntu Desktop x64 18.04.1 (LTS) opam 1.2.2-6 OCaml 4.05.0 libgtksourceview2.0-dev 2.10.5-3 ocaml-top 1.1.5

LucaFranceschini commented 5 years ago

Can't reproduce anymore on my updated Arch machine, guess it is now fixed somehow...