utf8_heavy.pl: Skip unnecessary work for official properties
authorKarl Williamson <public@khwilliamson.com>
Mon, 2 Jan 2012 23:12:21 +0000 (16:12 -0700)
committerKarl Williamson <public@khwilliamson.com>
Mon, 2 Jan 2012 23:29:01 +0000 (16:29 -0700)
commit4de6d205aeab9ec737ca35ba4eb61f37cebefc55
treeb7219bbfbbc8c429210fc53c5037b4617758eacc
parent9b2257811e57d81f3d8a720e80bb0af3c15d292f
utf8_heavy.pl: Skip unnecessary work for official properties

The tables that mktables generates are well behaved, and so the checks
and sorting that are done for user-defined properties may be skipped.

tainting needs to be preserved because $list can be passed in already
tainted.

This is also in preparation for Unicode 6.1, in which one table will
legitimately have duplicate entries that the old code removed.
lib/utf8_heavy.pl