summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/patgen.ch
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-05-18 16:09:28 +0000
committerKarl Berry <karl@freefriends.org>2019-05-18 16:09:28 +0000
commit32d5d21b5b92a8ee802f1d4e815f776db20941a2 (patch)
treeda94c2d021b0881e127e6965d47e1347f30755fa /Build/source/texk/web2c/patgen.ch
parent560def169feffe47a84bb5aa2bcaab4d3b9b29f2 (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.ch14
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