Skip to content

Add support for Idris#2755

Merged
RunDevelopment merged 6 commits intoPrismJS:masterfrom
KeenS:language-idris
Feb 23, 2021
Merged

Add support for Idris#2755
RunDevelopment merged 6 commits intoPrismJS:masterfrom
KeenS:language-idris

Conversation

@KeenS
Copy link
Contributor

@KeenS KeenS commented Feb 11, 2021

This adds support for Idris

@github-actions
Copy link

github-actions bot commented Feb 11, 2021 •
edited
Loading

JS File Size Changes (gzipped)

A total of 3 files have changed, with a combined diff of +399 B (+9.0%).

Details
file master pull size diff % diff
components/prism-idris.min.js 0 Bytes 377 B +377 B +100.0%
plugins/autoloader/prism-autoloader.min.js 2.19 KB 2.21 KB +12 B +0.5%
plugins/show-language/prism-show-language.min.js 2.24 KB 2.25 KB +10 B +0.4%

Generated by 🚫 dangerJS against 2f05bfc

RunDevelopment
RunDevelopment requested changes Feb 11, 2021
View reviewed changes
Copy link
Member

@RunDevelopment RunDevelopment left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for this PR @KeenS!

It seems like you based Idris on our Haskell language definition. Instead of copying the regexes, please the Prism.languages.extend instead.

@RunDevelopment
Copy link
Member

RunDevelopment commented Feb 11, 2021

Also, please do not modify package-lock.json. This the reason the CI fails.

Please revert your changes to package-lock.json, delete your local node_modules directory, and reinstall Prism's dependencies using npm ci. Rebuild Prism and commit all changes. The CI should then pass.

@RunDevelopment
Copy link
Member

RunDevelopment commented Feb 11, 2021

@KeenS Please revert all changes to package-lock.json or else we can't merge this.

@KeenS
Copy link
Contributor Author

KeenS commented Feb 12, 2021

Sorry, I was careless. I removed the change to package-lock.json from git history and replaced spaces with tabs.

Though I don't think extending language syntax is a good way (changing Haskell syntax shouldn't affect Idris'), I followed your advice

@KeenS KeenS requested a review from RunDevelopment February 12, 2021 05:26
@RunDevelopment RunDevelopment linked an issue Feb 12, 2021 that may be closed by this pull request
Langage Request: Idris. #2108
Closed
RunDevelopment
RunDevelopment reviewed Feb 12, 2021
View reviewed changes
RunDevelopment
RunDevelopment reviewed Feb 12, 2021
View reviewed changes
@KeenS @RunDevelopment
Update components.json
277afa0 
Co-authored-by: Michael Schmidt <mitchi5000.ms@googlemail.com>
@RunDevelopment
Copy link
Member

RunDevelopment commented Feb 13, 2021

Please rebuild to make the CI pass.

You also need to resolve the merge conflict. Since all conflicting files are generated ones, it should be enough to merge master and then rebuild to resolve the conflicts.

@RunDevelopment RunDevelopment merged commit e931441 into PrismJS:master Feb 23, 2021
@RunDevelopment
Copy link
Member

RunDevelopment commented Feb 23, 2021

Thank you for contributing @KeenS!

This was referenced Jun 29, 2021
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@RunDevelopment RunDevelopment RunDevelopment approved these changes

Assignees

No one assigned

Labels

language-definitions needs changes new language

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Langage Request: Idris.

2 participants

@KeenS @RunDevelopment