Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Toit language #6419

Merged
merged 4 commits into from
Dec 5, 2023
Merged

Add Toit language #6419

merged 4 commits into from
Dec 5, 2023

Conversation

floitsch
Copy link
Contributor

Adds the Toit language.

Description

Toit (toitlang.org) is a general purpose language that has been designed to also run well on embedded devices like the ESP32.

Checklist:

@floitsch
Copy link
Contributor Author

The repository that contains the syntax files is called "ide-tools", since it also contains files for other syntax highlighters (like VIM and codemirror).

I can definitely rename it, so it has "toit" in its name.
If preferred I can also move the tm files into a separate repository so that linguist doesn't pull down the codemirror and vim files.

@lildude
Copy link
Member

lildude commented May 22, 2023

I can definitely rename it, so it has "toit" in its name.
If preferred I can also move the tm files into a separate repository so that linguist doesn't pull down the codemirror and vim files.

No need. Things are fine as they stand.

I've marked this as pending popularity as there are only 70 files when we exclude forks (almost all of them are forks of repos owned by users you've excluded) from your search query.

@floitsch
Copy link
Contributor Author

It might not be enough, but the Github search clearly is missing files.
Just looking through Toit's package manager I can see repositories with files in them that the search doesn't seem to see.

For example:

@lildude lildude requested a review from a team as a code owner September 11, 2023 13:45
@lildude lildude added this pull request to the merge queue Dec 5, 2023
Merged via the queue into github-linguist:master with commit b145c71 Dec 5, 2023
5 checks passed
@floitsch floitsch deleted the add_toit branch December 5, 2023 08:36
@Pea1594

This comment was marked as spam.

@github-linguist github-linguist locked as resolved and limited conversation to collaborators May 6, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants