Update semantic highlighting code in line with the update IDE protocol

idris-community / idris2-mode

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

22 stars 8 forks source link

Closed ohad closed 2 years ago

ohad commented 2 years ago

See idris2 PR#2171's new spec for Bounds

~~(wait until we merge #2171 before merging.)~~

gallais commented 2 years ago

Should we make a release before merging this? This way we can point users of 0.5.1 (and prior) to that release

gallais commented 2 years ago

Alright I've made the release so we can now ship this.