22 Jun
2004
22 Jun
'04
9:32 a.m.
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