Fix a bug where 'file' is undefined.

edwinb / idris2-vim

Vim mode for Idris 2

75 stars 26 forks source link

Closed jinwoo closed 4 years ago

jinwoo commented 4 years ago

https://github.com/edwinb/idris2-vim/pull/2 broke this. The 'file' binding is used in the 'else' clause below.

buzden commented 4 years ago

This PR is a (second) duplicate of #5.

jinwoo commented 4 years ago

Didn't realize there were identical PRs. I'm just happy that the bug was fixed. Thanks!