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

Test stackage idris #496

Closed jsoo1 closed 5 years ago

jsoo1 commented 5 years ago

Test both idris built from git and built via stack install idris.

Closes #227

jsoo1 commented 5 years ago

Is the idris from stackage the right version to test? Also, how is the test output? I think the stackage ones have extra output because of caching but I'm not sure...