On Mon, 9 Jun 2003, Michael Nordstrom wrote: > BTW, the useArmlet variable seems to be a bit of fluff; the armChunkH > (we can discuss the choice of name, though) already indicates if we > are using the armlet or not, i.e. is it NULL or not. Use it and you > can drop the MemPtrRecoverHandle, too.
I prefer useArmlet for two reasons. First, it might well speed up the search by an infinitesimal amount, since it's faster to check an 8-bit value than a 32-bit value (especially, I suspect, under PACE). Second, it's clearer to have useArmlet, because whether one uses the armlet depends not just on whether there is an armc resource, but also on whether the text is 8-bits wide. > If you think it is difficult to run configure, then write a shell > script to do it for you ;-) That's what I do. :-) Alex -- Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED] Philosophy Department || online papers and home page: Georgetown University || www.georgetown.edu/faculty/ap85 Washington, DC 20057 || U.S.A. || ----------------------------------------------------------------------------- "Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur." - Paul of Worczyn (1424) _______________________________________________ plucker-dev mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-dev