From fe233c2334e38e81eafaaf9e4e6598d9fa6fd2d4 Mon Sep 17 00:00:00 2001 From: Chris Hammill Date: Wed, 2 Jan 2019 15:08:52 -0500 Subject: [PATCH] Mention (current) lack of socket support in IDE mode As discussed in the [idris-mode issues](https://github.com/idris-hackers/idris-mode/issues/489) socket support doesn't seem to be up and running yet. I hope one of the discussants will be able to issue a PR porting socket-mode from Idris1 and removing this note in the near future. --- Notes/IDE-mode.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Notes/IDE-mode.md b/Notes/IDE-mode.md index 056ad5b..45c2746 100644 --- a/Notes/IDE-mode.md +++ b/Notes/IDE-mode.md @@ -41,3 +41,8 @@ declared with the given name, on the given line. It will only return the first definition it finds, as a list of pattern clauses. This works via a combination of case splitting and expression search. +To-Do +------- + +Currently the IDE protocol does not support socket mode. This will be advantageous +for integrating with [emacs idris-mode](https://github.com/idris-hackers/idris-mode/issues/489).