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
Ensure that argument passed to idris-repl-insert-result is a string #621
Closed
keram closed 11 months ago
Why: Interpreting command
:load "Foo.idr"produces output(:ok nil)from Idris. This leads to error(wrong-type-argument char-or-string-p nil)Fixes https://github.com/idris-hackers/idris-mode/issues/620
This PR also includes additional minor fixes for issues discovered in the process of fixing the #620