search

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

Update idris-compile-and-execute for Idris2 #573

Closed keram closed 1 year ago

keram commented 1 year ago

Backport of idris2-compile-and-execute from https://github.com/idris-community/idris2-mode/pull/20/files with preserving backward compatibility for Idris 1

Also includes reset idris-protocol-version* vars to 0 on idris-quit.

Idris1 idris-compile-and-execute idris-compile-and-execute-idris1

Idris2 idris-compile-and-execute idris-compile-and-execute-idris2-default

Idris2 idris-compile-and-execute with custom function idris-compile-and-execute-idris2-custom