diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-18 16:09:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-18 16:09:28 +0000 |
commit | 32d5d21b5b92a8ee802f1d4e815f776db20941a2 (patch) | |
tree | da94c2d021b0881e127e6965d47e1347f30755fa /Build/source/texk/web2c/patgen.ch | |
parent | 560def169feffe47a84bb5aa2bcaab4d3b9b29f2 (diff) |
increase trie_size and triec_size
git-svn-id: svn://tug.org/texlive/trunk@51154 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/patgen.ch')
-rw-r--r-- | Build/source/texk/web2c/patgen.ch | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Build/source/texk/web2c/patgen.ch b/Build/source/texk/web2c/patgen.ch index 600e8a8b568..25ebfb4bb32 100644 --- a/Build/source/texk/web2c/patgen.ch +++ b/Build/source/texk/web2c/patgen.ch @@ -72,14 +72,14 @@ begin @!text_char=ASCII_code; {the data type of characters in text files} @z -@x Increase constants. +@x Maximum constant values from Keno Wehr, 17 May 2019 16:03:00 on tex-live. @!trie_size=55000; {space for pattern trie} @!triec_size=26000; {space for pattern count trie, must be less than |trie_size| and greater than the number of occurrences of any pattern in the dictionary} @y -@!trie_size=10000000; {space for pattern trie} -@!triec_size=5000000; {space for pattern count trie, must be less than +@!trie_size=110021182; {max space for pattern trie} +@!triec_size=54677566; {max space for pattern count trie, must be less than |trie_size| and greater than the number of occurrences of any pattern in the dictionary} @z @@ -146,18 +146,18 @@ reset (dictionary, f_name); filnam[7]:=xdig[hyph_level]; @z -@x Work around floating point I/O deficiency. +@x Work around floating point I/O deficiency; reorder to avoid overflow. if (good_count+miss_count)>0 then print_ln((100*good_count/(good_count+miss_count)):1:2,' %, ', (100*bad_count/(good_count+miss_count)):1:2,' %, ', (100*miss_count/(good_count+miss_count)):1:2,' %'); @y if (good_count+miss_count)>0 then - begin print_real((100*good_count/(good_count+miss_count)),1,2); + begin print_real((100*(good_count/(good_count+miss_count))),1,2); print(' %, '); - print_real((100*bad_count/(good_count+miss_count)),1,2); + print_real((100*(bad_count/(good_count+miss_count))),1,2); print(' %, '); - print_real((100*miss_count/(good_count+miss_count)),1,2); + print_real((100*(miss_count/(good_count+miss_count))),1,2); print_ln(' %'); end; @z |