Smaller tables

[benibela]

See #67

[ivarne]

Seems like travis is failing because of an expired cert

# use JuliaLang caching (https://github.com/staticfloat/cache.julialang.org)
# so that Travis builds do not depend on anyone's flaky servers but our own
    - URLCACHE=https://cache.e.ip.saba.us/

cc: @staticfloat

[ivarne]

The travis failiure will probably be fixed by #69

[tkelman]

It might need a rebase and force push though. Changes to .travis.yml might not propagate automatically by just restarting the build.

[stevengj]

Needs a version bump. Since this is a technically a backwards incompatible change, we'll need to change the major version?

Maybe we should take the opportunity to export other accessor functions, like utf8proc_casefold(codepoint), utf8proc_bidi(codepoint), ...?

We could unexport the utf8proc_property_struct entirely, replacing it by utf8proc_property(codepoint) functions. Theoretically, this would make it less efficient to extract multiple properties of a codepoint at once, but I'm skeptical that this is common in practice.

[stevengj]

is this ready to merge?

[benibela]

Unless you want to increase the version number first for people using the property struct directly.

And Unicode 9 was just released. Might be worth checking if it still fits in the tables. Some are almost full.

[stevengj]

Needs a rebase and update now that Unicode 9 support has been merged.

[stevengj]

Should this be equivalent to toupper if there is no titlecase?

[stevengj]

Awesome, thanks for updating this. Did you have any problems with the table size?

[stevengj]

What's the overall reduction in (compiled) table size from this patch?

[benibela]

200 k (42%)

7975 elements in the sequence array now (from 7834). At 8192 it gets troublesome

[stevengj]

This exception triggered in Unicode 14. @benibela, what do you suggest?

[benibela]

@stevengj one bit needs to be taken from lencode (7 -> 3) and given to idx (0x1FFF -> 0x3FFF, 13 -> 14)

and the same in seqindex_write_char_decomposed

[stevengj]

Could you make a PR?