On Wed, Nov 01, 2006 at 11:00:04PM +0200, Volkan YAZICI wrote:
> But there should be a way to reach the types of the attributes of the
> record data type. Otherwise, how would it be possible to place it into
> another tuple as an attribute.
Well, surely there is, but that has to happen at assignment time,
AFAICT. So you can decide what the record is on the basis of the
datatype, but you can't write an equality operator, because you don't
know what the general rule is going to be in advance. At least,
that's as far as I'm able to understand how to do this. But I'm
really past my Latin at this point, because even if I looked at the
code that supports the record type, I wouldn't understand it.
A
--
Andrew Sullivan | ajs@crankycanuck.ca
The whole tendency of modern prose is away from concreteness. --George Orwell