C-c C-l has to be invoked twice before everything runs properly

[zenntenn]

The first time I use C-c C-l on any .idr file it loads up a buffer for Idris, but does not load it. Then if I do C-c C-l again in the source code buffer it will load properly, and give me proper syntactic highlighting and whatnot. This happens with any Idris source code file. If there is an error in the .idr somewhere it only shows me it the second time I do C-c C-l

I tried creating a new user and started fresh in Emacs, installing only idris-mode, and I am getting the same behaviour.

idris -- version shows 1.1.0 This is the current version of Idris from Arch Linux.

I am using idris-mode from MELPA (I don't know how to check that version number).

I am using GNU Emacs 25.2.1

[abailly]

@zenntenn I can't reproduce locally using Idris 1.1.1 and Emacs 25.3.

[sergei-romanenko]

Yes, I have the same problem! idris-mode 0.9.19 GNU Emacs 25.2.2 (x86_64-pc-linux-gnu, GTK+ Version 3.22.21) Idris 1.2.0