[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Eq? issue
Marcin 'Qrczak' Kowalczyk <qrczak@xxxxxxxxxx> writes:
> If the '{<definitions>}' part of the type definition is omitted
> and all parameters are identifiers, the type is called a record type.
> This has the following consequences:
One more consequence: it's unspecified whether the constructor makes a
fresh object or reuses some other object of the same value. The compiler
takes advantage of this by allocating constant records statically.
--
__("< Marcin Kowalczyk
\__/ qrczak@xxxxxxxxxx
^^ http://qrnik.knm.org.pl/~qrczak/