search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Retrieving type of holes is broken #69

Closed dkasak closed 7 years ago

dkasak commented 7 years ago

Retrieving the type of a hole with \t has been broken, seemingly by a8f9fad6155cdb4be9177d086e1604451e53735f, with the REPL outputting (input):IncompleteTerm. Reverting the commit makes it work again.

stephen-smith commented 7 years ago

PR #71