OcaIDE stopped displaying documentation

Open marmistrz opened this issue 10 years ago • 1 comments

Yesterday I coded something. When I started typing List.rev, exactly after typing the dot, a drop down list of all functions exposed by the interface appeared, with the documentation of each method.

Today I get no drop down list for the module.

Dec 29 '15 13:12 marmistrz

The following error is in the log:

eclipse.buildId=debbuild
java.version=1.7.0_91
java.vendor=Oracle Corporation
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Command-line arguments:  -os linux -ws gtk -arch x86_64

Error
Tue Dec 29 18:09:30 CET 2015
Wrong path:/usr/lib64/ocaml (in project:topol)
[ocaml.editor.completion.CompletionJob#buildDefinitionsTree : 143]

Dec 29 '15 17:12 marmistrz