[Haskell-cafe] Polymorphic algebraic type constructors

Tomasz Zielonka t.zielonka at students.mimuw.edu.pl
Tue Jun 22 09:32:47 EDT 2004

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,

.signature: Too many levels of symbolic links

More information about the Haskell-Cafe mailing list