Remove idris-ensure-process-and-repl-buffer from idris-switch-working-directory and

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

267 stars 70 forks source link

Remove idris-ensure-process-and-repl-buffer from idris-switch-working-directory and #584

Closed keram closed 1 year ago

keram commented 1 year ago

move dir path normalisation into (idris-eval ..

Why: The former is already called in caller of idris-switch-working-directory and the later (or both) seems to be fixing failing tests on CI 🤷🏻‍♂️

keram commented 1 year ago

the changes seems to be not relevant to failures on CI after all