[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/