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

Add support for Unicode 9.0 #209

Merged
merged 5 commits into from
Feb 13, 2017
Merged

Add support for Unicode 9.0 #209

merged 5 commits into from
Feb 13, 2017

Conversation

sarowe
Copy link
Contributor

@sarowe sarowe commented Feb 13, 2017

No description provided.

@sarowe sarowe added the enhancement Feature requests label Feb 13, 2017
@sarowe
Copy link
Contributor Author

sarowe commented Feb 13, 2017

I noticed two things when I (accidentally) generated the Unicode data files with Java 8:

  • Some of the script extension property codepoint ranges were differently ordered, but they shouldn't be, since they should be strictly sorted.
  • Some of the script extension property ranges were previously improperly sorted.

After some investigation I discovered that jflex-unicode-maven-plugin's UnicodeVersion wasn't properly merging or sorting added ranges. The first commit on this pull request also fixes this problem; as a result, there are changes in most Unicode versions' data files, including in other properties than script extension.

@sarowe sarowe merged commit c066dfc into master Feb 13, 2017
@sarowe sarowe deleted the Add_Unicode-9.0 branch February 13, 2017 15:47
hurricup pushed a commit to hurricup/jflex that referenced this pull request Apr 2, 2017
hurricup pushed a commit to hurricup/jflex that referenced this pull request Apr 2, 2017
@regisd regisd mentioned this pull request Nov 1, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Feature requests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant