Skip to content

Add lexer for Promela#906

Merged
alecthomas merged 2 commits intoalecthomas:masterfrom
lmarzen:master
Jan 2, 2024
Merged

Add lexer for Promela#906
alecthomas merged 2 commits intoalecthomas:masterfrom
lmarzen:master

Conversation

@lmarzen
Copy link
Copy Markdown
Contributor

@lmarzen lmarzen commented Jan 2, 2024

This pull request adds a lexer for Promela. (https://spinroot.com/spin/whatispin.html)

I have opened a similar pull request for Pygments: pygments/pygments#2620
I generated the lexer using my branch of Pygments with Promela.

$ python3 -m venv pygments-promela
$ source pygments-promela/bin/activate
$ pip install pystache
$ pip install /path/to/pygments-promela 

$ python3 _tools/pygments2chroma_xml.py pygments.lexers.c_like.PromelaLexer > lexers/embedded/promela.xml

Verified expected formatting using go run . Playground.

@alecthomas
Copy link
Copy Markdown
Owner

Would you mind adding some test text please?

@alecthomas alecthomas merged commit eb47752 into alecthomas:master Jan 2, 2024
@alecthomas
Copy link
Copy Markdown
Owner

Thanks!

@lmarzen
Copy link
Copy Markdown
Contributor Author

lmarzen commented Jan 2, 2024

Thank you, great project you have going here!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants