search

idris-hackers / idris-mode

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

Replace 't' case with '_' to silence warning #455

Closed thumphries closed 7 years ago

thumphries commented 7 years ago

In Emacs 25, pcase t patterns result in this warning:

Pattern t is deprecated. Use ‘_’ instead

This PR removes such a pattern.

Thanks for maintaining idris-mode!

david-christiansen commented 7 years ago

Thank you very much!