[Haskell-cafe] Polymorphic algebraic type constructors

[Tomasz Zielonka]

On Tue, Jun 22, 2004 at 02:52:21PM +0200, Tomasz Zielonka wrote:
> 
> Record update avoids this because of the way it is translated.
> Basically, the result of record update is a reconstructed record, but
> constructors not containing updated fields are not built/copied, so they
> don't constrain the resulting type. See Haskell 98 Report for details.

Sorry, I confused some facts. It suffices that result of labeled record
update is a newly constructed record (or bottom).

Best regards,
Tom

-- 
.signature: Too many levels of symbolic links