Discrepancies between IDE mode protocol and Emacs idris-mode

idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.51k stars 374 forks source link

Discrepancies between IDE mode protocol and Emacs idris-mode #97

Open abailly opened 4 years ago

abailly commented 4 years ago

Official IDE mode protocol documentation can be found at http://docs.idris-lang.org/en/latest/reference/ide-protocol.html It seems the actual idris-mode implementation is somehow not in sync with this document:

[ ] it sends (:interpret ":consolewidth 100") to set the layout limit
[ ] it sends (:get-options) to retrieve the backend's options

ohad commented 4 years ago

OK, the :consolewidth 100 is an Idris1 REPL command that's not implemented currently in Idris2. @edwinb: do we want to support :consolewidth in the future, or is this a bug with idris-mode?

edwinb commented 4 years ago

We probably should support :consolewidth. It was used in Idris 1 to help with pretty printing and I can imagine wanting to do something similar.

jfdm commented 4 years ago

Indeed, there was a recent port of Haskell's pretty-printer to Idris2 (still a PR #393 ) and if Idris2's display internals are prettified then this would be useful for compliance....