Skip to content

Fix the token definition for Java style #86

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

Merged
merged 1 commit into from
Jan 24, 2020
Merged

Fix the token definition for Java style #86

merged 1 commit into from
Jan 24, 2020

Conversation

matoruru
Copy link
Contributor

@matoruru matoruru commented Jan 21, 2020

What does this pull request do?

Fix the token definition to follow Java language style.

  • We can use $ and _ for Java identifier at wherever we want.
  • We can't use ' for Java identifier.

Where should the reviewer start?

How should this be manually tested?

I added the test code.

Other Notes:

@thomashoneyman thomashoneyman self-assigned this Jan 21, 2020
Copy link
Contributor

@thomashoneyman thomashoneyman left a comment

Choose a reason for hiding this comment

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

This correctly restricts identifiers to only begin with a "Java letter" (a-z, _, and $) and only contain "Java letters" and "Java digits" (0-9) according to the Java spec on identifiers.

With that in mind I'm approving this, but I'll wait a day for other maintainers to comment before merging.

@thomashoneyman thomashoneyman merged commit 601f40f into purescript-contrib:master Jan 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants