Idris crashes in ide-mode when asked to make a with clause

[justjoheinz]

Steps to Reproduce

given the following program (running atom):

module Main

main : IO ()
main = putStrLn "Hello"
(*)

place the cursor in the empty line marked with (*) and ask idris to insert a with clause. Atom will send a request with an empty word.

Expected Behavior

Even when sending a wrong request to idris in ide-mode it should probably reply with a reasonable error message

Observed Behavior

Idris crashes.

The fix in Atom is simple enough, one just has to make sure that the command is not send when the word under the cursor is empty. However I think this is still a bug, as idris should simply not crash.

[bukzor]

Here's the mentioned fix: idris-hackers/atom-language-idris@c98aabd

[justjoheinz]

The same applies to make case statements. idris crashes when the send word is empty.