Many days of grief caused by @@ in comments
Posted: 5 Nov 2015 7:13
Hi Thomas,
This sequence of characters, @@, in a comment is messing up with navigation within my code. In the following code, for example, instead of the cursor being placed at the 2 dots to report the syntax error it is placed at the end of the code. In fact any error that occurs after the @@ is never located properly. I came to this conclusion after many days of trying to figure what really is happening. What is the explanation for this behavior? Can it be stopped?
This sequence of characters, @@, in a comment is messing up with navigation within my code. In the following code, for example, instead of the cursor being placed at the 2 dots to report the syntax error it is placed at the end of the code. In fact any error that occurs after the @@ is never located properly. I came to this conclusion after many days of trying to figure what really is happening. What is the explanation for this behavior? Can it be stopped?
Code: Select all
implement main
clauses
run() :-
/*
This sequence of characters, @@, in a comment is causing harvoc. For all syntax errors
after this comment, the cursor will point at the end of the file. This has caused me many
days of grief. What is the reason for this behaviour?*/
stdio::write(1)..
end implement main
goal
console::runUtf8(main::run).