Incorrect parsing of 'inherit' keyword (OCaml)

giraud / reasonml-idea-plugin

ReasonML Language Plugin for IDEA

https://giraud.github.io/reasonml-idea-plugin/

MIT License

338 stars 22 forks source link

Closed giraud closed 9 months ago

giraud commented 10 months ago

plugin version: 0.119

From #323 , the inherit keyword is incorrectly parsed (coq: wg_ProofView.ml):

An Inherit PSI class must be introduced before resolving 323

giraud commented 10 months ago

Better

giraud commented 9 months ago

Fixed in 0.120