Skip to content

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