Совершенно верно...
Sumo 26.09.2003 17:56
1. По крайней мере ошибку в документации нашли.
2. Мне все-таки кажется, что для Парсера преобразование в int через double более безопасно поскольку позволяет не получать ошибки при преобразовании чисел вида 1.0, которые, по большому счету, являются целыми числами. Причем скорее всего надо не округлять числа, а просто отбрасывать дробную часть [trunc], чтобы не возникало неоднозначности, тогда мы получем совершенно четкие правила преобразования типов.
3. Плодить же неочевидные конструкции вида ^string.int(^string.double[]) явно нет необходимости.
