OCaml явные подписи типа

Я тоже столкнулся с такой же проблемой. У меня был Jdk1.7.0.79. Затем я обновил его с помощью Jdk8.0.120. Тогда проблема решена. После успешного завершения обновления jdk. Перейдите в проект-> очистить. Он восстановит проект, и все красные предупреждения будут устранены.