Open CTHULHU-Jesus opened 4 years ago
When ever I to do anything it throws a parse error about symbols that are not even it the file. Here is my file, called test.idr.
module test test : a -> ()
If i put my cursor any where on the line with the test function and do '\a' I get this output on the '\i' screen and my cursor is set to the colon.
Parse error: Unrecognised command (next tokens: [identifier ac, symbol !, end of input])
This was happening to me when I installed Idris2 via Snap. In my case, reinstalling Idris2 from git resolved the issue.
When ever I to do anything it throws a parse error about symbols that are not even it the file. Here is my file, called test.idr.
If i put my cursor any where on the line with the test function and do '\a' I get this output on the '\i' screen and my cursor is set to the colon.
Parse error: Unrecognised command (next tokens: [identifier ac, symbol !, end of input])