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

Remove default keyword #28

Merged
merged 1 commit into from
Dec 10, 2024

Conversation

Hi-Angel
Copy link
Contributor

@Hi-Angel Hi-Angel commented Nov 7, 2024

I just stumbled upon a code in PS routing-duplex, where default is a function name and it's getting highlighted. That made me dig to see where such keyword could be used to reduce the possibility of such false-positives.

Now, I personally don't remember default being ever used as a keyword in PS. So I asked an AI but it doesn't know either. Then as a last measure I looked at syntax highlight in VS Code editor, and they don't highlight default either.

So remove default from the list of keywords.

@purcell
Copy link
Member

purcell commented Dec 9, 2024

I wouldn't trust an AI even slightly for things like this, but I looked around in GitHub and there's no indication that default is a reserved word in the Purescript compiler or in the language generally. So I'm in favour of this change if you resolve the conflict. 👍

I just stumbled upon a code in PS `routing-duplex`, where `default` is
a function name and it's getting highlighted. That made me dig to see
where such keyword could be used to reduce the possibility of such
false-positives.

Now, I personally don't remember `default` being ever used as a
keyword in PS. So I asked an AI but it doesn't know either. Then as a
last measure I looked at syntax highlight in VS Code editor, and they
don't highlight `default` either.

So remove `default` from the list of keywords.
@Hi-Angel
Copy link
Contributor Author

Hi-Angel commented Dec 9, 2024

Thank you, done!

@purcell purcell merged commit 0d6d18e into purescript-emacs:master Dec 10, 2024
10 checks passed
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