Ilya Zakharevich on Sat, 14 Dec 2002 16:34:30 -0800

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [PATCH CVS] TeX output

On Sat, Dec 14, 2002 at 08:54:01PM +0100, Karim BELABAS wrote:
> Since Vecsmall("abc") --> Vecsmall("a", "b", "c") is impossible, it is
> sensible to "typecast" the chars to integers as suggested by Michael Somos [I
> think]. It looks better than to have an error message.

it may *look* better, but I think the convinience of Vecsmall() being
100% convertible to Vec() should not be underestimated.