I see that I can define rules to report errors and it will magically highlight these in the editor.

What I’d like to do is output an error message like “This was already define on line 17”. However, I don’t really know what line I am on at any given time. I’ve been hunting around but I haven’t found an API or example to help with this yet.

Any tips on how to store the line number of something to report it later?

Submitted by Dobes Vandermeer on 30 October 2012 at 20:47

On 30 October 2012 at 22:14 Gabriël Konat commented:

Use the origin-line strategy in editor-common.generated.str, it should work on any term with origin information.
Also, the mailing list is probably a better place for questions.


On 30 October 2012 at 22:26 Dobes Vandermeer commented:

OK great, thanks! I’ll try the mailing list next time.


On 31 October 2012 at 00:11 Eelco Visser commented:

In fact, I think it is useful to have such questions recorded in YellowGrass, so that people can find the answers. Perhaps we should have StackOverflow type site at some point, but for now this will do.


On 31 October 2012 at 02:14 Dobes Vandermeer commented:

I’ll carry on this discussion in the mailing list … as it’s definitely not belonging in the comments thread for THIS ticket.


On 13 November 2012 at 13:04 Maartje closed this issue.

Log in to post comments