search

giraud / reasonml-idea-plugin

ReasonML Language Plugin for IDEA
https://giraud.github.io/reasonml-idea-plugin/
MIT License
338 stars 22 forks source link

should not display annotation in signature #360

Closed giraud closed 2 years ago

giraud commented 3 years ago

plugin version: 0.103

Description

annotation is shown in type signature (coq / cErrors.mli): image

giraud commented 2 years ago

fixed in 0.105