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 _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
