c23e3e6beb
Truncating off the end of a freshly copied List is not a very efficient
way of copying the first N elements of a List.
In many of the cases that are updated here, the pattern was only being
used to remove the final element of a List. That's about the best case
for it, but there were many instances where the truncate trimming the List
down much further.
|
||
---|---|---|
.. | ||
Makefile | ||
allpaths.c | ||
clausesel.c | ||
costsize.c | ||
equivclass.c | ||
indxpath.c | ||
joinpath.c | ||
joinrels.c | ||
pathkeys.c | ||
tidpath.c |