Clean bit set even when loading fails about idris-mode HOT 6 CLOSED

this is addressed in a0ae45d

from idris-mode.

After #50, odd things seem to be happening. A C-u C-c C-l causes the clean bit to be set, but a C-c C-l on its own does not. I'll look at the code later.

from idris-mode.

a buffer is marked dirty (idris-make-dirty) on the first modification

it is cleaned:

• idris-load-file (l 88, should move into l82/83 (in the cont of the eval-async)
• idris-load-file-sync (at the end, thus if the load-file was successful)

or should it be cleaned before stuff is sent to idris? the currently-loaded-buffer is set to nil just before the execution of load/load-sync, and set to the current buffer on success...

from idris-mode.

It should definitely be cleaned after.

I think the problem is that after loading without C-u, the current buffer is not the file - it's the REPL buffer.

from idris-mode.

I've some other changes in #52 ... just set clean and loaded-buffer-name at the right spot

from idris-mode.

fixed by #52

from idris-mode.