Marcin 'Qrczak' Kowalczyk <xxxxxx@knm.org.pl> 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
   \__/       xxxxxx@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/