Skip to content

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.

2 participants