Lexer for new language Elpi

[gares]

Well, the title says it all.

[gares]

Thanks for running CI!
I did fix the check and tests. I could not run make check locally, so maybe the copyright banner is still wrong.

[gares]

Thanks again for running CI.
This time I need help understanding the results, since the failure seems to be about the HTML backend which I did not touch, and about a missing pyflakes which seems unrelated as well.

[blu-base]

I think the failed make check is only because the copyrighted period is expected to be 2006-2021.
The other tests seem to have failed due to timeouts. maybe they are not related with your PR.

[gares]

OK, I fixed the copyright.

[Anteru]

Hm, I can't re-run the workflow, which is weird :(

[gares]

@blu-base can you unblock this please?

[blu-base]

Sorry, @gares , I can't. I am just a contributor myself.

[Anteru]

This is broken somewhere else. I need to run this manually to merge but I need to find some spare time to work on this.

[birkenfeld]

Hey the old "close and open" trick still works 🎆

[Anteru]

What the ...?

[birkenfeld]

I think the "rerun" feature somehow depends on details of the old runs, and GitHub doesn't keep those around that long. What happens on "close and reopen" or if someone pushes some new changes is a completely fresh run.

[Anteru]

@birkenfeld This somehow passed the tests despite producing an Error token. Do you happen to know what is going on here? I thought we never allow Error tokens to be produced.

[birkenfeld]

Strange indeed, maybe it isn't caught anymore when it has been "blessed" as correct with the output file.

The easiest way to fix this is probably to add the raiseonerror filter.

[birkenfeld]

Ah, the snippets series of tests does explicitly allow errors. I think this is correct, since you also should be able to check that erroneous inputs do give error tokens.

Not much to fix here except closely read the blessed output for new contributions ...

[gares]

Thanks for the review, I'll try to fix that tomorrow!

[gares]

hopefully done

[gares]

Sorry for the slow reaction. I've updated the golden since I now tag spaces with Text.Whitespace instead of just Text

[gares]

OK, thanks for running CI again. This time it is green.

[gares]

Wow, thanks!

[Anteru]

Thanks for the contribution and sorry it took so long to merge. This quarter has been unusually busy in terms of contributions overall!