search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
268 stars 70 forks source link

idris-list-compiler-notes: Symbol’s function definition is void: idris2-buffer-name #530

Closed bixuanzju closed 3 years ago

bixuanzju commented 3 years ago

https://github.com/idris-hackers/idris-mode/blob/cbe07198f764a6acec438363765e6bf59c9bff1f/idris-warnings-tree.el#L57

jfdm commented 3 years ago

This was an unintentional mistake by myself, and was fixed in a recent PR #529