On windows, syntax errors result in "could not read property of 'push' of undefined"

banacorn / agda-mode

agda-mode on Atom

https://atom.io/packages/agda-mode

MIT License

58 stars 14 forks source link

On windows, syntax errors result in "could not read property of 'push' of undefined" #77

Closed Invisible-Rabbit-Hunter closed 5 years ago

Invisible-Rabbit-Hunter commented 5 years ago

On windows, whenever trying to load with a file with either syntax errors, fixity problems, missing definitions, or references to undefined functions result in a disconnect with the message: could not read property of 'push' of undefined.

banacorn commented 5 years ago

Thanks for reporting this, and I'm sorry about the inconvenience :(