-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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 support for Idris #2755
Add support for Idris #2755
Conversation
JS File Size Changes (gzipped)A total of 3 files have changed, with a combined diff of +399 B (+9.0%).
|
There was a problem hiding this 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.
Also, please do not modify Please revert your changes to |
@KeenS Please revert all changes to |
9fc0229
to
e6a005d
Compare
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 |
Co-authored-by: Michael Schmidt <[email protected]>
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. |
Thank you for contributing @KeenS! |
This adds support for Idris